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 - http://www.scopus.com/inward/record.url?scp=67649544016&partnerID=8YFLogxK
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 -