A note on the Hanf number of second-order logic

DOI10.1305/NDJFL/1093870925zbMath0644.03021OpenAlexW2074251720MaRDI QIDQ1102273

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

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

Related Items (1)

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