We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost (...) Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”. (shrink)

I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.

We give an example of a theory that strongly maximizes over ZFC and discuss possible consequences of this finding.

We show that there is a model of ZF in which the Borel hierarchy on the reals has length ω2. This implies that ω1 has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument produces models of ZF in which the Borel hierarchy has exactly λ + 1 levels for any given limit ordinal λ less than ω2. We also show that assuming a large cardinal hypothesis there are models of ZF in which (...) the Borel hierarchy is arbitrarily long. (shrink)

.In this paper, we first prove several general theorems about strongness, supercompactness, and indestructibility, along the way giving some new applications of Hamkins’ lottery preparation forcing to indestructibility. We then show that it is consistent, relative to the existence of cardinals κ<λ so that κ is λ supercompact and λ is inaccessible, for the least strongly compact cardinal κ to be the least strong cardinal and to have its strongness, but not its strong compactness, indestructible under κ-strategically closed forcing.

We give a new characterization of λ-supercompact cardinal κ in terms of -Solovay pairs. We give some applications of -Solovay pairs.

The set-theoretic axiom WISC states that for every set there is a set of surjections to it cofinal in all such surjections. By constructing an unbounded topos over the category of sets and using an extension of the internal logic of a topos due to Shulman, we show that WISC is independent of the rest of the axioms of the set theory given by a well-pointed topos. This also gives an example of a topos that is not a predicative topos (...) as defined by van den Berg. (shrink)

We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model of $\mathrm (...) {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)