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