Sh:211
- Shelah, S. (1992). The Hanf numbers of stationary logic. II. Comparison with other logics. Notre Dame J. Formal Logic, 33(1), 1–12. arXiv: math/9201243 DOI: 10.1305/ndjfl/1093636007 MR: 1149955
-
Abstract:
We show that the ordering of the Hanf number of L_{\omega,\omega}(wo) (well ordering), L^c_{\omega,\omega} (quantification on countable sets), L_{\omega, \omega}(aa) (stationary logic) and second order logic, have no more restraints provable in ZFC than previously known (those independence proofs assume CON(ZFC) only). We also get results on corresponding logics for L_{\lambda,\mu}. - Version 1996-03-11_10 (20p) published version (12p)
Bib entry
@article{Sh:211,
author = {Shelah, Saharon},
title = {{The Hanf numbers of stationary logic. II. Comparison with other logics}},
journal = {Notre Dame J. Formal Logic},
fjournal = {Notre Dame Journal of Formal Logic},
volume = {33},
number = {1},
year = {1992},
pages = {1--12},
issn = {0029-4527},
mrnumber = {1149955},
mrclass = {03C75 (03C55 03E35)},
doi = {10.1305/ndjfl/1093636007},
note = {\href{https://arxiv.org/abs/math/9201243}{arXiv: math/9201243}},
arxiv_number = {math/9201243}
}