Ramsey-like cardinals

2011 ◽  
Vol 76 (2) ◽  
pp. 519-540 ◽  
Author(s):  
Victoria Gitman
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Large Fragment ◽  
Weakly Compact ◽  
Elementary Embeddings ◽  
Measurable Cardinals

AbstractOne of the numerous characterizations of a Ramsey cardinal κ 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.

Forbidden intervals

2009 ◽  
Vol 74 (4) ◽  
pp. 1081-1099 ◽  
Author(s):  
Matthew Foreman
Keyword(s):  
Critical Point ◽  
Set Theory ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Elementary Embeddings ◽  
Measurable Cardinals ◽  
Precipitous Ideals ◽  
Strongly Compact Cardinals

Many classical statements of set theory are settled by the existence of generic elementary embeddings that are analogous the elementary embeddings posited by large cardinals. [2] The embeddings analogous to measurable cardinals are determined by uniform, κ-complete precipitous ideals on cardinals κ. Stronger embeddings, analogous to those originating from supercompact or huge cardinals are encoded by normal fine ideals on sets such as [κ]<λ or [κ]λ.The embeddings generated from these ideals are limited in ways analogous to conventional large cardinals. Explicitly, if j: V → M is a generic elementary embedding with critical point κ and λ supnЄωjn(κ) and the forcing yielding j is λ-saturated then j“λ+ ∉ M. (See [2].)Ideals that yield embeddings that are analogous to strongly compact cardinals have more puzzling behavior and the analogy is not as straightforward. Some natural ideal properties of this kind have been shown to be inconsistent:Theorem 1 (Kunen). There is no ω2-saturated, countably complete uniform ideal on any cardinal in the interval [ℵω, ℵω).Generic embeddings that arise from countably complete, ω2-saturated ideals have the property that sup . So the Kunen result is striking in that it apparently allows strong ideals to exist above the conventional large cardinal limitations. The main result of this paper is that it is consistent (relative to a huge cardinal) that such ideals exist.

On the ordering of certain large cardinals

1979 ◽  
Vol 44 (4) ◽  
pp. 563-565
Author(s):  
Carl F. Morgenstern
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Inaccessible Cardinal ◽  
Elementary Embedding ◽  
Strongly Compact Cardinal ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
The Universe ◽  
Weakly Compact Cardinal

It is well known that the first strongly inaccessible cardinal is strictly less than the first weakly compact cardinal which in turn is strictly less than the first Ramsey cardinal, etc. However, once one passes the first measurable cardinal the inequalities are no longer strict. Magidor [3] has shown that the first strongly compact cardinal may be equal to the first measurable cardinal or equal to the first super-compact cardinal (the first supercompact cardinal is strictly larger than the first measurable cardinal). In this note we will indicate how Magidor's methods can be used to show that it is undecidable whether one cardinal (the first strongly compact) is greater than or less than another large cardinal (the first huge cardinal). We assume that the reader is familiar with the ultrapower construction of Scott, as presented in Drake [1] or Kanamori, Reinhardt and Solovay [2].Definition. A cardinal κ is huge (or 1-huge) if there is an elementary embedding j of the universe V into a transitive class M such that M contains the ordinals, is closed under j(κ) sequences, j(κ) > κ and j ↾ Rκ = id. Let κ denote the first huge cardinal, and let λ = j(κ).One can see from easy reflection arguments that κ and λ are inaccessible in V and, in fact, that κ is measurable in V.

scholarly journals TAMENESS FROM LARGE CARDINAL AXIOMS

2014 ◽  
Vol 79 (4) ◽  
pp. 1092-1119 ◽  
Author(s):  
WILL BONEY
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Strongly Compact Cardinal ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
Dual Property ◽  
First Time ◽  
Strongly Compact Cardinals ◽  
Do So

AbstractWe show that Shelah’s Eventual Categoricity Conjecture for successors 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 withLS(K) below a strongly compact cardinalκis <κ-tame and applying the categoricity transfer of Grossberg and VanDieren [11]. 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, calledtype shortness, and show that it follows similarly from large cardinals.

scholarly journals Ramsey-like cardinals II

2011 ◽  
Vol 76 (2) ◽  
pp. 541-560 ◽  
Author(s):  
Victoria Gitman ◽  
P. D. Welch
Keyword(s):  
Upper Bound ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Core Model ◽  
Consistency Strength ◽  
The Core ◽  
Countable Ordinal ◽  
Elementary Embeddings ◽  
Remarkable Cardinals

AbstractThis paper continues the study of the Ramsey-like large cardinals introduced in [5] and [14]. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only α-many iterations for some countable ordinal α. Here we study such α-iterable cardinals. We show that the α-iterable cardinals form a strict hierarchy for α ≤ ω1, that they are downward absolute to L for , and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.We show that the strongly Ramsey and super Ramsey cardinals from [5] are downward absolute to the core model K. Finally, we use a forcing argument from a strongly Ramsey cardinal to separate the notions of Ramsey and virtually Ramsey cardinals. These were introduced in [14] as an upper bound on the consistency strength of the Intermediate Chang's Conjecture.

On P-points over a measurable cardinal

1981 ◽  
Vol 46 (1) ◽  
pp. 59-66
Author(s):  
A. Kanamori
Keyword(s):  
Measurable Cardinal ◽  
Focus Of Attention ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Inner Model ◽  
Measurable Cardinals ◽  
The Universe

This paper continues the study of κ-ultrafilters over a measurable cardinal κ, following the sequence of papers Ketonen [2], Kanamori [1] and Menas [4]. Much of the concern will be with p-point κ-ultrafilters, which have become a focus of attention because they epitomize situations of further complexity beyond the better understood cases, normal and product κ-ultrafilters.For any κ-ultrafilter D, let iD: V → MD ≃ Vκ/D be the elementary embedding of the universe into the transitization of the ultrapower by D. Situations of U < RKD will be exhibited when iU(κ) < iD(κ), and when iU(κ) = iD(κ). The main result will then be that if the latter case obtains, then there is an inner model with two measurable cardinals. (As will be pointed out, this formulation is due to Kunen, and improves on an earlier version of the author.) Incidentally, a similar conclusion will also follow from the assertion that there is an ascending Rudin-Keisler chain of κ-ultrafilters of length ω + 1. The interest in these results lies in the derivability of a substantial large cardinal assertion from plausible hypotheses on κ-ultrafilters.

Nonabsoluteness of elementary embeddings

1989 ◽  
Vol 54 (3) ◽  
pp. 774-778
Author(s):  
Friedrich Wehrung
Keyword(s):  
Measurable Cardinal ◽  
Elementary Embedding ◽  
Minimal Support ◽  
Elementary Embeddings ◽  
Measurable Cardinals

Ifκis a measurable cardinal, let us say that a measure onκis aκ-complete nonprincipal ultrafilter onκ. IfUis a measure onκ, letjUbe the canonical elementary embedding ofVinto its Ultrapower UltU(V). Ifxis a set, say thatUmovesxwhenjU(x)≠x; say thatκmovesxwhen some measure onκmovesx. Recall Kunen's lemma (see [K]): “Every ordinal is moved only by finitely many measurable cardinals.” Kunen's proof (see [K]) and Fleissner's proof (see [KM, III, §10]) are essentially nonconstructive.The following proposition can be proved by using elementary facts about iterated ultrapowers.Proposition.Let ‹Un: n ∈ ω› be a sequence of measures on a strictly increasing sequence ‹κn: n ∈ ω› of measurable cardinals. Let U = ‹ Wα: α < ω2›, where Wωm + n= Um(m, n ∈ ω). Then, for each θ inUltU(V),if E is the (minimal) support of θ inUltU(V),then, for all m ∈ ω, Ummoves θ iff E ∩ [ωm, ω(m + 1))≠ ∅.

The large cardinal strength of weak Vopenka’s principle

2021 ◽  
pp. 2150024
Author(s):  
Trevor M. Wilson
Keyword(s):  
Lower Bound ◽  
Large Cardinal ◽  
Proper Class ◽  
Strong Cardinal ◽  
Elementary Embeddings ◽  
Vopěnka’S Principle ◽  
Measurable Cardinals

We show that Weak Vopěnka’s Principle, which is the statement that the opposite category of ordinals cannot be fully embedded into the category of graphs, is equivalent to the large cardinal principle Ord is Woodin, which says that for every class [Formula: see text] there is a [Formula: see text]-strong cardinal. Weak Vopěnka’s Principle was already known to imply the existence of a proper class of measurable cardinals. We improve this lower bound to the optimal one by defining structures whose nontrivial homomorphisms can be used as extenders, thereby producing elementary embeddings witnessing [Formula: see text]-strongness of some cardinal.

Strongly unfoldable cardinals made indestructible

2008 ◽  
Vol 73 (4) ◽  
pp. 1215-1248 ◽  
Author(s):  
Thomas A. Johnstone
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Weakly Compact ◽  
Proper Forcing ◽  
Class Forcing

AbstractI provide indestructibility results for large cardinals consistent with V = L, such as weakly compact, indescribable and strongly unfoldable cardinals. The Main Theorem shows that any strongly unfoldable cardinal κ can be made indestructible by <κ-closed, κ-proper forcing. This class of posets includes for instance all <κ-closed posets that are either κ−-c.c. or <κ-strategically closed as well as finite iterations of such posets. Since strongly unfoldable cardinals strengthen both indescribable and weakly compact cardinals, the Main Theorem therefore makes these two large cardinal notions similarly indestructible. Finally. I apply the Main Theorem to obtain a class forcing extension preserving all strongly unfoldable cardinals in which every strongly unfoldable cardinal κ is indestructible by <κ-closed, κ-proper forcing.

scholarly journals Tameness, powerful images, and large cardinals

2020 ◽  
Vol 21 (01) ◽  
pp. 2050024
Author(s):  
Will Boney ◽  
Michael Lieberman
Keyword(s):  
Large Cardinals ◽  
Classification Theory ◽  
Closure Properties ◽  
Weakly Compact ◽  
Accessible Categories ◽  
Elementary Classes ◽  
Comprehensive Level ◽  
Theoretic Characterization ◽  
Measurable Cardinals

We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [W. Boney and S. Unger, Large cardinal axioms from tameness in AECs, Proc. Amer. Math. Soc. 145(10) (2017) 4517–4532; A. Brooke-Taylor and J. Rosický, Accessible images revisited, Proc. AMS 145(3) (2016) 1317–1327; M. Lieberman, A category-theoretic characterization of almost measurable cardinals (Submitted, 2018), http://arxiv.org/abs/1809.06963; M. Lieberman and J. Rosický, Classification theory for accessible categories. J. Symbolic Logic 81(1) (2016) 1647–1648].

Between strong and superstrong

1986 ◽  
Vol 51 (3) ◽  
pp. 547-559 ◽  
Author(s):  
Stewart Baldwin
Keyword(s):  
Critical Point ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Proper Class ◽  
Consistency Strength ◽  
Strong Cardinal ◽  
Definition Of ◽  
Strong Cardinals

Definition. A cardinal κ is strong iff for every x there is an elementary embedding j:V → M with critical point κ such that x ∈ M.κ is superstrong iff ∃j:V → M with critical point κ such that Vj(κ) ∈ M.These definitions are natural weakenings of supercompactness and hugeness respectively and display some of the same relations. For example, if κ is superstrong then Vκ ⊨ “∃ proper class of strong cardinals”, but the smallest superstrong cardinal is less than the smallest strong cardinal (if both types exist). (See [SRK] and [Mo] for the arguments involving supercompact and huge, which translate routinely to strong and superstrong.)Given any two types of large cardinals, a typical vague question which is often asked is “How large is the gap in consistency strength?” In one sense the gap might be considered relatively small, since the “higher degree” strong cardinals described below (a standard trick that is nearly always available) and the Shelah and Woodin hierarchies of cardinals (see [St] for a definition of these) seem to be (at least at this point in time) the only “natural” large cardinal properties lying between strong cardinals and superstrong cardinals in consistency strength.

Sign in / Sign up

Export Citation Format

Share Document