Categoricity of theories in Lκ*,ω, when κ* is a measurable cardinal. Part 2

Saharon Shelah

doi:10.4064/fm170-1-10

Categoricity of theories in L_κ,ω, when κ is a measurable cardinal. Part 2

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

6 Scopus citations

Abstract

We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in L_κ*,ω is μ-categorical for every μ ≤ λ which is above the (2^LS(T))⁺-beth cardinal.

Original language	English
Pages (from-to)	165-196
Number of pages	32
Journal	Fundamenta Mathematicae
Volume	170
Issue number	1-2
DOIs	https://doi.org/10.4064/fm170-1-10
State	Published - 2001

Keywords

Categoricity
Classification theory
Infinitary logics
Limit ultrapower
Measurable cardinal
Model theory
ŁOś theorem

Access to Document

10.4064/fm170-1-10

Cite this

@article{f40af0f324874536b739cc211538f337,

title = "Categoricity of theories in Lκ*,ω, when κ* is a measurable cardinal. Part 2",

abstract = "We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in Lκ*,ω is μ-categorical for every μ ≤ λ which is above the (2LS(T))+-beth cardinal.",

keywords = "Categoricity, Classification theory, Infinitary logics, Limit ultrapower, Measurable cardinal, Model theory, {\L}O{\'s} theorem",

author = "Saharon Shelah",

year = "2001",

doi = "10.4064/fm170-1-10",

language = "אנגלית",

volume = "170",

pages = "165--196",

journal = "Fundamenta Mathematicae",

issn = "0016-2736",

publisher = "Institute of Mathematics, Polish Academy of Sciences",

number = "1-2",

}

TY - JOUR

T1 - Categoricity of theories in Lκ*,ω, when κ* is a measurable cardinal. Part 2

AU - Shelah, Saharon

PY - 2001

Y1 - 2001

N2 - We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in Lκ*,ω is μ-categorical for every μ ≤ λ which is above the (2LS(T))+-beth cardinal.

AB - We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in Lκ*,ω is μ-categorical for every μ ≤ λ which is above the (2LS(T))+-beth cardinal.

KW - Categoricity

KW - Classification theory

KW - Infinitary logics

KW - Limit ultrapower

KW - Measurable cardinal

KW - Model theory

KW - ŁOś theorem

UR - https://www.scopus.com/pages/publications/0039296113

U2 - 10.4064/fm170-1-10

DO - 10.4064/fm170-1-10

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

AN - SCOPUS:0039296113

SN - 0016-2736

VL - 170

SP - 165

EP - 196

JO - Fundamenta Mathematicae

JF - Fundamenta Mathematicae

IS - 1-2

ER -

Categoricity of theories in L_κ,ω, when κ is a measurable cardinal. Part 2

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this