Related papers: Generically extendible cardinals
We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals…
We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementary embedding between transitive sets. Assuming the axiom of choice this is equivalent to measurability, but it is well-known that choice is…
We share both recent and older, well-known results regarding the notions of stable ordinals and shrewd cardinals. We then argue that $\Sigma_2$-nonprojectible ordinals may be considered as recursive analogues to subtle cardinals, a highly…
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…
We show the existence, over an arbitrary infinite ergodic $\mathbb{Z}$-dynamical system, of a generic ergodic relatively distal extension of arbitrary countable rank and arbitrary infinite compact extending groups (or more generally,…
We argue against Foreman's proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms.
We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and…
We give a new proof that there are arbitrarily large indecomposable abelian groups; moreover, the groups constructed are absolutely indecomposable, that is, they remain indecomposable in any generic extension. However, any absolutely rigid…
We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the…
We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally…
We show that Vopenka's Principle and Vopenka cardinals are indestructible under reverse Easton forcing iterations of increasingly directed-closed partial orders, without the need for any preparatory forcing. As a consequence, we are able to…
We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.
We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…
We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can…
This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity…
We show that Shelah cardinals are preserved under the canonical $GCH$ forcing notion. We also show that if $GCH$ holds and $F:REG\rightarrow CARD$ is an Easton function which satisfies some weak properties, then there exists a cofinality…
It is possible that fundamental constants may not be constant at all. There is a generally accepted view that one can only talk about variations of dimensionless quantities, such as the fine structure constant $\alpha_{\rm e}\equiv…
Exacting and ultraexacting cardinals are large cardinal numbers compatible with the Zermelo-Fraenkel axioms of set theory, including the Axiom of Choice. In contrast with standard large cardinal notions, their existence implies that the…
Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…
We consider a weak version of Schindler's remarkable cardinals that may fail to be $\Sigma_2$-reflecting. We show that the $\Sigma_2$-reflecting weakly remarkable cardinals are exactly the remarkable cardinals, and we show that the…