No CrossRef data available.
Article contents
Model theory without choice? Categoricity
Published online by Cambridge University Press: 12 March 2014
Abstract
We prove Los conjecture = Morley theorem in ZF. with the same characterization, i.e., of first order countable theories categorical in ℵα for some (eqiuvalently for every ordinal) α > 0. Another central result here in this context is: the number of models of a countable first order T of cardinality ℵα is either ≥ ∣α∣ for every α or it has a small upper bound (independent of α close to ⊐2).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009