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	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	Published - Jan 2024

Bibliographical note

Publisher Copyright:
© 2023 The Authors

Keywords

Elementary embeddings
Sharps
Ultrapowers

Access to Document

10.1016/j.apal.2023.103325

Cite this

@article{a8f59148dec248e9b7b732e8b91b8aca,

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 = "Publisher Copyright: {\textcopyright} 2023 The Authors",

year = "2024",

month = jan,

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

language = "אנגלית",

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

PY - 2024/1

Y1 - 2024/1

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 - ???researchoutput.researchoutputtypes.contributiontojournal.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