Stationary sets and infinitary logic

DOI10.2307/2586701zbMath0969.03050arXivmath/9706225OpenAlexW2151352882MaRDI QIDQ4527925

Saharon Shelah, Jouko Väänänen

Publication date: 3 May 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9706225

zbMATH Keywords

Borel setdefinabilityclubstationary setsforcing axiomgeneralized Martin's axiomBorel codeCanary treesCohen setinfinite quantifier languages

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Models with special properties (saturated, rigid, etc.) (03C50) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Model-theoretic forcing (03C25)

Related Items (4)

Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ On the complexity of classes of uncountable structures: trees on $\aleph _1$ ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ The Craig interpolation theorem in abstract model theory

This page was built for publication: Stationary sets and infinitary logic