Mutually embeddable models of ZFC

Monroe Eskew; Sy David Friedman; Yair Hayut; Farmer Schlutzenberg

doi:10.1016/j.apal.2023.103325

Mutually embeddable models of ZFC

Monroe Eskew^*, Sy David Friedman, Yair Hayut, Farmer Schlutzenberg

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.

Original language	American English
Article number	103325
Pages (from-to)	1-16
Number of pages	16
Journal	Annals of Pure and Applied Logic
Volume	175
Issue number	Issue 1, Part B
DOIs	https://doi.org/10.1016/j.apal.2023.103325
State	Accepted/In press - 2023

Bibliographical note

Funding Information:
The third author's research was partially supported by the FWF Lise Meitner Grant ( 2650-N35 ).

Funding Information:
The fourth author was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy EXC 2044–390685587 , Mathematics Münster: Dynamics–Geometry–Structure.

Funding Information:
The first two authors would like to acknowledge the support of the Austrian Science Fund (FWF) through Project P28420 .

Publisher Copyright:
© 2023 The Authors

Keywords

Elementary embeddings
Sharps
Ultrapowers

Access to Document

10.1016/j.apal.2023.103325

Cite this

@article{a8a3535c265e4a6984c312ad2b933d74,

title = "Mutually embeddable models of ZFC",

abstract = "We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.",

keywords = "Elementary embeddings, Sharps, Ultrapowers",

author = "Monroe Eskew and Friedman, {Sy David} and Yair Hayut and Farmer Schlutzenberg",

note = "Funding Information: The third author's research was partially supported by the FWF Lise Meitner Grant ( 2650-N35 ). Funding Information: The fourth author was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy EXC 2044–390685587 , Mathematics M{\"u}nster: Dynamics–Geometry–Structure. Funding Information: The first two authors would like to acknowledge the support of the Austrian Science Fund (FWF) through Project P28420 . Publisher Copyright: {\textcopyright} 2023 The Authors",

year = "2023",

doi = "10.1016/j.apal.2023.103325",

language = "American English",

volume = "175",

pages = "1--16",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "Issue 1, Part B",

}

TY - JOUR

T1 - Mutually embeddable models of ZFC

AU - Eskew, Monroe

AU - Friedman, Sy David

AU - Hayut, Yair

AU - Schlutzenberg, Farmer

N1 - Funding Information: The third author's research was partially supported by the FWF Lise Meitner Grant ( 2650-N35 ). Funding Information: The fourth author was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy EXC 2044–390685587 , Mathematics Münster: Dynamics–Geometry–Structure. Funding Information: The first two authors would like to acknowledge the support of the Austrian Science Fund (FWF) through Project P28420 . Publisher Copyright: © 2023 The Authors

PY - 2023

Y1 - 2023

N2 - We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.

AB - We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.

KW - Elementary embeddings

KW - Sharps

KW - Ultrapowers

UR - http://www.scopus.com/inward/record.url?scp=85168376387&partnerID=8YFLogxK

U2 - 10.1016/j.apal.2023.103325

DO - 10.1016/j.apal.2023.103325

M3 - Article

AN - SCOPUS:85168376387

SN - 0168-0072

VL - 175

SP - 1

EP - 16

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - Issue 1, Part B

M1 - 103325

ER -

Mutually embeddable models of ZFC

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this