The present paper investigates the power of proper forcings to change the shape of the universe, in a certain well-defined respect. It turns out that the ranking among large cardinals can be used as a measure for that power. However, in order to establish the final result I had to isolate a new large cardinal concept, which I dubbed “remarkability.” Let us approach the exact formulation of the problem—and of its solution—at a slow pace.Breathtaking developments in the mid 1980s found (...) one of its culminations in the theorem, due to Martin, Steel, and Woodin, that the existence of infinitely many Woodin cardinals with a measurable cardinal above them all implies that AD, the axiom of determinacy, holds in the least inner model containing all the reals, L. One of the nice things about AD is that the theory ZF + AD + V = L appears as a choiceless “completion” of ZF in that any interesting question seems to find an at least attractive answer in that theory. Beyond that, AD is very canonical as may be illustrated as follows.Let us say that L is absolute for set-sized forcings if for all posets P ∈ V, for all formulae ϕ, and for all ∈ ℝ do we have thatwhere is a name for the set of reals in the extension. (shrink)

My aim in this paper is to propose what seems to me a distinctive approach to set theoretic methodology. By ‘methodology’ I mean the study of the actual methods used by practitioners, the study of how these methods might be justified or reformed or extended. So, for example, when the intuitionist's philosophical analysis recommends a wholesale revision of the methods of proof used in classical mathematics, this is a piece of reformist methodology. In contrast with the intuitionist, I will focus (...) more narrowly on the methods of contemporary set theory, and, more importantly, I will certainly recommend no sweeping reforms. Rather, I begin from the assumption that the methodologist's job is to account for set theory as it is practiced, not as some philosophy would have it be. This credo lies at the very heart of the so-called ‘naturalism’ to be described here.A philosopher looking at set theoretic practice from the outside, so to speak, might notice any number of interesting methodological questions, beginning with the intuitionist's ‘why use classical logic?’, but this sort of question is not a live issue for most practicing set theorists. One central question on which the philosopher's and the practitioner's interests converge is this: what is the status of independent statements like the continuum hypothesis (CH)? A number of large questions arise in its wake: what criteria should guide the search for new axioms? For that matter, what reasons support our adoption of the old axioms? (shrink)

We combine two techniques of set theory relating to minimal degrees of constructibility. Jensen constructed a minimal real which is additionally a Π 1 2 singleton. Groszek built an initial segment of order type 1 + α * , for any ordinal α. This paper shows how to force a Π 1 2 singleton such that the c-degrees beneath it, all represented by reals, are of type 1 + α * , for many ordinals α. We also examine the definability (...) α needs to be so represented by a real. (shrink)

Let k be an infinite cardinal. A subset of $(^k k)^n $ is a $\Sigma _1^1 $ -subset if it is the projection p[T] of all cofinal branches through a subtree T of $(lt;kk)^{n + 1} $ of height k. We define $\Sigma _k^1 - ,\Pi _k^1 $ - and $\Delta _k^1$ subsets of $(^k k)^n $ as usual. Given an uncountable regular cardinal k with k = k (...) there is a shrink)

We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal$M_1$, there is a model of$\mathsf {ZFC}$in which$\mbox {NS}_{\omega _{1}}$is$\aleph _2$-saturated and${\Delta }_{1}$-definable with$\omega _1$as a parameter which answers a question of S. D. Friedman and L. Wu. We also show that starting from an arbitrary universe with a Woodin cardinal, there is a model with$\mbox {NS}_{\omega _{1}}$saturated and${\Delta }_{1}$-definable with a ladder system$\vec {C}$and a full Suslin treeTas parameters. Both results rely on (...) a new coding technique whose presentation is the main goal of this article. (shrink)

Classes of forcings which add a real by forcing with branching conditions are examined, and conditions are found which guarantee that the generic real is of minimal degree over the ground model. An application is made to almost-disjoint coding via a real of minimal degree.

We study the preservation under projective ccc forcing extensions of the property of L(ℝ) being a Solovay model. We prove that this property is preserved by every strongly-̰Σ₃¹ absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for Σ₃¹ absolutely-ccc forcing notions. We extend these results to the higher projective classes of ccc posets, and to the class of all projective ccc posets, using definably-Mahlo cardinals. As a consequence we obtain an exact (...) equiconsistency result for generic absoluteness under projective absolutely-ccc forcing notions. (shrink)