Abstract
For a cardinal κ and a model M of cardinality κ let No(M) denote the number of nonisomorphic models of cardinality κ which are L∞,κ-equivalent to M. We prove that for κ a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality κ is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are ∑11-definable over Vκ. By [SV] it is possible to have a generic extension where the possible numbers of equivalence classes of ∑11-equivalence relations are in a prearranged set. Together these results settle the problem of the possible values of No(M) for models of weakly compact cardinality.
Original language | English |
---|---|
Pages (from-to) | 97-126 |
Number of pages | 30 |
Journal | Fundamenta Mathematicae |
Volume | 174 |
Issue number | 2 |
DOIs | |
State | Published - 2002 |
Keywords
- Infinitary logic
- Number of models