Working in the theory “ZF + There is a nontrivial elementary embedding j: V → V ”, we show that a final segment of cardinals satisfies certain square bracket finite and infinite exponent partition relations. As a corollary to this, we show that this final segment is composed of Jonsson cardinals. We then show how to force and bring this situation down to small alephs. A prototypical result is the construction of a model for ZF in which every cardinal μ (...) ≥ ℵ2 satisfies the square bracket infinite exponent partition relation μ → [μ]ωℵ2. We conclude with a discussion of some consistency questions concerning different versions of the axiom asserting the existence of a nontrivial elementary embedding j : V → V. By virtue of Kunen's celebrated inconsistency result, we use only a restricted amount of the Axiom of Choice. (shrink)

Using Steel's recent result that assuming AD, in L[R] below Θ, κ is regular $\operatorname{iff} \kappa$ is measurable, we mimic below Θ certain earlier results of Gitik. In particular, we construct via forcing a model in which all uncountable cardinals below Θ are singular and a model in which the only regular uncountable cardinal below Θ is ℵ 1.

Combining techniques of the first author and Shelah with ideas of Magidor, we show how to get a model in which, for fixed but arbitrary finite n, the first n strongly compact cardinals κ 1 ,..., κ n are so that κ i for i = 1,..., n is both the i th measurable cardinal and κ + i supercompact. This generalizes an unpublished theorem of Magidor and answers a question of Apter and Shelah.

We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm ZF} + \neg{\rm AC}_\omega}$$\end{document} + Every successor cardinal is regular + Every limit cardinal (...) is singular + Every successor cardinal satisfies the tree property” follows from hypotheses stronger in consistency strength than a supercompact limit of supercompact cardinals. A lower bound in consistency strength is provided by a result of Busche and Schindler, who showed that the consistency of the theory “ZF + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” implies the consistency of ADL(R). (shrink)

Using the analysis developed in our earlier paper, we show that every uncountable cardinal in Gitik's model of in which all uncountable cardinals are singular is almost Ramsey and is also a Rowbottom cardinal carrying a Rowbottom filter. We assume that the model of is constructed from a proper class of strongly compact cardinals, each of which is a limit of measurable cardinals. Our work consequently reduces the best previously known upper bound in consistency strength for the theory math formula (...) + “All uncountable cardinals are singular” + “Every uncountable cardinal is both almost Ramsey and a Rowbottom cardinal carrying a Rowbottom filter”. (shrink)

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)

A question of Foreman and Magidor asks if it is consistent for every sequence of stationary subsets of the ℵ n ’s for 1≤n<ω to be mutually stationary. We get a positive answer to this question in the context of the negation of the Axiom of Choice. We also indicate how a positive answer to a generalized version of this question in a choiceless context may be obtained.