Stationary sets and infinitary logic
From MaRDI portal
Publication:4527925
DOI10.2307/2586701zbMath0969.03050arXivmath/9706225MaRDI 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
Borel set; definability; club; stationary sets; forcing axiom; generalized Martin's axiom; Borel code; Canary trees; Cohen set; infinite quantifier languages
03E50: Continuum hypothesis and Martin's axiom
03C50: Models with special properties (saturated, rigid, etc.)
03C75: Other infinitary logic
03C55: Set-theoretic model theory
03C25: Model-theoretic forcing