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