The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable cardinal is surprisingly equiconsistent just with the existence of a measurable cardinal. We also generalize the result to larger cardinals as strong or supercompact. Hence we can conclude that the Axiom of Full Reflection at large cardinals weaker than measurable, e.g. as n-Mahlo, does push the consistency strength up, but does not push the consistency strength up at measurable or larger cardinals.
We prove that the Generalized Continuum Hypothesis holds above a supercompact cardinal assuming the Ultrapower Axiom, an abstract comparison principle motivated by inner model theory at the level of supercompact cardinals.
We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions.
We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal.
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 show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.
If we assume the axiom of choice, then every two cardinal numbers are comparable. In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible relationships between them, where possible means that the relationship is consistent with the axioms of set theory. Further we investigate the relationships between some other cardinal numbers in specific permutation models and give some results provable without using the axiom of choice.
We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering properties are also applied to investigate models of strongly compact cardinals or of strong forcing axioms like MM or PFA.
We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with $LS(K)$ below a strongly compact cardinal $κ$ is $< κ$ tame and applying the categoricity transfer of Grossberg and VanDieren. These techniques also apply to measurable and weakly compact cardinals and we prove similar tameness results under those hypotheses. We isolate a dual property to tameness, called \emph{type shortness}, and show that it follows simila…
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles hold for $ω_2$. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact cardinal. If one forces PFA using a proper forcing, then we get the optimal result that a supercompact cardinal is necessary.
In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal axioms of greater strength, and arrived at a motivation for a new large-cardinal property, which we define here and prove to be equivalent to the property of being a Vopěnka scheme cardinal. Making use of this result, one can also show that a theory $B_0(V_0)$ described in a previous paper of Victoria Marshall implies the existence of a Vopěnka scheme cardinal $κ…
The inner model problem for supercompact cardinals, one of the central open problems in modern set theory, asks whether there is a canonical model of set theory with a supercompact cardinal. The problem is closely related to the more precise question of the equiconsistency of strongly compact cardinals and supercompact cardinals. This dissertation approaches these two problems abstractly by introducing a principle called the Ultrapower Axiom which is expected to hold in all known canonical models of set theory. By investigating the consequences of the Ultrapower Axiom under the hypothesis that…
We will consider a number of new large-cardinal properties, the $α$-tremendous cardinals for each limit ordinal $α>0$, the hyper-tremendous cardinals, the $α$-enormous cardinals for each limit ordinal $α>0$, and the hyper-enormous cardinals. For limit ordinals $α>0$, the $α$-tremendous cardinals and hyper-tremendous cardinals have consistency strength between I3 and I2. An $ω$-enormous cardinal has consistency strength greater than I0, and also all the large-cardinal axioms discussed in the second part of Hugh Woodin's paper on suitable extender models, not known to be inconsistent with ZFC an…
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping Reflection Principle, a consequence of PFA. While the results fall short of showing that MRP implies SCH, it will be shown that MRP implies that if SCH fails first at kappa then every stationary subset of S_{kappa^+}^omega = {a < kappa^+ : cf(a) = omega} reflects. It will also be demonstrated that MRP always fails in a generic extension by Prikry forcing.
A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing notion for~$λ$" we shall say "for every such family of forcing notions, depending on stationary $S\subseteq λ$, for some such stationary set we have\dots". Such notions of forcing are important for Abelian group theory, but this application is delayed for a sequel.
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 phenomenon: assuming choiceless large cardinal axioms, the properties of the cumulative hierarchy turn out to alternate between even and odd ranks. The second part of the paper explores the structure of ultrafilters under choiceless large cardinal axioms, exploiting the fact that these axioms imply a weak form of the author's Ultrapower Axiom. The third and fin…
William Tait and Peter Koellner have written on the topic of which reflection principles are intrinsically justified. Phillip Welch and Sam Roberts have recently sought to motivate much stronger reflection principles. This work also had some similarities with previous work of Victoria Marshall's on reflection principles, as may be seen from considerations which we will seek to articulate in what follows. The statement of our three philosophical theses shall be given in the Introduction. We will present a set of technical results in support of three philosophical theses which will be articulate…
The relationship between the large cardinal notions of strong compactness and supercompactness cannot be determined under the standard ZFC axioms of set theory. Under a hypothesis called the Ultrapower Axiom, we prove that the notions are equivalent except for a class of counterexamples identified by Menas. This is evidence that strongly compact and supercompact cardinals are equiconsistent.
One of the numerous characterizations of a Ramsey cardinal kappa involves the existence of certain types of elementary embeddings for transitive sets of size κsatisfying a large fragment of ZFC. We introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. These new axioms serve to further our knowledge about the elementary embedding properties of smaller large cardinals, in particular those still consistent with V=L.
We introduce bounded category forcing axioms for well-behaved classes $Γ$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{λ_Γ^+}$ modulo forcing in $Γ$, for some cardinal $λ_Γ$ naturally associated to $Γ$. These axioms naturally extend projective absoluteness for arbitrary set-forcing--in this situation $λ_Γ=ω$--to classes $Γ$ with $λ_Γ>ω$. Unlike projective absoluteness, these higher bounded category forcing axioms do not follow from large cardinal axioms, but can be forced under mild large cardinal assumptions o…
We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc({\rm ZFC})$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc({\rm ZFC})$ plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All $Π_2$ consequences of ZFC are provable in ${\rm LZFC}$. LZFC strongly extends Kripke-Platek (KP) set theory minus $Δ_0$-Collection and minus $\in$-induction scheme. ZFC+``there is an inaccessible cardinal'' proves the consistency of LZFC. In LZ…
We recently formulated a new large-cardinal axiom of strength intermediate between a totally indescribable cardinal and an $ω$-Erdős cardinal, positing the existence of what we called an "extremely reflective cardinal", and we showed that the property of being extremely reflective was in fact equivalent to the property of being remarkable, and we sought to argue that this axiom should be seen as intrinsically justified. This built on related earlier work in which the notion of an $α$-reflective cardinal was formulated. Then Welch and Roberts put forward a family of reflection principles, Welch…
In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions that homogenize colorings over them is uncovered. At the level of the first uncountable cardinal this gives rise to a duality theorem under Martin's Axiom: a function $p:[ω_1]^2\rightarrowω$ witnesses a weak negative Ramsey relation when $p$ plays the role of a coloring if and only if a positive Ramsey relation holds over $p$ when $p$ plays the role of a partition. The consistency of posi…
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle should hold, seems to support the trichotomy on the possible size of the continuum. In this article, we examine the situation with the reflection principles and related notions of generic large cardinals.
We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi stationary set reflection augmented with a weak form of Martin's Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set r…
The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa is called {Sigma}_1-reflecting, if for any regular cardinal chi, for all formulas phi, ``H(chi) models `phi ' '' implies ``exists delta < kappa, H(delta) models `phi ' '' We show that BPFA is equivalent to the statement that two nonisomorphic models of size aleph_1 cannot be made isomorphic by a proper forcing notion, and we show that the consistency strength…
A stationary subset $S$ of a regular uncountable cardinal $κ$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq κ$ of higher order consisting of regular cardinals there exists an $α\in T$ such that $S \cap α$ is a stationary subset of $α$. {\it Full Reflection} states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than $κ$ having Mitchell order $κ^{++}$ it is consistent that Full Reflection holds at every $λ\leq κ$ and $κ$ is measurable.
A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha is a stationary subset of alpha. We prove that the Axiom of Full Reflection which states that every stationary set reflects fully at regular cardinals, together with the existence of n-Mahlo cardinals is equiconsistent with the existence of Pi^1_n-indescribable cardinals. We also state the appropriate generalization for greatly Mahlo cardinals.
We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied higher infinities of abstract set theory called large cardinals in an essential way in order to derive results in the context of the natural numbers. The findings raise the specific issue of what consitutes a valid mathematical proof and the general issue of objectivity in mathematics in a down to earth way. Large cardinal axioms, which go beyond the usual axi…
We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $λ$, if $λ^{++}$ is not a Mahlo cardinal in Gödel's constructible universe, then $2^λ= λ^+$ entails the existence of a $λ^+$-complete $λ^{++}$-Souslin tree.
We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem. First of all we outline how, using basic partial order theory, it is possible to reformulate the axiom of choice, Baire's category theorem, and many large cardinal axioms as specific instances of forcing axioms. We then address forcing axioms with a model-theoretic perspective and outline a deep analogy existing between the standard Łoś Theorem for ultraproducts of first order s…
After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. Lévy et. al. in the 1960's, we introduce new principles of reflection based on the general notion of \emph{Structural Reflection} and argue that they are in strong agreement with the conception of reflection implicit in Cantor's original idea of the unknowability of the \emph{Absolute}, which was subsequently developed in the works of Ackermann, Lévy, Gödel, Reinhardt, and others. We then present a comprehensive survey of results showing that different forms of the new principles of…
Zermelo's Axiom of Separation is: Exist x: Forall y: (y in x <==> y in a & E(y)) with definite(E) and parameter a. Thoralf Skolem suggested to characterize the terminus "definite" by "the property E should be representable by a FOL formula". But that is trivial. "definite" must mean more. The author claims that "definite" means "in accordance with the theory of definitions of logic". In this case the theorem of Cantor is no longer a theorem, but a undecidable sentence, and has to be established explicitly as axiom. This is not done by the community, but it is made a silent assumption that we c…
I explore two separate topics: the concept of jointness for set-theoretic guessing principles, and the notion of grounded forcing axioms. A family of guessing sequences is said to be joint if all of its members can guess any given family of targets independently and simultaneously. I primarily investigate jointness in the case of various kinds of Laver diamonds. In the case of measurable cardinals I show that, while the assertions that there are joint families of Laver diamonds of a given length get strictly stronger with increasing length, they are all equiconsistent. This is contrasted with …
A cardinal $λ$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < λ$, $λ$ satisfies P in $V^{\mathbb{Q}}$. We study the extent to which certain reflection properties of large cardinals can be satisfied robustly by small cardinals. We focus in particular on stationary reflection and the tree property, both of which can consistently hold but fail to be robust at small cardinals. We introduce natural strengthenings of these principles which are always robust and which hold at sufficiently large cardinals, consider the extent to which these strengthe…
We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let $M=(V^M,P)$ be a countable model of second order set theory $\mathsf{ZF}_2$ (with universe $V^M$ and classes $P$) which models "$κ$ is super Reinhardt". We show that there are unboundedly many $μ<κ$ such that there is $j$ such that $(V^M,j)$ models $\mathsf{ZF}(j)+$"$μ$ is Reinhardt, as witnessed by $j$". In particular, $j\upharpoonright X\in V^M$ for all $X\in V^M$ (but we allow $j\notin P$).
Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"
Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should work for R-modules, etc. As in earlier cases part of the work is analyzing how to move between the set theory and the algebra. Set theoretically we try to force a universe which satisfies G.C.H. and diamond holds for many stationary sets but, for every regular uncountable lambda, in some sense anything which "may" hold for some stationary set, does hold for s…
We generalise Jensen's result on the incompatibility of subcompactness with square. We show that alpha^+-subcompactness of some cardinal less than or equal to alpha precludes square_alpha, but also that square may be forced to hold everywhere where this obstruction is not present. The forcing also preserves other strong large cardinals. Similar results are also given for stationary reflection, with a corresponding strengthening of the large cardinal assumption involved. Finally, we refine the analysis by considering Schimmerling's hierarchy of weak squares, showing which cases are precluded by…
While many inner model theoretic combinatorial principles are incompatible with large cardinal axioms, on some rare occasions, large cardinals actually imply that the structure of the universe of sets is analogous to the canonical inner models. This note provides two new instances of this phenomenon.
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cichoń diagram. First I show that for a wide variety of reduction concepts there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model of ZFC. Then I study generalizations of cardinal characteristics to the space of functions …
Assuming an abstract comparison principle called the Ultrapower Axiom, which is motivated by the comparison process of inner model theory and generalizes the statement that the Mitchell order is linear on normal ultrafilters, we characterize strongly compact cardinals in terms of supercompactness: a strongly compact cardinal is either supercompact or a limit of supercompact cardinals. Assuming the Ultrapower Axiom and the GCH, we also prove a local result that roughly states that every countably complete ultrafilter factors as a finite iteration of supercompact ultrafilters.
In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that L(P(omega_1)) satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that combinatorial principle Square(kappa) fails for all regular kappa > omega_1.
Assuming an inaccessible cardinal kappa, there is a generic extension in which MA + 2^{aleph_0} = kappa holds and the reals have a Delta^2_1 well-ordering.
A new large-cardinal property is introduced which enables one to give a relative consistency proof of restricted versions of the reflection principles discussed by Tait in his essay "Constructing Cardinals from Below".
We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $MM^{++}$ and collapses its size to become the second uncountable cardinal. Next we argue that any of the known methods to produce a model of $MM^{++}$ collapsing a superhuge cardinal to become the second uncoun…
