A note on the Hanf number of second-order logic

DOI10.1305/NDJFL/1093870925MaRDI QIDQ1102273zbMATH OpenOpenAlexFDO

Authors Matt Kaufmann

Publication date 1985

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

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

zbMATH Keywords

second order logicHanf numberKripke-Platek axioms

Mathematics Subject Classification ID

Abstract model theory (03C95) Second- and higher-order model theory (03C85)

Recommendations

• The Hanf number of stationary logic
• The Hanf numbers of stationary logic. II: Comparison with other logics
• Second-order quantifiers and the complexity of theories
• A Hanf number for saturation and omission
• Hanf number for Scott sentences of computable structures

Cited in

(10)

• Pricing decisions of a two-echelon supply chain in fuzzy environment
• On ordinals accessible by infinitary languages
• The Hanf number of stationary logic
• Abstract logic and set theory. II. Large cardinals
• Boolean-valued second-order logic
• The Hanf numbers of stationary logic. II: Comparison with other logics
• A Hanf number for saturation and omission: the superstable case
• Hanf number for Scott sentences of computable structures
• On equivalence relations second order definable over H(κ)
• A Hanf number for saturation and omission

This page was built for publication: A note on the Hanf number of second-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102273)