MODEL theory without choice? Categoricity

Saharon Shelah

doi:10.2178/jsl/1243948319

MODEL theory without choice? Categoricity

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

2 Scopus citations

Abstract

We prove Los conjecture = Morley theorem in ZF, with the same characterization, i.e., of first order countable theories categorical in Hcc for some (equivalents for every ordinal) a 0. Another central result here in this context is: the number of models of a countable first order T of cardinality N_a is either for every a or it has a small upper bound (independent of a close to

Original language	English
Pages (from-to)	361-401
Number of pages	41
Journal	Journal of Symbolic Logic
Volume	74
Issue number	2
DOIs	https://doi.org/10.2178/jsl/1243948319
State	Published - Jun 2009

Access to Document

10.2178/jsl/1243948319

Cite this

@article{fa425c16a01f4660b46af9265b2249c3,

title = "MODEL theory without choice? Categoricity",

abstract = "We prove Los conjecture = Morley theorem in ZF, with the same characterization, i.e., of first order countable theories categorical in Hcc for some (equivalents for every ordinal) a 0. Another central result here in this context is: the number of models of a countable first order T of cardinality Na is either for every a or it has a small upper bound (independent of a close to",

author = "Saharon Shelah",

year = "2009",

month = jun,

doi = "10.2178/jsl/1243948319",

language = "אנגלית",

volume = "74",

pages = "361--401",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - MODEL theory without choice? Categoricity

AU - Shelah, Saharon

PY - 2009/6

Y1 - 2009/6

N2 - We prove Los conjecture = Morley theorem in ZF, with the same characterization, i.e., of first order countable theories categorical in Hcc for some (equivalents for every ordinal) a 0. Another central result here in this context is: the number of models of a countable first order T of cardinality Na is either for every a or it has a small upper bound (independent of a close to

AB - We prove Los conjecture = Morley theorem in ZF, with the same characterization, i.e., of first order countable theories categorical in Hcc for some (equivalents for every ordinal) a 0. Another central result here in this context is: the number of models of a countable first order T of cardinality Na is either for every a or it has a small upper bound (independent of a close to

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

U2 - 10.2178/jsl/1243948319

DO - 10.2178/jsl/1243948319

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

AN - SCOPUS:67649544016

SN - 0022-4812

VL - 74

SP - 361

EP - 401

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

MODEL theory without choice? Categoricity

Abstract

Access to Document

Other files and links

Fingerprint

Cite this