TY - JOUR
T1 - The Hanf numbers of stationary logic II
T2 - Comparison with other logics
AU - Shelah, Saharon
PY - 1992
Y1 - 1992
N2 - We show the ordering of the Hanf number of ℒω,ω(wo) (well ordering) ℒcω,ω (quantification on countable sets), ℒω,ω(aa) (stationary logic), and second-order logic has no more restraints provable in ZFC than previously known (those independence proofs assume CON (ZFC only). We also get results on corresponding logics for ℒλ, μ.
AB - We show the ordering of the Hanf number of ℒω,ω(wo) (well ordering) ℒcω,ω (quantification on countable sets), ℒω,ω(aa) (stationary logic), and second-order logic has no more restraints provable in ZFC than previously known (those independence proofs assume CON (ZFC only). We also get results on corresponding logics for ℒλ, μ.
UR - http://www.scopus.com/inward/record.url?scp=84972528269&partnerID=8YFLogxK
U2 - 10.1305/ndjfl/1093636007
DO - 10.1305/ndjfl/1093636007
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84972528269
SN - 0029-4527
VL - 33
SP - 1
EP - 12
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 1
ER -