Abstract
Let K0λ be the class of structures (λ, <, A), where A ⊆ λ is disjoint from a club, and let K1λ be the class of structures (λ, <, A), where A ⊆ λ contains a club. We prove that if λ = λ <κ is regular, then no sentence of Lλ+κ separates K0λ and K1λ. On the other hand, we prove that if λ = μ+, μ = μ<μ, and a forcing axiom holds (and אL1 = א1 if μ = א0), then there is a sentence of Lλλ which separates K0λ and K1λ.
| Original language | English |
|---|---|
| Pages (from-to) | 1311-1320 |
| Number of pages | 10 |
| Journal | Journal of Symbolic Logic |
| Volume | 65 |
| Issue number | 3 |
| DOIs | |
| State | Published - Sep 2000 |
Fingerprint
Dive into the research topics of 'Stationary sets and infinitary logic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver