Abstract
Let elf be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(elf). We prove that for a suitable Hanf number χ0 if χ0 < λ0 ≤ λ1 and elf is categorical in λ+1 then it is categorical in λ0.
Original language | English |
---|---|
Pages (from-to) | 261-294 |
Number of pages | 34 |
Journal | Annals of Pure and Applied Logic |
Volume | 98 |
Issue number | 1-3 |
DOIs | |
State | Published - 30 Jun 1999 |
Keywords
- Abstract elementary classes
- Categoricity
- Classifying non-first order classes
- Hanf numbers