Fraenkel-Carnap properties

DOI10.1002/malq.200410030zbMath1067.03014OpenAlexW2155144248MaRDI QIDQ4680376

Benjamin R. George, George E. Weaver

Publication date: 1 June 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410030

zbMATH Keywords

categoricityfinite axiomatizabilitySecond-order logic

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Categoricity and completeness of theories (03C35)

Related Items

Second-order characterizable cardinals and ordinals ⋮ Carnap's early metatheory: scope and limits

Cites Work

• Unnamed Item