The Uniqueness Of Elementary Embeddings

GABRIEL GOLDBERG

DOI: https://doi.org/10.1017/jsl.2024.60

2024-12-15

Journal of Symbolic Logic

Abstract:Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely determines the elementary embedding.

mathematics,logic

What problem does this paper attempt to address?

No cardinal correct inner model elementarily embeds into the universe

Gabriel Goldberg,Sebastiano Thei

2024-11-02

Abstract:An elementary embedding $j:M\rightarrow N$ between two inner models of ZFC is cardinal preserving if $M$ and $N$ correctly compute the class of cardinals. We look at the case $N=V$ and show that there is no nontrivial cardinal preserving elementary embedding from $M$ into $V$, answering a question of Caicedo.

Logic
The foundation axiom and elementary self-embeddings of the universe

Ali Sadegh Daghighi,Mohammad Golshani,Joel David Hamkins,Emil Jeřábek

DOI: https://doi.org/10.48550/arXiv.1311.0814

2014-02-14

Abstract:We consider the role of the foundation axiom and various anti-foundation axioms in connection with the nature and existence of elementary self-embeddings of the set-theoretic universe.

Logic
Elementary submodels, coding strategies, and an infinite real number game

Will Brian,Steven Clontz

DOI: https://doi.org/10.48550/arXiv.2209.02593

2022-08-09

Abstract:Matthew Baker investigated, in previous work, an elegant, infinite-length game that may be used to study subsets of real numbers. We present two accessible examples of how an important technique from set theory, or a different technique from infinite game theory, may be used to answer Baker's question on whether this game provides a precise characterization for countable subsets of real numbers, and we connect this game to the well-studied Banach-Mazur game from topology.

Logic
A note on cardinal preserving embeddings

Gabriel Goldberg

DOI: https://doi.org/10.48550/arXiv.2103.00072

2021-02-26

Logic

Abstract:We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving embedding preserves the cofinality and continuum functions.
Large cardinals, structural reflection, and the HOD Conjecture

Juan P. Aguilera,Joan Bagaria,Philipp Lücke

2024-11-18

Abstract:We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of Jónsson cardinals, or in terms of principles of structural reflection. However, they challenge commonly held intuition on strong axioms of infinity. We prove that ultraexacting cardinals are consistent with Zermelo-Fraenkel Set Theory with the Axiom of Choice (ZFC) relative to the existence of an I0 embedding. However, the existence of an ultraexacting cardinal below a measurable cardinal implies the consistency of ZFC with a proper class of I0 embeddings, thus challenging the linear-incremental picture of the large cardinal hierarchy. We show that the existence of an exacting cardinal implies that V is not equal to HOD (Gödel's universe of Hereditarily Ordinal Definable sets), showing that these cardinals surpass the current hierarchy of large cardinals consistent with ZFC. We prove that the consistency of ZFC with an exacting cardinal above an extendible cardinal refutes Woodin's HOD Conjecture and Ultimate-L Conjecture. Finally, we establish the consistency of ZFC with the existence of an exacting cardinal above an extendible cardinal from the consistency of ZF with certain large cardinals beyond choice.

Logic
Building models in small cardinals in local abstract elementary classes

Marcos Mazari-Armida,Wentao Yang

2024-04-18

Abstract:There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that stability is enough to construct larger models for small cardinals assuming a mild locality condition for Galois types.

Mathematics
Elementary embeddings in torsion-free hyperbolic groups

Chloé Perin

DOI: https://doi.org/10.48550/arXiv.0903.0945

2012-06-15

Abstract:We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors.

Group Theory,Logic
The embedding structure for linearly ordered topological spaces

Alex Primavesi,Katherine Thompson

DOI: https://doi.org/10.48550/arXiv.1102.2159

2011-02-11

Abstract:In this paper, the class of all linearly ordered topological spaces (LOTS) quasi-ordered by the embeddability relation is investigated. In ZFC it is proved that for countable LOTS this quasi-order has both a maximal (universal) element and a finite basis. For the class of uncountable LOTS of cardinality $\kappa$ it is proved that this quasi-order has no maximal element for $\kappa$ at least the size of the continuum and that in fact the dominating number for such quasi-orders is maximal, i.e. $2^\kappa$. Certain subclasses of LOTS, such as the separable LOTS, are studied with respect to the top and internal structure of their respective embedding quasi-order. The basis problem for uncountable LOTS is also considered; assuming the Proper Forcing Axiom there is an eleven element basis for the class of uncountable LOTS and a six element basis for the class of dense uncountable LOTS in which all points have countable cofinality and coinitiality.

Logic,General Topology
Large cardinals with few measures

Arthur Apter,James Cummings,Joel Hamkins

DOI: https://doi.org/10.1090/s0002-9939-07-08786-2

IF: 0.9709

2007-03-02

Proceedings of the American Mathematical Society

Abstract: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 generalize to higher cardinals, showing that the number of λ \lambda strong compactness or λ \lambda supercompactness measures on P κ ( λ ) P_\kappa (\lambda ) can be exactly λ + \lambda ^+ if λ > κ \lambda > \kappa is a regular cardinal. We conclude with a list of open questions. Our proofs use a critical observation due to James Cummings.

mathematics, applied
Critical embeddings

Asaf Karagila,Jiachen Yuan

2024-01-06

Abstract:Hayut and first author isolated the notion of a critical cardinal in [1]. In this work we answer several questions raised in the original paper. We show that it is consistent for a critical cardinals to not have any ultrapower elementary embeddings, as well as that it is consistent that no target model is closed. We also prove that if $\kappa$ is a critical point by any ultrapower embedding, then it is the critical point by a normal ultrapower embedding. The paper contains several open questions of interest in the study of critical cardinals.

Logic
The consistency strength of determinacy when all sets are universally Baire

Sandra Müller

2024-06-02

Abstract:It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Axiom of Determinacy itself. Sargsyan conjectured it to be as strong as the existence of a cardinal that is both a limit of Woodin cardinals and a limit of strong cardinals. Larson, Sargsyan and Wilson used a generalization of Woodin's derived model construction to show that this conjectured result would be optimal. In this paper we introduce a new translation procedure for hybrid mice extending work of Steel, Zhu and Sargsyan and apply it to prove Sargsyan's conjecture.

Logic
Limit models in strictly stable abstract elementary classes

Will Boney,Monica M. VanDieren

DOI: https://doi.org/10.1002/malq.202200075

2024-12-04

Mathematical Logic Quarterly

Abstract:In this paper, we examine the locality condition for non‐splitting and determine the level of uniqueness of limit models that can be recovered in some stable, but not superstable, abstract elementary classes. In particular we prove the following. Suppose that K is an abstract elementary class satisfying (1)the joint embedding and amalgamation properties with no maximal model of cardinality μ , (2)stability in μ , (3)κμ∗(K)

mathematics,logic
The Joint Embedding Property and Maximal Models

John T. Baldwin,Martin Koerwien,Ioannis Souldatos

DOI: https://doi.org/10.48550/arXiv.1501.07316

2015-02-20

Abstract:We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(\lambda_i : i \le \alpha<\aleph_1)$ is a strictly increasing sequence of characterizable cardinals (Definition 2.1) whose models satisfy JEP$(<\lambda_0)$, there is an $L_{\omega_1,\omega}$ -sentence $\psi$ whose models form a pure AEC and (1) The models of $\psi$ satisfy JEP$(<\lambda_0)$, while JEP fails for all larger cardinals and AP fails in all infinite cardinals. (2) There exist $2^{\lambda_i^+}$ non-isomorphic maximal models of $\psi$ in $\lambda_i^+$, for all $i \le \alpha$, but no maximal models in any other cardinality; and (3) $\psi$ has arbitrarily large models. In particular this shows the Hanf number for JEP and the Hanf number for maximality for pure AEC with Lowenheim number $\aleph_0$ are at least $\beth_{\omega_1}$. We show that although AP$(\kappa)$ for each $\kappa$ implies the full amalgamation property, JEP$(\kappa)$ for each \kappa does not imply the full joint embedding property. We show the main combinatorial device of this paper cannot be used to extend the main theorem to a complete sentence.

Logic
Ketonen's question and other cardinal sins

Assaf Rinot,Zhixing You,Jiachen Yuan

2024-08-03

Abstract:Intersection models of generic extensions obtained from a commutative projection systems of notions of forcing has recently regained interest, especially in the study of descriptive set theory. Here, we show that it provides a fruitful framework that opens the door to solving some open problems concerning compactness principles of small cardinals. To exemplify, from suitable assumptions, we construct intersection models satisfying ZFC and any of the following: 1. There is a weakly compact cardinal $\kappa$ carrying an indecomposable ultrafilter, yet $\kappa$ is not measurable. This answers a question of Ketonen from the late 1970's. 2. For proper class many cardinals $\lambda$, the least $\lambda$-strongly compact cardinal is singular. This answers a question of Bagaria and Magidor who asked for merely two such cardinals. 3. There is a strongly inaccessible cardinal whose $C$-sequence number is a singular cardinal. This answers a question of Lambie-Hanson and the first author.

Logic
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Ur Ya'ar

DOI: https://doi.org/10.1016/j.apal.2023.103358

IF: 0.776

2024-01-01

Annals of Pure and Applied Logic

Abstract:We prove that the theory of the models constructible using finitely many cofinality quantifiers – C λ 1 , … , λ n ⁎ and C < λ 1 , … , < λ n ⁎ for λ 1 , … , λ n regular cardinals – is set-forcing absolute under the assumption of class many Woodin cardinals, and is independent of the regular cardinals used. Towards this goal we prove some properties of the generic embedding induced from the stationary tower restricted to <μ-closed sets.

mathematics, applied,logic
A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis

Omer Ben-Neria,Eyal Kaplan

2024-12-07

Abstract:We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $\sigma$-complete ultrafilters in a model of set theory with a single measurable cardinal $\kappa$ , yet satisfies $2^\kappa = \kappa^{++}$. This result establishes a limitation on the extent to which structural properties of ultrafilters can determine the cardinal arithmetic at large cardinals, and answers a question posed by Goldberg concerning the failure of the Continuum Hypothesis at a measurable cardinal in a model of the Ultrapower Axiom. The construction introduces several methods in extensions of embeddings theory and fine-structure-based forcing, designed to control the behavior of non-normal ultrafilters in generic extensions.

Logic
The Baire and perfect set properties at singulars cardinals

Vincenzo Dimonte,Alejandro Poveda,Sebastiano Thei

2024-08-12

Abstract:We construct a model of ZFC with a singular cardinal $\kappa$ such that every subset of $\kappa$ in $L(V_{\kappa+1})$ has both the $\kappa$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of Solovay's result for $L(\mathbb{R})$. We obtain this configuration starting with large-cardinal assumptions in the realm of supercompactness, thus improving former theorems by Cramer, Shi and Woodin.

Logic
Elementary submodels in infinite combinatorics

Lajos Soukup

DOI: https://doi.org/10.48550/arXiv.1007.4309

2010-12-07

Abstract:The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.

Logic,Combinatorics
Descriptive properties of I2-embeddings

Vincenzo Dimonte,Martina Iannella,Philipp Lücke

2024-11-04

Abstract:We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(\lambda)$ of a singular cardinal $\lambda$ of countable cofinality or products $\prod_{i<\omega}\lambda_i$ for a strictly increasing sequence $\langle\lambda_i ~ \vert ~ i<\omega\rangle$ of cardinals. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms and classes of sets definable by $\Sigma_1$-formulas with parameters from various collections of sets. We prove that $\omega$-many measurable cardinals, while sufficient to prove the Perfect Set Property of all $\Sigma_1$-definable sets with parameters in $V_\lambda\cup\{V_\lambda\}$, are not enough to prove it if there is a cofinal sequence in $\lambda$ in the parameters. For this conclusion, the existence of an I2-embedding is enough, but there are parameters in $V_{\lambda+1}$ for which I2 is still not enough. The situation is similar for the Baire Property: under I2 all sets that are $\Sigma_1$-definable using elements of $V_\lambda$ and a cofinal sequence as parameters have the Baire property, but I2 is not enough for some parameter in $V_{\lambda+1}$. Finally, the existence of an I0-embedding implies that all sets that are $\Sigma^1_n$-definable with parameters in $V_{\lambda+1}$ have the Baire property.

Logic
The exact consistency strength of the generic absoluteness for the universally Baire sets

Grigor Sargsyan,Nam Trang

DOI: https://doi.org/10.1017/fms.2023.127

2024-01-20

Forum of Mathematics Sigma

Abstract:A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by forcing. The ( ) is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable bijections. Let be the statement that in all (set) generic extensions there is a model of whose Suslin, co-Suslin sets are the universally Baire sets. We show that over some mild large cardinal theory, is equiconsistent with . In fact, we isolate an exact large cardinal theory that is equiconsistent with both (see Definition 2.7). As a consequence, we obtain that is weaker than the theory ' there is a Woodin cardinal which is a limit of Woodin cardinals'. A variation of , called , is also shown to be equiconsistent with over the same large cardinal theory. The result is proven via Woodin's technique and is essentially the ultimate equiconsistency that can be proven via the current interpretation of as explained in the paper.

mathematics, applied

The Uniqueness Of Elementary Embeddings

No cardinal correct inner model elementarily embeds into the universe

The foundation axiom and elementary self-embeddings of the universe

Elementary submodels, coding strategies, and an infinite real number game

A note on cardinal preserving embeddings

Large cardinals, structural reflection, and the HOD Conjecture

Building models in small cardinals in local abstract elementary classes

Elementary embeddings in torsion-free hyperbolic groups

The embedding structure for linearly ordered topological spaces

Large cardinals with few measures

Critical embeddings

The consistency strength of determinacy when all sets are universally Baire

Limit models in strictly stable abstract elementary classes

The Joint Embedding Property and Maximal Models

Ketonen's question and other cardinal sins

Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis

The Baire and perfect set properties at singulars cardinals

Elementary submodels in infinite combinatorics

Descriptive properties of I2-embeddings

The exact consistency strength of the generic absoluteness for the universally Baire sets