Maximal models up to the first measurable in ZFC

John T. Baldwin; Saharon Shelah

doi:10.1142/S0219061322500118

Maximal models up to the first measurable in ZFC

John T. Baldwin, Saharon Shelah

Einstein Institute of Mathematics

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

Abstract

Theorem: There is a complete sentence φ of Lω₁,ω such that φ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while φ has no maximal models in any χ ≥ μ.

Original language	English
Article number	2250011
Journal	Journal of Mathematical Logic
Volume	24
Issue number	1
DOIs	https://doi.org/10.1142/S0219061322500118
State	Published - 1 Apr 2024

Bibliographical note

Publisher Copyright:
© World Scientific Publishing Company.

Keywords

Hanf number
Lω,ω
measurable cardinal

Access to Document

10.1142/S0219061322500118

Cite this

@article{260d6f86889e48438103595edb8ec7e8,

title = "Maximal models up to the first measurable in ZFC",

abstract = "Theorem: There is a complete sentence φ of Lω1,ω such that φ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while φ has no maximal models in any χ ≥ μ.",

keywords = "Hanf number, Lω,ω, measurable cardinal",

author = "Baldwin, {John T.} and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} World Scientific Publishing Company.",

year = "2024",

month = apr,

day = "1",

doi = "10.1142/S0219061322500118",

language = "אנגלית",

volume = "24",

journal = "Journal of Mathematical Logic",

issn = "0219-0613",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "1",

}

TY - JOUR

T1 - Maximal models up to the first measurable in ZFC

AU - Baldwin, John T.

AU - Shelah, Saharon

N1 - Publisher Copyright: © World Scientific Publishing Company.

PY - 2024/4/1

Y1 - 2024/4/1

N2 - Theorem: There is a complete sentence φ of Lω1,ω such that φ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while φ has no maximal models in any χ ≥ μ.

AB - Theorem: There is a complete sentence φ of Lω1,ω such that φ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while φ has no maximal models in any χ ≥ μ.

KW - Hanf number

KW - Lω,ω

KW - measurable cardinal

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

U2 - 10.1142/S0219061322500118

DO - 10.1142/S0219061322500118

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85162794520

SN - 0219-0613

VL - 24

JO - Journal of Mathematical Logic

JF - Journal of Mathematical Logic

IS - 1

M1 - 2250011

ER -

Maximal models up to the first measurable in ZFC

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this