One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings,j, from the universe,V, into some transitive submodel,M. See Reinhardt–Solovay [7] for more details. Ifjis not the identity, andκis the first ordinal moved byj, thenκis a measurable cardinal. Conversely, Scott [8] showed that wheneverκis measurable, there is suchjandM. If we had assumed, in addition, that, thenκwould be theκth measurable cardinal; in general, the wider we assumeMto be, the largerκmust be.

We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming MA + ≠ CH, every new real constructs the collapsing map.

We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming $MA + \neq CH$, every new real constructs the collapsing map.

T. K. Menas [4, pp. 225-234] introduced a combinatorial property χ (μ) of a measure μ on a supercompact cardinal κ and proved that measures with this property also have the partition property. We prove here that Menas' property is not equivalent to the partition property. We also show that if α is the least cardinal greater than κ such that P κ α bears a measure without the partition property, then α is inaccessible and Π 2 1 -indescribable.

If θ is any singular cardinal of cofinality ω 1 , we produce a forcing extension in which MA holds below θ but fails at θ. The failure is due to a partial order which splits a gap of size θ in P(ω).

We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees.

Keywords: Elementary Submodel; Real Line; Order-Isomorphic.

The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.

In this work we give a complete answer as to the possible implications between some natural properties of Lebesgue measure and the Baire property. For this we prove general preservation theorems for forcing notions. Thus we answer a decade-old problem of J. Baumgartner and answer the last three open questions of the Kunen-Miller chart about measure and category. Explicitly, in \S1: (i) We prove that if we add a Laver real, then the old reals have outer measure one. (ii) We (...) prove a preservation theorem for countable-support forcing notions, and using this theorem we prove (iii) If we add ω 2 Laver reals, then the old reals have outer measure one. From this we obtain (iv) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg B(m) + \neg U(m) + U(c))$ . In \S2: (i) We prove a preservation theorem, for the finite support forcing notion, of the property " $F \subseteq ^\omega\omega$ is an unbounded family." (ii) We introduce a new forcing notion making the old reals a meager set but the old members of ω ω remain an unbounded family. Using this we prove (iii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + U(m) + \neg B(c) + \neg U(c) + C(c))$ . In \S3: (i) We prove a preservation theorem, for the finite support forcing notion, of a property which implies "the union of the old measure zero sets is not a measure zero set," and using this theorem we prove (ii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg U(m) + C(m) + \neg C(c))$. (shrink)

We develop the theory of layered posets and use the notion of layering to prove a new iteration theorem is κ-cc, as long as direct limits are used sufficiently often. This iteration theorem simplifies and generalizes the various chain condition arguments for universal Kunen iterations in the literature on saturated ideals, especially in situations where finite support iterations are not possible. We also provide two applications:1 For any n≥1, a wide variety of <ωn−1-closed, ωn+1-cc posets of size ωn+1 can consistently (...) be absorbed by quotients of saturated ideals on ωn.2 For any n∈ω, the tree property at ωn+3 is consistent with Chang’s conjecture ↠. (shrink)

We present several generalizations of the well-known Kunen inconsistency that there is no nontrivial elementary embedding from the set-theoretic universe V to itself. For example, there is no elementary embedding from the universe V to a set-forcing extension V[G], or conversely from V[G] to V, or more generally from one set-forcing ground model of the universe to another, or between any two models that are eventually stationary correct, or from V to HOD, or conversely from HOD to V, or indeed (...) from any definable class to V, among many other possibilities we consider, including generic embeddings, definable embeddings and results not requiring the axiom of choice. We have aimed in this article for a unified presentation that weaves together some previously known unpublished or folklore results, several due to Woodin and others, along with our new contributions. (shrink)

I offer a variant of Putnam’s “permutation argument,” originally an argument against metaphysical realism. This variant is called the “natural permutation argument.” I explain how the natural permutation argument generates a form of referential inscrutability which is not resolvable by consideration of “natural properties” in the sense of Lewis’s response to Putnam. However, unlike the classical permutation argument (which is applicable to nearly all interpretations of all first-order theories), the natural permutation argument only applies to interpretations which have some special (...) symmetries. I give an analysis of the interpretations to which the natural permutation argument does apply, and I explain how, when it fails to apply, the referential inscrutability generated by permutation arguments is resolvable by a Lewisian strategy. In order to demonstrate how these problems of referential inscrutability play out in an a priori setting relevant to philosophy, I discuss the applicability of the natural permutation argument in set-theoretic reasoning. I use the well-known Kunen inconsistency theorem to show that, in Zermelo–Fraenkel set theory, the Axiom of Choice is sufficient to resolve referential inscrutability. I then explain how, as a result of a recent theorem of Daghighi–Golshani–Hamkins–Jeřábek, in certain non-well-founded set theories the natural permutation argument does yield an intractable inscrutability of reference. (shrink)

Suppose that U and U' are normal ultrafilters associated with some supercompact cardinal. How may we compare U and U'? In what ways are they similar, and in what ways are they different? Partial answers are given in [1], [2], [3], [5], [6], and [7]. In this paper, we continue this study. In [6], Menas introduced a combinatorial principle χ(U) of normal ultrafilters U associated with supercompact cardinals, and showed that normal ultrafilters satisfying this property also satisfying this property also (...) satisfy a partition property. In [5], Kunen and Pelletier showed that this partition property for U does not imply χ (U). Using results from [3], we present a different method of finding such normal ultrafilters which satisfy the partition property but do not satisfy χ (U). Our method yields a large collection of such normal ultrafilters. (shrink)