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} }