One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings,j, from the universe,V, into some transitive submodel,M. See Reinhardt–Solovay [7] for more details. Ifjis not the identity, andκis the first ordinal moved byj, thenκis a measurable cardinal. Conversely, Scott [8] showed that wheneverκis measurable, there is suchjandM. If we had assumed, in addition, that, thenκwould be theκth measurable cardinal; in general, the wider we assumeMto be, the largerκmust be.

We consider the following question of Kunen: Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j: M $\longrightarrow$ V) imply Con (ZFC + ∃ a measurable cardinal)? We use core model theory to investigate consequences of the existence of such a j: M → V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of "there exists a proper class of almost (...) Ramsey cardinals". Conversely, if On is Ramsey, then such a j, M are definable. We construe this as a negative answer to the question above. We consider further the consequences of strengthening the closure assumption on j to having various classes of fixed points. (shrink)

We describe a fairly general procedure for preserving I3 embeddings j: Vλ → Vλ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I3 embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result (...) in which consistency was established assuming an I1 embedding. (shrink)

We consider the following question of Kunen: Does Con imply Con? We use core model theory to investigate consequences of the existence of such a j : M $\rightarrow$ V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of "there exists a proper class of almost Ramsey cardinals". Conversely, if On is Ramsey, then such a j, M are definable. We construe this as a negative answer to (...) the question above. We consider further the consequences of strengthening the closure assumption on j to having various classes of fixed points. (shrink)

We give a sharper version of a theorem of Rosický, Trnková and Adámek [13], and a new proof of a theorem of Rosický [12], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as $\alpha$-strongly compact and $C^{(n)}$-extendible cardinals.

For a complete theory of Boolean algebras T, let MT denote the class of countable models of T. For B1, B2 ∈ MT, let B1 ≤ B2 mean that B1 is elementarily embeddable in B2. Theorem 1. For every complete theory of Boolean algebras T, if T ≠ Tω, then $\langle M_T, \leq\rangle$ is well-quasi-ordered. ■ We define Tω. For a Boolean algebra B, let I(B) be the ideal of all elements of the form a + s such that $B\upharpoonright (...) a$ is an atomic Boolean algebra and $B\upharpoonright s$ is an atomless Boolean algebra. The Tarski derivative of B is defined as follows: B(0) = B and B(n + 1) = B(n)/I(B(n)). Define Tω to be the theory of all Boolean algebras such that for every n ∈ ω, B(n) ≠ {0}. By Tarski [1949], Tω is complete. Recall that $\langle A, \leq\rangle$ is a partial well-quasi-ordering, if it is a partial quasi-ordering and for every $\{a_i\mid i \in \omega\} \subseteq A$ , there are $i < j < \omega$ such that ai ≤ aj. Theorem 2. $\langle M_{T_\omega}, \leq\rangle$ contains a subset M such that the partial orderings $\langle M, \leq \upharpoonright M \rangle$ and $\langle\mathscr{P}(\omega), \subseteq\rangle$ are isomorphic. ■ Let M'0 denote the class of all countable Boolean algebras. For B1, B2 ∈ M'0, let B1 ≤' B2 mean that B1 is embeddable in B2. Remark. $\langle M'_0, \leq'\rangle$ is well-quasi-ordered. ■ This follows from Laver's theorem [1971] that the class of countable linear orderings with the embeddability relation is well-quasi-ordered and the fact that every countable Boolean algebra is isomorphic to a Boolean algebra of a linear ordering. (shrink)

An important technique in large cardinal set theory is that of extending an elementary embedding j: M → N between inner models to an elementary embedding j*: M[G] → N[G*] between generic extensions of them. This technique is crucial both in the study of large cardinal preservation and of internal consistency. In easy cases, such as when forcing to make the GCH hold while preserving a measurable cardinal (via a reverse Easton iteration of α-Cohen forcing for (...) successor cardinals α), the generic G* is simply generated by the image of G. But in difficult cases, such as in Woodin's proof that a hypermeasurable is sufficient to obtain a failure of the GCH at a measurable, a preliminary version of G* must be constructed (possibly in a further generic extension of M[G]) and then modified to provide the required G*. In this article we use perfect trees to reduce some difficult cases to easy ones, using fusion as a substitute for distributivity. We apply our technique to provide a new proof of Woodin's theorem as well as the new result that global domination at inaccessibles (the statement that d (κ) is less than 2κ for inaccessible κ, where d (κ) is the dominating number at κ) is internally consistent, given the existence of 0#. (shrink)

We describe a fairly general procedure for preserving I3 embeddings j: V λ → V λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I3 embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an (...) earlier result in which consistency was established assuming an I1 embedding. (shrink)

Say that the property Φ of a cardinal λ strongly implies the property Ψ. If and only if for every λ,Φ implies that Ψ and that for some λ′<λ,Ψ. Frequently in the hierarchy of large cardinal axioms, stronger axioms strongly imply weaker ones. Some strong implications are proved between axioms of the form “there is an elementary embedding j:Lα[Vλ+1]→Lα[Vλ+1] with ”.

In 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existence of a nontrivial elementary embedding j:V→V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V→V relative to models of ZFC. We do this by working in the extended language , using as axioms all the usual axioms of ZFC , along with an axiom schema that asserts that j is a nontrivial (...) class='Hi'>elementary embedding. Without additional axiomatic assumptions on j, we show that that the resulting theory is weaker than an ω-Erdös cardinal, but stronger than n-ineffables. We show that natural models of ZFC+BTEE give rise to Schindler’s remarkable cardinals. The approach to inconsistency from ZFC+BTEE forks into two paths: extensions of ZFC+BTEE+Cofinal Axiom and ZFC+BTEE+¬Cofinal Axiom, where Cofinal Axiom asserts that the critical sequence is cofinal in the ordinals. We describe near-minimal inconsistent extensions of each of these theories. The path toward inconsistency from ZFC+BTEE+¬Cofinal Axiom is paved with a sequence of theories of increasing large cardinal strength. Indeed, the extensions of the theory ZFC +“j is a nontrivial elementary embedding” form a hierarchy of axioms, ranging in strength from Con to the existence of a cardinal that is super-n-huge for every n, to inconsistency. This hierarchy is parallel to the usual hierarchy of large cardinal axioms, and can be used in the same way. We also isolate several intermediate-strength axioms which, when added to ZFC+BTEE, produce theories having strengths in the vicinity of a measurable cardinal of high Mitchell order, a strong cardinal, ω Woodin cardinals, and n-huge cardinals. We also determine precisely which combinations of axioms, of the form result in inconsistency. (shrink)

We give an extender characterization of a very strong elementary embedding between transitive models of set theory, whose existence is known as the axiom I2. As an application, we show that the positive solution of a partition problem raised by Magidor would refute it.

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. Ifxis a set, say thatUmovesxwhenjU≠x; say thatκmovesxwhen some measure onκmovesx. Recall Kunen's lemma : “Every ordinal is moved only by finitely many measurable cardinals.” Kunen's proof and Fleissner's proof 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. Then, for each θ inUltU,if E is the support of θ inUltU,then, for all m ∈ ω, Ummoves θ iff E ∩ [ωm, ω)≠ ∅. (shrink)

Probably the two most famous examples of elementary embeddings between inner models of set theory are the embeddings of the universe into an inner model given by a measurable cardinal and the embeddings of the constructible universeLinto itself given by 0#. In both of these examples, the “target model” is a subclass of the “ground model”. It is not hard to find examples of embeddings in which the target model is not a subclass of the ground model: ifis a (...) generic ultrafilter arising from forcing with a precipitous ideal on a successor cardinalκ, then the ultraproduct of the ground model viacollapsesκ. Such considerations suggest a classification of how close the target model comes to “fitting inside” the ground model.Definition 1.1. LetMandNbe inner models of ZFC, and letj:M→Nbe an elementary embedding. Theco-critical pointofjis the least ordinalλ, if any exist, such that there isX⊆λ, X∈NbutX∉M. Such anXis called anew subsetofλ.It is easy to see that the co-critical point ofj:M→Nis a cardinal inN. (shrink)

We introduce a natural principleStrong Chang Reflectionstrengthening the classical Chang Conjectures. This principle is between a huge and a two huge cardinal in consistency strength. In this note we prove that it implies the existence of an inner model with a huge cardinal. The technique we explore for building inner models with huge cardinals adapts to show thatdecisiveideals imply the existence of inner models with supercompact cardinals. Proofs for all of these claims can be found in [10].1,2.

We consider iterations of general elementary embeddings and, using this notion, point out helices of consistency-wise implications between large large cardinals.Up to now, large cardinal properties have been considered as properties which cannot be accessed by any weaker properties and it has been known that, with respect to this relation, they form a proper hierarchy. The helices we point out significantly change this situation: the same sequence of large cardinal properties occurs repeatedly, changing only the parameters.As results of our (...) investigation of this helical structure, we have new characterizations of extendible cardinals and of Vopěnkan cardinals in terms of elementary embeddings from the universe V, a new large large cardinal property which looks like Shelahness properly between Vopěnkaness and almost hugeness, and a more direct relation between Vopěnkaness and Woodinness than already known.We also consider limits of the helices and relations with the axioms I1–I3. (shrink)

Dougherty, R., Critical points in an algebra of elementary embeddings, Annals of Pure and Applied Logic 65 211-241.Given two elementary embeddings from the collection of sets of rank less than λ to itself, one can combine them to obtain another such embedding in two ways: by composition, and by applying one to the other. Hence, a single such nontrivial embedding j generates an algebra of embeddings via these two operations, which satisfies certain laws . Laver has (...) shown, among other things, that this algebra is free on one generator with respect to these laws.The set of critical points of members of this algebra is the subject of this paper. This set contains the critical point κ0 of j, as well as all of the other ordinals κn in the critical sequence of j ). But the set includes many other ordinals as well. The main result of this paper is that the number of critical points below κn grows so quickly with n that it dominates any primitive recursive function. In fact, it grows faster than the Ackermann function, and even faster than a slow iterate of the Ackermann function. Further results show that, even just below κ4, one can find so many critical points that the number is only expressible using fast-growing hierarchies of iterated functions. (shrink)

The following pcf results are proved:1. Assume thatκ>ℵ0κ>ℵ0is a weakly compact cardinal. Letμ>2κμ>2κbe a singular cardinal of cofinality κ. Then for every regularView the MathML sourceλ sup{suppcfσ⁎-complete|a⊆Reg∩and|a|<μ}.Turn MathJax onAs an application we show that:if κ is a measurable cardinal andj:V→Mj:V→Mis the elementary embedding by a κ-complete ultrafilter over κ, then for every τ the following holds:1. ifjjis a cardinal thenj=τj=τ;2. |j|=|j)||j|=|j)|;3. for any κ-complete ultrafilter W on κ, |j|=|jW||j|=|jW|.The first two items provide affirmative answers to questions from Gitik (...) and Shelah [2] and the third to a question of D. Fremlin. (shrink)

According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal [Formula: see text] and nontrivial elementary embedding [Formula: see text]. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone is has been discovered. [Formula: see text] is the assertion, introduced by Hugh Woodin, that [Formula: see text] is an ordinal and there is an elementary embedding [Formula: see text] with critical point [Formula: see text]. And [Formula: (...) see text] asserts that [Formula: see text] holds for some [Formula: see text]. The axiom [Formula: see text] is one of the strongest large cardinals not known to be inconsistent with AC. It is usually studied assuming ZFC in the full universe [Formula: see text] (in which case [Formula: see text] must be a limit ordinal), but we assume only ZF. We prove, assuming ZF [Formula: see text] [Formula: see text] [Formula: see text] “[Formula: see text] is an even ordinal”, that there is a proper class transitive inner model [Formula: see text] containing [Formula: see text] and satisfying ZF [Formula: see text] [Formula: see text] [Formula: see text] “there is an elementary embedding [Formula: see text]”; in fact we will have [Formula: see text] ⊆[Formula: see text], where [Formula: see text] witnesses [Formula: see text] in [Formula: see text]. This result was first proved by the author under the added assumption that [Formula: see text] exists; Gabe Goldberg noticed that this extra assumption was unnecessary. If also [Formula: see text] is a limit ordinal and [Formula: see text]-DC holds in [Formula: see text], then the model [Formula: see text] will also satisfy [Formula: see text]-DC. We show that ZFC [Formula: see text] “[Formula: see text] is even” [Formula: see text] [Formula: see text] implies [Formula: see text] exists for every [Formula: see text], but if consistent, this theory does not imply [Formula: see text] exists. (shrink)

Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.

LetEO be the elementary ontology of Leniewski formalized as in Iwanu [1], and letLS be the monadic second-order calculus of predicates. In this paper we give an example of a recursive function , defined on the formulas of the language ofEO with values in the set of formulas of the language of LS, such that EO A iff LS (A) for each formulaA.

There is given the proof of strict embedding of Leniewski's elementary ontology into monadic second-order calculus of predicates providing a formalization of the class of all formulas valid in all domains (including the empty one). The elementary ontology with the axiom S (S S) is strictly embeddable into monadic second-order calculus of predicates which provides a formalization of the classes of all formulas valid in all non-empty domains.

We explore the possibilities for elementary embeddings $j : M \to N$, where M and N are models of ZFC with the same ordinals, $M \subseteq N$, and N has access to large pieces of j. We construct commuting systems of such maps between countable transitive models that are isomorphic to various canonical linear and partial orders, including the real line ${\mathbb R}$.

Every transformation monoid comes equipped with a canonical topology, the topology of pointwise convergence. For some structures, the topology of the endomorphism monoid can be reconstructed from its underlying abstract monoid. This phenomenon is called automatic homeomorphicity. In this paper we show that whenever the automorphism group of a countable saturated structure has automatic homeomorphicity and a trivial center, then the monoid of elementary self-embeddings has automatic homeomorphicity, too. As a second result we strengthen a result by Lascar by (...) showing that whenever \ is a countable \-categorical G-finite structure whose automorphism group has a trivial center and if \ is any other countable structure, then every isomorphism between the monoids of elementary self-embeddings is a homeomorphism. (shrink)

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued field is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that all types over (...) the Hahn field $$\mathbb {R}((\mathbb {Z}))$$ are definable. Similarly, all types over the quotient field of the Witt ring $$W(\mathbb {F}_p^{\text {alg}})$$ are definable. This extends a work of Cubides and Delon and of Cubides and Ye. (shrink)

The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. In addition, (...) we consider two cases which were not dealt with by Bagaria; namely, C (n)-Woodin and C (n)-strongly compact cardinals, for which we provide characterizations in terms of their ordinary counterparts. Finally, we give a brief account on the interaction of C (n)-cardinals with the forcing machinery. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines (...) the traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

We propose a simple notion of "extender" for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.