A note on the Hanf number of second-order logic

DOI10.1305/NDJFL/1093870925zbMATH Open0644.03021OpenAlexW2074251720MaRDI QIDQ1102273FDOQ1102273

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

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

zbMATH Keywords

second order logicHanf numberKripke-Platek axioms

Mathematics Subject Classification ID

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

Cited In (10)

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

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)