The Hanf number of stationary logic

DOI10.1305/ndjfl/1093636530zbMath0614.03034OpenAlexW2005396581MaRDI QIDQ1820151

Matt Kaufmann, Saharon Shelah

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636530

zbMATH Keywords

consistencysecond-order logicmodels of set theoryHanf numberL(aa)

Mathematics Subject Classification ID

Large cardinals (03E55) Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55)

Related Items (3)

Remarks in abstract model theory ⋮ Automorphism properties of stationary logic ⋮ Iterated elementary embeddings and the model theory of infinitary logic

This page was built for publication: The Hanf number of stationary logic