Fraenkel-Carnap properties

DOI10.1002/MALQ.200410030zbMATH Open1067.03014OpenAlexW2155144248MaRDI QIDQ4680376FDOQ4680376

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

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

zbMATH Keywords

categoricityfinite axiomatizabilitySecond-order logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

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)