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
In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of the generalised Cantor space and study its associated ideal of null sets and notion of measurability. This issue was also addressed by Shelah ([11, Problem 0.5]) and concerns the definition of a forcing which is κkappa-bounding, <κ-closed and κ+-cc, for κ inaccessible.
Assuming that GCH holds and κ is κ+3-supercompact, we construct a generic extension W of V in which κ remains strongly inaccessible and (α+)HOD<α+ for every infinite cardinal α<κ. In particular the rank-initial segment Wκ is a model of ZFC in which (α+)HOD<α+ for every infinite cardinal α.
Using countable support iteration of S-proper posets, for some appropriate stationary set S, we obtain a generic extension of the constructible universe, in which b=c=ℵ2 and there is a maximal cofinitary group with a Π21-definable set of generators.
The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovský's theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory. In sections 2 and 3 of this note, we give a proof of Bukovský's theorem in a modern setting (for another proof of this theorem see Bukovský [4]). In section 4 we check that the multiverse of set-generic extensions can be treated as a collection of countable transitive models in a conservative extension of ZFC. The last section then deals with the problem of the existence of infinitely-many independent buttons, which arose in the modal-theoretic approach to the set-generic multiverse by J.Hamkins and B.Loewe [12].
We study the Generalized Kurepa Hypothesis introduced by Chang. We show that relative to the existence of an inaccessible cardinal the Gap-n-Kurepa hypothesis does not follow from the Gap-m-Kurepa hypothesis for m different from n. The use of an inaccessible is necessary for this result.
Starting from large cardinals we construct a pair V1⊆V2 of models of ZFC with the same cardinals and cofinalities such that GCH holds in V1 and fails everywhere in V2.
Shelah-Woodin investigate the possibility of violating instances of GCH through the addition of a single real. In particular they show that it is possible to obtain a failure of CH by adding a single real to a model of GCH, preserving cofinalities. In this article we strengthen their result by showing that it is possible to violate GCH at all infinite cardinals by adding a single real to a model of GCH. Our assumption is the existence of an H(κ+3)-strong cardinal, by work of Gitik and Mitchell it is known that more than an H(κ++)-strong cardinal is required.
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.