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

Saharon Shelah; Oren Kolman

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

Saharon Shelah^*
, Oren Kolman

^*Corresponding author for this work

Einstein Institute of Mathematics

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

27 Scopus citations

Abstract

We assume a theory T in the logic L_κω is categorical in a cardinal λ ≥ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ \T\ + κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.

Original language	English
Pages (from-to)	209-240
Number of pages	32
Journal	Fundamenta Mathematicae
Volume	151
Issue number	3
State	Published - 1996

Cite this

@article{c3ab6be2193a4048ada0254a5dc063b0,

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

abstract = "We assume a theory T in the logic Lκω is categorical in a cardinal λ ≥ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ \textbackslash{}T\textbackslash{} + κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.",

author = "Saharon Shelah and Oren Kolman",

year = "1996",

language = "אנגלית",

volume = "151",

pages = "209--240",

journal = "Fundamenta Mathematicae",

issn = "0016-2736",

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

number = "3",

}

TY - JOUR

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

AU - Shelah, Saharon

AU - Kolman, Oren

PY - 1996

Y1 - 1996

N2 - We assume a theory T in the logic Lκω is categorical in a cardinal λ ≥ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ \T\ + κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.

AB - We assume a theory T in the logic Lκω is categorical in a cardinal λ ≥ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ \T\ + κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.

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

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

AN - SCOPUS:0002075144

SN - 0016-2736

VL - 151

SP - 209

EP - 240

JO - Fundamenta Mathematicae

JF - Fundamenta Mathematicae

IS - 3

ER -

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

Abstract

Other files and links

Fingerprint

Cite this