BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
A classical theorem of Balcar, Pelant, and Simon says that there is a base matrix of height h, where h is the distributivity number of P(omega)/fin. We show that if the continuum c is regular, then there is a base matrix of height c, and that there are base matrices of any regular uncountable height less or equal than c in the Cohen and random models. This answers questions of Fischer, Koelbing, and Wohofsky.
This is an expository paper about several sophisticated forcing techniques closely related to standard finite support iterations of ccc partial orders. We focus on the four topics of ultrapowers of forcing notions, iterations along templates, Boolean ultrapowers of forcing notions, and restrictions of forcing notions to elementary submodels.
For a regular uncountable cardinal kappa, we discuss the order relationship between the unbounding and dominating numbers on kappa and cardinal invariants of the higher meager ideal M_kappa. In particular, we obtain a complete characterization of add(M_kappa) and cof(M_kappa) in terms of cov(M_kappa) and non(M_kappa) and unbounding and dominating numbers, and we provide models showing that there are no restrictions on the value of non(M_kappa) in the degenerate case 2^{<kappa} > kappa except 2^{<kappa} leq non(M_kappa) leq 2^kappa. The corresponding question for cof(M_kappa) remains open. Our results answer questions of joint work of the author with Brooke-Taylor, Friedman, and Montoya.
We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the ZFC-results about the order relationship of the cardinal invariants which hold for omega generalize; for example we obtain a natural generalization of the Bartoszynski-Raisonnier-Stern Theorem. We also prove a number of independence results, both with <kappa-support iterations and kappa-support iterations and products, showing that we consistently have strict inequality between some of the cardinal invariants.
We show that the cofinalities of both the Miller ideal m^0 (the sigma-ideal naturally related to Miller forcing) and the Laver ideal ell^0 (related to Laver forcing) are larger than the size of the continuum in ZFC.
We show that, consistently, there can be maximal subtrees of P (omega) and P (omega) / fin of arbitrary regular uncountable size below the size of the continuum. We also show that there are no maximal subtrees of P (omega) / fin with countable levels. Our results answer several questions of Campero, Cancino, Hrusak, and Miranda.
A Q-set is an uncountable set of reals all of whose subsets are relative Gδ sets. We prove that, for an arbitrary uncountable cardinal kappa, there is consistently a Q-set of size κ whose square is not Q. This answers a question of A. Miller.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.