### 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