Fraenkel-Carnap properties

DOI10.1002/MALQ.200410030MaRDI QIDQ4680376zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The Fraenkel-Carnap question for limited higher-order languages
• scientific article; zbMATH DE number 6287632
• The Fraenkel‐Carnap question for Dedekind algebras
• Fraenkel-Carnap questions for equivalence relations
• Classifying \(\aleph_0\)-categorical theories. II: The existence of finitely axiomatizable proper class II theories

Cited in

(5)

• The Fraenkel‐Carnap question for Dedekind algebras
• The Fraenkel-Carnap question for limited higher-order languages
• Second-order characterizable cardinals and ordinals
• Carnap's early metatheory: scope and limits
• Fraenkel-Carnap questions for equivalence relations

This page was built for publication: Fraenkel-Carnap properties

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