TY - JOUR
T1 - Stationary sets and infinitary logic
AU - Shelah, Saharon
AU - Väänänen, Jouko
PY - 2000/9
Y1 - 2000/9
N2 - 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λ.
AB - 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λ.
UR - http://www.scopus.com/inward/record.url?scp=0034259460&partnerID=8YFLogxK
U2 - 10.2307/2586701
DO - 10.2307/2586701
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0034259460
SN - 0022-4812
VL - 65
SP - 1311
EP - 1320
JO - Journal of Symbolic Logic
JF - Journal of Symbolic Logic
IS - 3
ER -