Model theory without choice: Categoricity

by Shelah. [Sh:840]
J Symbolic Logic, 2009
The main result is L os conjecture: characterizing in ZF of countable first order T categoricity in some uncountable aleph_alpha (or every one). If there are aleph_1 real this is Morley's theorem, the ZFC one. Otherwise, we get a different theorem. The characterization (and the proof) are different.

Back to the list of publications