Showing 1–48 of 48 results for author: Zapletal, J

Coloring equilateral triangles

Authors: Jindrich Zapletal

Abstract: It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles on a given Euclidean space has countable chromatic number, while the hypergraph of isosceles triangles in the plane does not. It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles on a given Euclidean space has countable chromatic number, while the hypergraph of isosceles triangles in the plane does not. △ Less

Submitted 23 March, 2025; originally announced March 2025.

MSC Class: 03E35; 14P99; 05C15

On the Isbell problem

Authors: Jonathan Cancino-Manríquez, Jindrich Zapletal

Abstract: We present three models concerning Tukey types of ultrafilters on $ω$. The first model is built via a countable support iteration, and we show there is no basically generated ultrafilter in such model. The second and third models are built upon different and novel techniques, and in such models all ultrafilters are Tukey top, thus providing an answer to the Isbell problem. In all models there is n… ▽ More We present three models concerning Tukey types of ultrafilters on $ω$. The first model is built via a countable support iteration, and we show there is no basically generated ultrafilter in such model. The second and third models are built upon different and novel techniques, and in such models all ultrafilters are Tukey top, thus providing an answer to the Isbell problem. In all models there is no $\mathsf{nwd}$-ultrafilter. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Dynamical ideals and the axiom of choice

Authors: Jindrich Zapletal

Abstract: I provide several natural properties of group actions which translate into fragments of axiom of choice in the associated permutation models of choiceless set theory. I provide several natural properties of group actions which translate into fragments of axiom of choice in the associated permutation models of choiceless set theory. △ Less

Submitted 23 March, 2025; v1 submitted 16 April, 2024; originally announced April 2024.

MSC Class: 03E25; 22F05

Triangles and Vitali sets

Authors: Jindrich Zapletal

Abstract: It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles in Euclidean plane has countable chromatic number, while there is no Vitali set. It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles in Euclidean plane has countable chromatic number, while there is no Vitali set. △ Less

Submitted 2 October, 2023; originally announced October 2023.

MSC Class: 03E35; 14P99; 05C15

On the Consistency Strength of MM($ω_1$)

Authors: Natasha Dobrinen, John Krueger, Pedro Marun, Miguel Angel Mota, Jindrich Zapletal

Abstract: We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $ω_1$ follows from the consistency of ZFC. We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $ω_1$ follows from the consistency of ZFC. △ Less

Submitted 28 October, 2023; v1 submitted 12 July, 2023; originally announced July 2023.

MSC Class: 03E35; 03E50

Coloring closed Noetherian graphs

Authors: Jindrich Zapletal

Abstract: If G is a closed Noetherian graph on a sigma-compact Polish space without an infinite clique, it is consistent with the choiceless set theory ZF+DC that G is countably chromatic and there is no Vitali set. If G is a closed Noetherian graph on a sigma-compact Polish space without an infinite clique, it is consistent with the choiceless set theory ZF+DC that G is countably chromatic and there is no Vitali set. △ Less

Submitted 17 March, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

MSC Class: 03E35; 05C15; 14P99

Coloring the distance graphs

Authors: Jindrich Zapletal

Abstract: Let n>0 be a number. Let Gn be the graph on n-dimensional Euclidean space connecting points of rational distance. It is consistent with the choiceless theory ZF+DC that Gn has countable chromatic number yet Gn+1 does not. Let n>0 be a number. Let Gn be the graph on n-dimensional Euclidean space connecting points of rational distance. It is consistent with the choiceless theory ZF+DC that Gn has countable chromatic number yet Gn+1 does not. △ Less

Submitted 1 January, 2022; originally announced January 2022.

MSC Class: 03E35; 05C15; 14P99

Krull dimension in set theory

Authors: Jindrich Zapletal

Abstract: Let n>1 be a number. Let Gn be the hypergraph of all rectangles in an n-dimensional Euclidean space. It is consistent that ZF+DC holds, the chromatic number of Gn is countable, yet the chromatic number of Gn+1 is uncountable. Let n>1 be a number. Let Gn be the hypergraph of all rectangles in an n-dimensional Euclidean space. It is consistent that ZF+DC holds, the chromatic number of Gn is countable, yet the chromatic number of Gn+1 is uncountable. △ Less

Submitted 22 August, 2021; originally announced August 2021.

MSC Class: 03E15; 03E25; 03E35

Coloring triangles and rectangles

Authors: Jindrich Zapletal

Abstract: It is consistent that ZF+DC holds, the hypergraph of rectangles on a given Euclidean space has countable chromatic number, while the hypergraph of equilateral triangles in two-dimensional Euclidean space does not. It is consistent that ZF+DC holds, the hypergraph of rectangles on a given Euclidean space has countable chromatic number, while the hypergraph of equilateral triangles in two-dimensional Euclidean space does not. △ Less

Submitted 12 April, 2022; v1 submitted 22 August, 2021; originally announced August 2021.

MSC Class: 03E35; 14P99; 05C15

A parallel fast multipole method for a space-time boundary element method for the heat equation

Authors: Raphael Watschinger, Michal Merta, Günther Of, Jan Zapletal

Abstract: We present a novel approach to the parallelization of the parabolic fast multipole method for a space-time boundary element method for the heat equation. We exploit the special temporal structure of the involved operators to provide an efficient distributed parallelization with respect to time and with a one-directional communication pattern. On top, we apply a task-based shared memory paralleliza… ▽ More We present a novel approach to the parallelization of the parabolic fast multipole method for a space-time boundary element method for the heat equation. We exploit the special temporal structure of the involved operators to provide an efficient distributed parallelization with respect to time and with a one-directional communication pattern. On top, we apply a task-based shared memory parallelization and SIMD vectorization. In the numerical tests we observe high efficiencies of our parallelization approach. △ Less

Submitted 29 January, 2023; v1 submitted 30 June, 2021; originally announced June 2021.

MSC Class: 65M38; 65Y05; 35K05

Journal ref: SIAM Journal on Scientific Computing, Volume 44, Issue 4 | 2022

Sequential topologies and Dedekind finite sets

Authors: Jindrich Zapletal

Abstract: It is consistent with ZF set theory that the Euclidean topology on the real line is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres. It is consistent with ZF set theory that the Euclidean topology on the real line is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres. △ Less

Submitted 17 March, 2021; originally announced March 2021.

MSC Class: 03E15; 03E25; 03E35

Coloring the distance graph in three dimensions

Authors: Jindrich Zapletal

Abstract: Let Gn be the graph on n-dimensional Euclidean space connecting points of rational Euclidean distance. It is consistent relative to an inaccessible cardinal that ZF+DC holds and G3 has countable chromatic number, yet G4 has uncountable chromatic number. Let Gn be the graph on n-dimensional Euclidean space connecting points of rational Euclidean distance. It is consistent relative to an inaccessible cardinal that ZF+DC holds and G3 has countable chromatic number, yet G4 has uncountable chromatic number. △ Less

Submitted 17 March, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

MSC Class: 03E15; 03E25; 03E45

Semi-analytic integration for a parallel space-time boundary element method modeling the heat equation

Authors: Jan Zapletal, Raphael Watschinger, Günther Of, Michal Merta

Abstract: The presented paper concentrates on the boundary element method (BEM) for the heat equation in three spatial dimensions. In particular, we deal with tensor product space-time meshes allowing for quadrature schemes analytic in time and numerical in space. The spatial integrals can be treated by standard BEM techniques known from three dimensional stationary problems. The contribution of the paper i… ▽ More The presented paper concentrates on the boundary element method (BEM) for the heat equation in three spatial dimensions. In particular, we deal with tensor product space-time meshes allowing for quadrature schemes analytic in time and numerical in space. The spatial integrals can be treated by standard BEM techniques known from three dimensional stationary problems. The contribution of the paper is twofold. First, we provide temporal antiderivatives of the heat kernel necessary for the assembly of BEM matrices and the evaluation of the representation formula. Secondly, the presented approach has been implemented in a publicly available library besthea allowing researchers to reuse the formulae and BEM routines straightaway. The results are validated by numerical experiments in an HPC environment. △ Less

Submitted 25 October, 2021; v1 submitted 19 February, 2021; originally announced February 2021.

MSC Class: 65N38; 35K05; 65Y05

Coloring redundant algebraic hypergraphs

Authors: Jindrich Zapletal

Abstract: We prove several consistency results in choiceless set theory ZF+DC regarding countable chromatic numbers of various algebraic hypergraphs on Euclidean spaces. We prove several consistency results in choiceless set theory ZF+DC regarding countable chromatic numbers of various algebraic hypergraphs on Euclidean spaces. △ Less

Submitted 1 January, 2022; v1 submitted 9 January, 2021; originally announced January 2021.

Comments: absorbed into the paper Noetherian spaces in set theory

MSC Class: 03E15; 03E25; 03E35

Noetherian spaces in choiceless set theory

Authors: Jindrich Zapletal

Abstract: I prove several independence results in the choiceless ZF+DC theory which separate algebraic and non-algebraic consequences of the axiom of choice. I prove several independence results in the choiceless ZF+DC theory which separate algebraic and non-algebraic consequences of the axiom of choice. △ Less

Submitted 4 April, 2022; v1 submitted 9 January, 2021; originally announced January 2021.

Comments: 21 pages

MSC Class: 03E25; 03E35

Transcendental pairs of generic extensions

Authors: Jindrich Zapletal

Abstract: We isolate a new preservation class of Suslin forcings and prove several associated consistency results in the choiceless theory ZF+DC regarding countable chromatic numbers of various Borel hypergraphs. We isolate a new preservation class of Suslin forcings and prove several associated consistency results in the choiceless theory ZF+DC regarding countable chromatic numbers of various Borel hypergraphs. △ Less

Submitted 17 March, 2021; v1 submitted 2 January, 2021; originally announced January 2021.

Comments: 22 pages

MSC Class: 03E15; 03E25; 03E35

A parallel solver for a preconditioned space-time boundary element method for the heat equation

Authors: Stefan Dohr, Michal Merta, Günther Of, Olaf Steinbach, Jan Zapletal

Abstract: We describe a parallel solver for the discretized weakly singular space-time boundary integral equation of the spatially two-dimensional heat equation. The global space-time nature of the system matrices leads to improved parallel scalability in distributed memory systems in contrast to time-stepping methods where the parallelization is usually limited to spatial dimensions. We present a paralleli… ▽ More We describe a parallel solver for the discretized weakly singular space-time boundary integral equation of the spatially two-dimensional heat equation. The global space-time nature of the system matrices leads to improved parallel scalability in distributed memory systems in contrast to time-stepping methods where the parallelization is usually limited to spatial dimensions. We present a parallelization technique which is based on a decomposition of the input mesh into submeshes and a distribution of the corresponding blocks of the system matrices among processors. To ensure load balancing, the distribution is based on a cylic decomposition of complete graphs. In addition, the solution of the global linear system requires the use of an efficient preconditioner. We present a robust preconditioning strategy which is based on boundary integral operators of opposite order, and extend the introduced parallel solver to the preconditioned system. △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: Submitted for publication in the proceedings of the 25th International Conference on Domain Decomposition Methods

Discontinuous homomorphisms, selectors and automorphisms of the complex field

Authors: Paul B. Larson, Jindrich Zapletal

Abstract: We show, in Zermelo-Fraenkel set theory without the Axiom of Choice, that the existence of a discontinuous homomorphism of the additive group of real numbers induces a selector for the Vitali equivalence relation $\mathbb{R}/\mathbb{Q}$. This shows that a nonprincipal ultrafilter on the integers is not sufficient to construct a discontinuous automorphism of the complex field, confirming a conjectu… ▽ More We show, in Zermelo-Fraenkel set theory without the Axiom of Choice, that the existence of a discontinuous homomorphism of the additive group of real numbers induces a selector for the Vitali equivalence relation $\mathbb{R}/\mathbb{Q}$. This shows that a nonprincipal ultrafilter on the integers is not sufficient to construct a discontinuous automorphism of the complex field, confirming a conjecture of Simon Thomas. This is an improved version of our paper in the Proceedings of the American Mathematical Society, which used a weak version of the Axiom of Choice for the same result. △ Less

Submitted 5 June, 2020; v1 submitted 7 March, 2018; originally announced March 2018.

MSC Class: 03E25; 12D99; 54H11

Interpreter fr topologists

Authors: Jindrich Zapletal

Abstract: Let M be a transitive model of set theory. There is a canonical interpretation functor between the category of regular Hausdorff, continuous open images of Cech-complete spaces of M and the same category in V, preserving many concepts of topology, functional analysis, and dynamics. The functor can be further canonically extended to the category of Borel subspaces. This greatly simplifies and exten… ▽ More Let M be a transitive model of set theory. There is a canonical interpretation functor between the category of regular Hausdorff, continuous open images of Cech-complete spaces of M and the same category in V, preserving many concepts of topology, functional analysis, and dynamics. The functor can be further canonically extended to the category of Borel subspaces. This greatly simplifies and extends similar results of Fremlin. △ Less

Submitted 24 November, 2017; originally announced November 2017.

MSC Class: 03E40; 54B99

Bounded Namba forcing axiom may fail

Authors: Jindrich Zapletal

Abstract: In a sigma-closed forcing extension, the bounded forcing axiom for Namba forcing fails. This answers a question of Justin Tatch Moore. In a sigma-closed forcing extension, the bounded forcing axiom for Namba forcing fails. This answers a question of Justin Tatch Moore. △ Less

Submitted 29 October, 2017; originally announced October 2017.

MSC Class: 03E57

Hypergraphs and proper forcing

Authors: Jindrich Zapletal

Abstract: Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies. For this broad class of p… ▽ More Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies. For this broad class of posets, most fusion arguments and iteration preservation arguments can be replaced with simple combinatorial considerations concerning the hypergraphs. △ Less

Submitted 24 November, 2017; v1 submitted 29 October, 2017; originally announced October 2017.

MSC Class: 03E15; 03E40

Cardinal invariants of closed graphs

Authors: Francis Adams, Jindrich Zapletal

Abstract: We study several cardinal characteristics of closed graphs G on compact metrizable spaces. In particular, we address the question when it is consistent for the bounding number to be strictly smaller than the smallest size of a set not covered by countably many compact G-anticliques. We also provide a descriptive set theoretic characterization of the class of analytic graphs with countable coloring… ▽ More We study several cardinal characteristics of closed graphs G on compact metrizable spaces. In particular, we address the question when it is consistent for the bounding number to be strictly smaller than the smallest size of a set not covered by countably many compact G-anticliques. We also provide a descriptive set theoretic characterization of the class of analytic graphs with countable coloring number. △ Less

Submitted 10 March, 2020; v1 submitted 22 October, 2017; originally announced October 2017.

MSC Class: 03E15; 03E17; 05C15

Efficient Solution of Time-Domain Boundary Integral Equations Arising in Sound-Hard Scattering

Authors: A. Veit, M. Merta, J. Zapletal, D. Lukáš

Abstract: We consider the efficient numerical solution of the three-dimensional wave equation with Neumann boundary conditions via time-domain boundary integral equations. A space-time Galerkin method with $C^\infty$-smooth, compactly supported basis functions in time and piecewise polynomial basis functions in space is employed. We discuss the structure of the system matrix and its efficient parallel assem… ▽ More We consider the efficient numerical solution of the three-dimensional wave equation with Neumann boundary conditions via time-domain boundary integral equations. A space-time Galerkin method with $C^\infty$-smooth, compactly supported basis functions in time and piecewise polynomial basis functions in space is employed. We discuss the structure of the system matrix and its efficient parallel assembly. Different preconditioning strategies for the solution of the arising systems with block Hessenberg matrices are proposed and investigated numerically. Furthermore, a C++ implementation parallelized by OpenMP and MPI in shared and distributed memory, respectively, is presented. The code is part of the boundary element library BEM4I. Results of numerical experiments including convergence and scalability tests up to a thousand cores on a cluster are provided. The presented implementation shows good parallel scalability of the system matrix assembly. Moreover, the proposed algebraic preconditioner in combination with the FGMRES solver leads to a significant reduction of the computational time. △ Less

Submitted 24 March, 2015; originally announced March 2015.

Comments: 24 pages

MSC Class: 35L05; 65N38; 65R20; 65F08

Why Y-c.c

Authors: David Chodounský, Jindřich Zapletal

Abstract: We outline a portfolio of novel iterable properties of c.c.c. and proper forcing notions and study its most important instantiations, Y-c.c. and Y-properness. These properties have interesting consequences for partition-type forcings and anticliques in open graphs. Using Neeman's side condition method it is possible to obtain PFA variations and prove consistency results for them. We outline a portfolio of novel iterable properties of c.c.c. and proper forcing notions and study its most important instantiations, Y-c.c. and Y-properness. These properties have interesting consequences for partition-type forcings and anticliques in open graphs. Using Neeman's side condition method it is possible to obtain PFA variations and prove consistency results for them. △ Less

Submitted 24 June, 2015; v1 submitted 16 September, 2014; originally announced September 2014.

MSC Class: 03E40

Forcing properties of ideals of closed sets

Authors: Marcin Sabok, Jindrich Zapletal

Abstract: With every $σ$-ideal $I$ on a Polish space we associate the $σ$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $σ$-ideals $I$ and $I^*$ and find connections between their forcing properties. To this end, we associate to a $σ$-ideal on a Polish space an ideal on a countable set and show how forcing properties of the forcing depend… ▽ More With every $σ$-ideal $I$ on a Polish space we associate the $σ$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $σ$-ideals $I$ and $I^*$ and find connections between their forcing properties. To this end, we associate to a $σ$-ideal on a Polish space an ideal on a countable set and show how forcing properties of the forcing depend on combinatorial properties of the ideal. For $σ$-ideals generated by closed sets we also study the degrees of reals added in the forcing extensions. Among corollaries of our results, we get necessary and sufficient conditions for a $σ$-ideal $I$ generated by closed sets, under which every Borel function can be restricted to an $I$-positive Borel set on which it is either 1-1 or constant. △ Less

Submitted 16 January, 2010; originally announced January 2010.

MSC Class: 03E40; 03E15; 54H05; 26A21

Potential theory and forcing

Authors: Jindrich Zapletal

Abstract: We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property. We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property. △ Less

Submitted 17 February, 2005; originally announced February 2005.

Comments: 21 pages

MSC Class: 03E40; 31C15

Two preservation theorems

Authors: Jindrich Zapletal

Abstract: I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included. I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included. △ Less

Submitted 2 February, 2005; originally announced February 2005.

Comments: 21 pages

MSC Class: 03E15; 03E17; 28A12; 28A78

Forcing with quotients

Authors: Michael Hrusak, Jindrich Zapletal

Abstract: We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal. We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal. △ Less

Submitted 10 July, 2004; originally announced July 2004.

Comments: 20 pages

MSC Class: 03E40; 03E15

Between Maharam's and von Neumann's problems

Authors: Ilijas Farah, Jindrich Zapletal

Abstract: If I is a suitably definable sigma-ideal on the real line and the factor algebra of Borel sets modulo I is weakly distributive then the algebra carries a Maharam submeasure. If I is a suitably definable sigma-ideal on the real line and the factor algebra of Borel sets modulo I is weakly distributive then the algebra carries a Maharam submeasure. △ Less

Submitted 13 January, 2004; originally announced January 2004.

MSC Class: 03E40; 28A05

On the structure of stationary sets

Authors: Q. Feng, T. Jech, J. Zapletal

Abstract: We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets. We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets. △ Less

Submitted 27 November, 2003; originally announced November 2003.

MSC Class: 03E40; 03E65

Proper forcing and rectangular Ramsey theorems

Authors: Jindrich Zapletal

Abstract: I prove forcing preservation theorems for products of definable partial orders preserving the cofinality of the meager or null ideal. Rectangular Ramsey theorems for related ideals follow from the proofs. I prove forcing preservation theorems for products of definable partial orders preserving the cofinality of the meager or null ideal. Rectangular Ramsey theorems for related ideals follow from the proofs. △ Less

Submitted 9 November, 2003; originally announced November 2003.

Comments: 16 pages

MSC Class: 03E60; 03E17; 03E02

Games with creatures

Authors: Saharon Shelah, Jindrich Zapletal

Abstract: Many forcing notions obtained using the creature technology are naturally connected with certain integer games. Many forcing notions obtained using the creature technology are naturally connected with certain integer games. △ Less

Submitted 3 December, 2002; originally announced December 2002.

Report number: Shelah [ShZa:792]

Duality and the pcf theory

Authors: Saharon Shelah, Jindrich Zapletal

Abstract: We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory, forcing and pcf theory. We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory, forcing and pcf theory. △ Less

Submitted 3 December, 2002; originally announced December 2002.

Report number: Shelah [ShZa:791]

An interpolation theorem

Authors: Jindrich Zapletal

Abstract: Whenever x is a tame cardinal invariant and ZFC+large cardinals proves that x=aleph one implies WCG then ZFC+large cardinals proves that x=aleph one implies b=aleph one, and b=aleph one implies WCG. Here WCG is a certain prediction principle on omega one. This theorem is one of the many possible interpolation theorems of this kind. Whenever x is a tame cardinal invariant and ZFC+large cardinals proves that x=aleph one implies WCG then ZFC+large cardinals proves that x=aleph one implies b=aleph one, and b=aleph one implies WCG. Here WCG is a certain prediction principle on omega one. This theorem is one of the many possible interpolation theorems of this kind. △ Less

Submitted 4 September, 2001; originally announced September 2001.

MSC Class: 03E55

Forcing with ideals of closed sets

Authors: Jindrich Zapletal

Abstract: Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V or V[s]=V[r]. Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V or V[s]=V[r]. △ Less

Submitted 4 September, 2001; originally announced September 2001.

MSC Class: 03E55

Countable Support Iteration Revisited

Authors: Jindrich Zapletal

Abstract: Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties. Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties. △ Less

Submitted 24 June, 2001; originally announced June 2001.

Isolating Cardinal Invariants

Authors: Jindrich Zapletal

Abstract: There is an optimal way to increase certain cardinal invariants of the continuum. There is an optimal way to increase certain cardinal invariants of the continuum. △ Less

Submitted 24 June, 2001; originally announced June 2001.

Duality Chipped

Authors: Jindrich Zapletal

Abstract: Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four. Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four. △ Less

Submitted 24 June, 2001; originally announced June 2001.

Proper forcing and $L({\mathbb R})$

Authors: Itay Neeman, Jindrich Zapletal

Abstract: We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a set of ordinals in $V$ cannot be added to $L({\mathbb R})$ by small forcing. The large cardinal needed corresponds to the consistency strength of… ▽ More We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a set of ordinals in $V$ cannot be added to $L({\mathbb R})$ by small forcing. The large cardinal needed corresponds to the consistency strength of $AD^{L({\mathbb R})}$; roughly $ω$ Woodin cardinals. △ Less

Submitted 3 March, 2000; originally announced March 2000.

Comments: 14 pages, includes Appendix (pp. 10--13)

MSC Class: 03E55; 03E60

Canonical models for aleph_1 combinatorics

Authors: Saharon Shelah, Jindřich Zapletal

Abstract: We define the property of Pi_2-compactness of a statement phi of set theory, meaning roughly that the hard core of the impact of phi on combinatorics of aleph_1 can be isolated in a canonical model for the statement phi. We show that the following statements are Pi_2-compact: ``dominating number = aleph_1,'' ``cofinality of the meager ideal = aleph_1'', ``cofinality of the null ideal = aleph_1''… ▽ More We define the property of Pi_2-compactness of a statement phi of set theory, meaning roughly that the hard core of the impact of phi on combinatorics of aleph_1 can be isolated in a canonical model for the statement phi. We show that the following statements are Pi_2-compact: ``dominating number = aleph_1,'' ``cofinality of the meager ideal = aleph_1'', ``cofinality of the null ideal = aleph_1'', existence of various types of Souslin trees and variations on uniformity of measure and category = aleph_1. Several important new metamathematical patterns among classical statements of set theory are pointed out. △ Less

Submitted 14 June, 1998; originally announced June 1998.

Report number: Shelah [ShZa:610]

Semi-Cohen Boolean algebras

Authors: Bohuslav Balcar, Thomas Jech, Jindřich Zapletal

Abstract: We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion. We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion. △ Less

Submitted 16 June, 1995; originally announced June 1995.

Report number: Logic E-prints June 17, 1995

Embeddings of Cohen algebras

Authors: Saharon Shelah, Jindřich Zapletal

Abstract: Complete Boolean algebras proved to be an important tool in topology and set theory. Two of the most prominent examples are B(kappa), the algebra of Borel sets modulo measure zero ideal in the generalized Cantor space {0,1}^kappa equipped with product measure, and C(kappa), the algebra of regular open sets in the space {0,1}^kappa, for kappa an infinite cardinal. C(kappa) is much easier to analy… ▽ More Complete Boolean algebras proved to be an important tool in topology and set theory. Two of the most prominent examples are B(kappa), the algebra of Borel sets modulo measure zero ideal in the generalized Cantor space {0,1}^kappa equipped with product measure, and C(kappa), the algebra of regular open sets in the space {0,1}^kappa, for kappa an infinite cardinal. C(kappa) is much easier to analyse than B(kappa) : C(kappa) has a dense subset of size kappa, while the density of B(kappa) depends on the cardinal characteristics of the real line; and the definition of C(kappa) is simpler. Indeed, C(kappa) seems to have the simplest definition among all algebras of its size. In the Main Theorem of this paper we show that in a certain precise sense, C(aleph_1) has the simplest structure among all algebras of its size, too. MAIN THEOREM: If ZFC is consistent then so is ZFC + 2^{aleph_0}= aleph_2 +``for every complete Boolean algebra B of uniform density aleph_1, C(aleph_1) is isomorphic to a complete subalgebra of B''. △ Less

Submitted 14 February, 1995; originally announced February 1995.

Report number: Shelah [ShZa:561]

Journal ref: Adv. Math. 126 (1997), 93--118

Semi-Cohen Versus Cohen Algebras

Authors: Jindřich Zapletal

Abstract: We show that there are semi-Cohen Boolean algebras which cannot be completely embedded into Cohen Boolean algebras. Using the ideas from this proof, we give a simpler argument for a theorem of S. Koppelberg and S. Shelah, stating that there are complete subalgebras of Cohen algebras which are not Cohen themselves. We show that there are semi-Cohen Boolean algebras which cannot be completely embedded into Cohen Boolean algebras. Using the ideas from this proof, we give a simpler argument for a theorem of S. Koppelberg and S. Shelah, stating that there are complete subalgebras of Cohen algebras which are not Cohen themselves. △ Less

Submitted 21 November, 1994; originally announced November 1994.

Report number: Logic E-prints November 22, 1994

Small forcings and Cohen reals

Authors: Jindřich Zapletal

Abstract: We prove it consistent relative to ZFC that all nontrivial forcings of size $\aleph _1$ add a Cohen real. We prove it consistent relative to ZFC that all nontrivial forcings of size $\aleph _1$ add a Cohen real. △ Less

Submitted 1 September, 1994; originally announced September 1994.

Report number: Logic E-prints September 02, 1994

More on the cut and choose game

Authors: Jindřich Zapletal

Abstract: We improve some ancient results of Velickovic on the cut and choose (c&c) game on complete Boolean algebras. (1) If Nonempty has a winning strategy for c&c game on $B$ then $B$ is semiproper. (2) If Nonempty has a winning strategy and $B$ has $2^{\aleph _0}$ -c.c. then Nonempty has a winning strategy in the descending chain game. (3) Cons ($B$ is $\aleph _1$-distributive implies Nonempty has… ▽ More We improve some ancient results of Velickovic on the cut and choose (c&c) game on complete Boolean algebras. (1) If Nonempty has a winning strategy for c&c game on $B$ then $B$ is semiproper. (2) If Nonempty has a winning strategy and $B$ has $2^{\aleph _0}$ -c.c. then Nonempty has a winning strategy in the descending chain game. (3) Cons ($B$ is $\aleph _1$-distributive implies Nonempty has a winning strategy in c&c on $B$ ) We also give some new examples of forcings where Nonempty has or does not have a winning strategy in c&c game. △ Less

Submitted 9 March, 1994; originally announced March 1994.

Report number: Logic E-prints March 10, 1994

Shooting a club with finite conditions

Authors: Jindřich Zapletal

Abstract: We study cohabitation of the poset $P_S$ shooting a club through a given stationary subset $S$ of $ω_1$ with finite conditions with other forcings. Sample results: (1) $P_S$ "sometimes" preserves presaturatedness of $NS_{ω_1}$ (2) $P_S=P_T$ if $S=T mod NS_{ω_1}$ (in Boolean algebra sense) (3) Cons ( one can embed $Q,$ the poset adding $\aleph _1$ Cohen reals, to $P_S$ such that reals in… ▽ More We study cohabitation of the poset $P_S$ shooting a club through a given stationary subset $S$ of $ω_1$ with finite conditions with other forcings. Sample results: (1) $P_S$ "sometimes" preserves presaturatedness of $NS_{ω_1}$ (2) $P_S=P_T$ if $S=T mod NS_{ω_1}$ (in Boolean algebra sense) (3) Cons ( one can embed $Q,$ the poset adding $\aleph _1$ Cohen reals, to $P_S$ such that reals in $V^Q$ are the same as reals in $V^{P_S}.$ ) △ Less

Submitted 9 March, 1994; originally announced March 1994.

Report number: Logic E-prints March 10, 1994

A New Proof of Kunen's Inconsistency

Authors: Jindřich Zapletal

Abstract: Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $jλ=λ>crit(j),$ $j^{\prime \prime}λ\in M.$ Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $jλ=λ>crit(j),$ $j^{\prime \prime}λ\in M.$ △ Less

Submitted 14 September, 1993; originally announced September 1993.

Report number: Logic E-prints September 15, 1993

Splitting number and the core model

Authors: Jindřich Zapletal

Abstract: We can generalize the definition of {\it splitting number } $s(κ)$ for $κ$ uncountable regular: $s(κ)=min\{ |\Cal S|:\Cal S\subset \Cal P(κ) \forall a\in κ^κ\exists b\in \Cal S |a\cap b|=|a\setminus b|=κ\}$ However,$\exists κ>\aleph_0$ $s(κ)>κ^+$ becomes a considerable hypothesis,shown consistent from a supercompact.We show that it implies inner models of $\exists α:o(α)=α^{++}$ We can generalize the definition of {\it splitting number } $s(κ)$ for $κ$ uncountable regular: $s(κ)=min\{ |\Cal S|:\Cal S\subset \Cal P(κ) \forall a\in κ^κ\exists b\in \Cal S |a\cap b|=|a\setminus b|=κ\}$ However,$\exists κ>\aleph_0$ $s(κ)>κ^+$ becomes a considerable hypothesis,shown consistent from a supercompact.We show that it implies inner models of $\exists α:o(α)=α^{++}$ △ Less

Submitted 26 October, 1992; originally announced October 1992.

Report number: Logic E-prints October 27, 1992