Determinacy and Jónsson cardinals in
Assume and let be an uncountable cardinal. We show that is Jónsson, and that if then is Rowbottom. We also establish some other partition properties.
Source author record
W. Hugh Woodin
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
4works
1topics
4close collaborators
Published work
4 publications
preprint1997arXiv
The Jensen covering property
An optimal extension of the Jensen covering lemma, within the limits imposed by Prikry forcing, is proved. If L[E] is an "iterable" weasel with no measurable cardinals, then either L[E] has "indiscernibles", or every uncountable set of ordinals is contained in a set in L[E] of the same cardinality. (The terms "iterable" and "indiscernibles" are made precise in the paper.) Most importantly, there is no hypothesis explicitly limiting the large cardinals which are consistent in L[E].
Open access
preprint1995arXiv
Delta-1-2 Without Sharps
We show that the supremum of the lengths of boldface Delta-1-2 prewellorderings of the reals can be Aleph-2, with Aleph-1 inac- cessible to reals, assuming only the consistency of an inaccessible.
Open access
preprint1995arXiv
The complexity of the reals in inner models of set theory
The usual definition of the set of constructible reals is Σ21. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be analytic or even Borel in a nontrivial way. A related problem was posed by K. Prikry: can there exist a nonconstructible perfect set of constructible reals? The main result of this paper is a negative answer to Friedman's question. In fact we prove that if M is an inner model of set theory and the set of reals in M is analytic then either all reals are in M or else ℵ1M is countable. We also extend this result to higher levels of the projective hierarchy under appropriate large cardinal assumptions. Concerning Prikry's problem we show that the answer is negative if "perfect" is replaced by "superperfect" but that it can be positive if "constructible" is replaced by "belonging to some inner model M".
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.