Abstract
We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in Lκ*,ω is μ-categorical for every μ ≤ λ which is above the (2LS(T))+-beth cardinal.
Original language | English |
---|---|
Pages (from-to) | 165-196 |
Number of pages | 32 |
Journal | Fundamenta Mathematicae |
Volume | 170 |
Issue number | 1-2 |
DOIs | |
State | Published - 2001 |
Keywords
- Categoricity
- Classification theory
- Infinitary logics
- Limit ultrapower
- Measurable cardinal
- Model theory
- ŁOś theorem