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

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
Journal	Annals of Pure and Applied Logic
Volume	175
Issue number	1
DOIs	https://doi.org/10.1016/j.apal.2023.103325
State	Accepted/In press - 2023
Externally published	Yes

Keywords

Elementary embeddings
Sharps
Ultrapowers

Access to Document

10.1016/j.apal.2023.103325

Cite this

@article{77abe2148b6244b1a7b8eaa503a08982,

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 = "2023",

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

language = "אנגלית",

volume = "175",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Mutually embeddable models of ZFC

AU - Eskew, Monroe

AU - Friedman, Sy David

AU - Hayut, Yair

AU - Schlutzenberg, Farmer

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

AN - SCOPUS:85168376387

SN - 0168-0072

VL - 175

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

M1 - 103325

ER -

Mutually embeddable models of ZFC

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this