We present a variation of the forcing S max as presented in Woodin [4]. Our forcing is a P max -style construction where each model condition selects one Souslin tree. In the extension there is a Souslin tree T G which is the direct limit of the selected Souslin trees in the models of the generic. In some sense, the generic extension is a maximal model of "there exists a minimal Souslin tree," with T G being this minimal tree. In (...) particular, in the extension this Souslin tree has the property that forcing with it gives a model of Souslin's Hypothesis. (shrink)

We present a variety of (ω 1 ,∞)-distributive forcings which when applied to models of Martin's Maximum separate certain well known reflection principles. In particular, we do this for the reflection principles SR, SR α (α ≤ ω 1 ), and SRP.

We shall show the consistency of CH+ᄀ(+) and CH+(+)+ there are no club guessing sequences on ω₁. We shall also prove that ◊⁺ does not imply the existence of a strong club guessing sequence ω₁.

The canonical function game is a game of length ω1 introduced by W. Hugh Woodin which falls inside a class of games known as Neeman games. Using large cardinals, we show that it is possible to force that the game is not determined. We also discuss the relationship between this result and Σ22 absoluteness, cardinality spectra and Π2 maximality for H relative to the Continuum Hypothesis.

In [P. Larson, Martin’s Maximum and the axiom , Ann. Pure App. Logic 106 135–149], we modified a coding device from [W.H. Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter & Co, Berlin, 1999] and the consistency proof of Martin’s Maximum from [M. Foreman, M. Magidor, S. Shelah, Martin’s Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annal. Math. 127 1–47] to show that from a supercompact limit of supercompact cardinals one could force Martin’s (...) Maximum to hold while the axiom fails. Here we modify that argument to prove a stronger fact, that Martin’s Maximum is consistent with the existence of a wellordering of the reals definable in H without parameters, from the same large cardinal hypothesis. In doing so we give a much simpler proof of the original result. (shrink)

Given a stationary subset T of $\omega_{1}$ , let $\tilde{T}$ be the set of ordinals in the interval $(\omega_{1}, \omega_{2})$ which are necessarily in the image of T by any embedding derived from the nonstationary ideal. We consider the question of the size of $\tilde{T}$ , givenT, and use Martin's Maximum and $\mathbb{P}_{max}$ to give some answers.

The stationary set splitting game is a game of perfect information of length ω1 between two players, unsplit and split, in which unsplit chooses stationarily many countable ordinals and split tries to continuously divide them into two stationary pieces. We show that it is possible in ZFC to force a winning strategy for either player, or for neither. This gives a new counterexample to Σ22 maximality with a predicate for the nonstationary ideal on ω1, and an example of a consistently (...) undetermined game of length ω1 with payoff de.nable in the second-order monadic logic of order. We also show that the determinacy of the game is consistent with Martin's Axiom but not Martin's Maximum. (shrink)

We show that the members of a certain class of semi-proper iterations do not add countable sets of ordinals. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from ω1 to ω1 is bounded on a club by a canonical function for an ordinal less than ω2.

We isolate a forcing which increases the value of δ12 while preserving ω₁ under the assumption that there is a precipitous ideal on ω₁ and a measurable cardinal.

We show, using a variation of Woodin’s partial order ℙ max , that it is possible to destroy the saturation of the nonstationary ideal on ω 1 by forcing with a Suslin tree. On the other hand, Suslin trees typcially preserve saturation in extensions by ℙ max variations where one does not try to arrange it otherwise. In the last section, we show that it is possible to have a nonmeager set of reals of size ℵ1, saturation of the nonstationary (...) ideal, and no weakly Lusin sequences, answering a question of Shelah and Zapletal. (shrink)

If M is a countable transitive model of $ZFC+MA_{\aleph_{1}}$ , then for every real x there is a unique shortest iteration $j: M \rightarrow N$ with $x \in N$ , or none at all.

The forcing construction Pmax, invented by W. Hugh Woodin, produces a model whose collection of subsets of ω₁ is in some sense maximal. In this paper we study the Boolean algebra induced by the nonstationary ideal on ω₁ in this model. Among other things we show that the induced quotient does not have a simply definable form. We also prove several results about saturation properties of the ideal in this extension.

This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27–29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set (...) theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Other topics covered are forcing axioms, inner model theory, the partition calculus, and the theory of ultrafilters. This volume should make a suitable introduction to Woodin's work and the concerns which motivate it. The papers should be of interest to graduate students and researchers in both mathematics and philosophy of mathematics, particularly in set theory, foundations and related areas. (shrink)

In his book on P max [7], Woodin presents a collection of partial orders whose extensions satisfy strong club guessing principles on ω | . In this paper we employ one of the techniques from this book to produce P max variations which separate various club guessing principles. The principle (+) and its variants are weak guessing principles which were first considered by the second author [4] while studying games of length ω | . It was shown in [1] that (...) the Continuum Hypothesis does not imply (+) and that (+) does not imply the existence of a club guessing sequence on ω | . In this paper we give an alternate proof of the second of these results, using Woodin's P max technology, showing that a strengthening of (+) does not imply a weakening of club guessing known as the Interval Hitting Principle. The main technique in this paper, in addition to the standard P m a x machinery, is the use of condensation principles to build suitable iterations. (shrink)

The Filter Dichotomy says that every uniform nonmeager filter on the integers is mapped by a finite-to-one function to an ultrafilter. The consistency of this principle was proved by Blass and Laflamme. A medial limit is a universally measurable function from [Formula: see text] to the unit interval [0, 1] which is finitely additive for disjoint sets, and maps singletons to 0 and ω to 1. Christensen and Mokobodzki independently showed that the Continuum Hypothesis implies the existence of medial limits. (...) We show that the Filter Dichotomy implies that there are no medial limits. (shrink)

We present a variation of the forcing $\mathbb{S}_{max}$ as presented in Woodin [4]. Our forcing is a $\mathbb{P}_{max}$-style construction where each model condition selects one Souslin tree. In the extension there is a Souslin tree T$_G$ which is the direct limit of the selected Souslin trees in the models of the generic. In some sense, the generic extension is a maximal model of "there exists a minimal Souslin tree," with T$_G$ being this minimal tree. In particular, in the extension this (...) Souslin tree has the property that forcing with it gives a model of Souslin's Hypothesis. (shrink)

We produce a model of \ such that no outer model of \ has the same pure sets, answering a question asked privately by Eric Hall.

A function f from ω1 to the ordinals is called a canonical function for an ordinal α if f represents α in any generic ultrapower induced by forcing with math formula. We introduce here a method for coding sets of ordinals using canonical functions from ω1 to ω1. Combining this approach with arguments from, we show, assuming the Continuum Hypothesis, that for each cardinal κ there is a forcing construction preserving cardinalities and cofinalities forcing that every subset of κ is (...) an element of the inner model math formula. (shrink)

Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below λ of cofinality θ into λ many stationary sets, where θ < λ are regular cardinals. This is a continuation of [4].

We present Woodin's proof that if there exists a measurable Woodin cardinal δ, then there is a forcing extension satisfying all $\Sigma _{2}^{2}$ sentences ϕ such that CH + ϕ holds in a forcing extension of V by a partial order in V δ . We also use some of the techniques from this proof to show that if there exists a stationary limit of stationary limits of Woodin cardinals, then in a homogeneous forcing extension there is an elementary embedding (...) j: V → M with critical point $\omega _{1}^{V}$ such that M is countably closed in the forcing extension. (shrink)

Given a space in an elementary submodel M of H, define XM to be X∩M with the topology generated by . It is established, using anti-large-cardinals assumptions, that if XM is compact and its regular open algebra is isomorphic to that of a continuous image of some power of the two-point discrete space, then X=XM. Assuming in addition, the result holds for any compact XM satisfying the countable chain condition.

Assuming the existence of a supercompact limit of supercompact cardinals, we modify the original consistency proof of Martin's Maximum to obtain a model in which MM holds but the axiom fails.