The Hanf numbers of stationary logic. II: Comparison with other logics
From MaRDI portal
Publication:1187533
DOI10.1305/ndjfl/1093636007zbMath0755.03021arXivmath/9201243MaRDI QIDQ1187533
Publication date: 22 July 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9201243
independence; ZFC; second-order logic; well ordering; stationary logic; Hanf number; quantification on countable sets
03E35: Consistency and independence results
03C80: Logic with extra quantifiers and operators
03C55: Set-theoretic model theory