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
We introduce a new type of game on natural numbers of variable countable length, which can be regarded as a diagonalization of all games of fixed countable length on natural numbers. Building on previous work by Trang and Woodin, we show that analytic determinacy of the game is equivalent to the existence of a sharp for a canonical inner model with a limit of Woodin cardinals λ such that the order type of Woodin cardinals below λ is λ.
We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those of level ω1 (that is, the ones that are closed under Borel preimages) and iteratively applying the operations of expansion and separated differences. The proof is essentially due to Louveau, and it yields at the same time a new proof of a theorem of Van Wesep (namely, that every non-selfdual Wadge class can be expressed as the result of a Hausdorff operation applied to the open sets). The exposition is self-contained, except for facts from classical descriptive set theory.
Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a given ideal. We prove that for all σ-ideals I such that the ideal forcing PI of Borel sets modulo I is proper, this uniformization principle is equivalent to an absoluteness principle for projective formulas with respect to PI that we call internal absoluteness. In addition, we show that it is equivalent to measurability with respect to I together with 1-step absoluteness for the poset PI. These equivalences are new even for Cohen and random forcing and they are, to the best of our knowledge, the first precise equivalences between regularity and absoluteness beyond the second level of the projective hierarchy.
We analyze the hereditarily ordinal definable sets HOD in Mn(x)[g] for a Turing cone of reals x, where Mn(x) is the canonical inner model with n Woodin cardinals build over x and g is generic over Mn(x) for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming Πn+21-determinacy, for a Turing cone of reals x, HODMn(x)[g]=Mn(M∞∣κ∞,Λ), where M∞ is a direct limit of iterates of Mn+1, δ∞ is the least Woodin cardinal in M∞, κ∞ is the least inaccessible cardinal in M∞ above δ∞, and Λ is a partial iteration strategy for M∞. It will also be shown that under the same hypothesis HODMn(x)[g] satisfies GCH.
It is known that the behavior of the Mitchell order substantially changes at the level of rank-to-rank extenders, as it ceases to be well-founded. While the possible partial order structure of the Mitchell order below rank-to-rank extenders is considered to be well understood, little is known about the structure in the ill-founded case. The purpose of the paper is to make a first step in understanding this case, by studying the extent to which the Mitchell order can be ill-founded. Our main results are (i) in the presence of a rank-to-rank extender there is a transitive Mitchell order decreasing sequence of extenders of any countable length, and (ii) there is no such sequence of length ω1.
We prove a number of results on the determinacy of σ-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between σ-projective determinacy and the determinacy of certain classes of games of variable length <ω2 (Theorem 2.4). We then give an elementary proof of the determinacy of σ-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof to obtain proofs of the determinacy of σ-projective games of a given countable length and of games with payoff in the smallest σ-algebra containing the projective sets, from corresponding assumptions (Theorems 5.1 and 5.4).
Let Mn♯(R) denote the minimal active iterable extender model which has n Woodin cardinals and contains all reals, if it exists, in which case we denote by Mn(R) the class-sized model obtained by iterating the topmost measure of Mn(R) class-many times. We characterize the sets of reals which are Σ1-definable from R over Mn(R), under the assumption that projective games on reals are determined: (1) for even n, Σ1Mn(R)=⅁RΠn+11; (2) for odd n, Σ1Mn(R)=⅁RΣn+11. This generalizes a theorem of Martin and Steel for L(R), i.e., the case n=0. As consequences of the proof, we see that determinacy of all projective games with moves in R is equivalent to the statement that Mn♯(R) exists for all n∈N, and that determinacy of all projective games of length ω2 with moves in N is equivalent to the statement that Mn♯(R) exists and satisfies AD for all n∈N.
All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of van Douwen, and gives partial answers to questions of Terada and Medvedev.
We determine the consistency strength of determinacy for projective games of length ω2. Our main theorem is that Πn+11-determinacy for games of length ω2 implies the existence of a model of set theory with ω+n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that Mn(A), the canonical inner model for n Woodin cardinals constructed over A, satisfies A=R and the Axiom of Determinacy. Then we argue how to obtain a model with ω+n Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length ω2 with payoff in ⅁RΠ11 or with σ-projective payoff.
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.