Stationary sets and infinitary logic

Saharon Shelah, Jouko Väänänen

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

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 languageEnglish
Pages (from-to)1311-1320
Number of pages10
JournalJournal of Symbolic Logic
Volume65
Issue number3
DOIs
StatePublished - Sep 2000

Fingerprint

Dive into the research topics of 'Stationary sets and infinitary logic'. Together they form a unique fingerprint.

Cite this