Fregean Extensions of First‐Order Theories

DOI10.1002/MALQ.19940400104MaRDI QIDQ4304145zbMATH OpenOpenAlexFDO

Authors John L. Bell

Publication date 5 October 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

conservative extensionfirst-order theoriesFrege's abstraction schemeFregean extensionFregean theoryTarski's theorem on the undefinability of truth

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• On a consistent subsystem of Frege's Grundgesetze
• On the consistency of the first-order portion of Frege's logical system
• Amending Frege's \textit{Grundgesetze der Arithmetik}
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

Cited in

(14)

• On the consistency of the first-order portion of Frege's logical system
• Tarski on ``essentially richer metalanguages
• Frege, Boolos, and logical objects
• The finitistic consistency of Heck's predicative Fregean system
• Adding metatheoretic facilities to first-order theories
• Notes on models of first-order mereological theories
• Frege's unofficial arithmetic
• On translations of complete first order theories
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• Fregean Description Theory in Proof-Theoretical Setting
• What is Neologicism?
• First-order Frege theory is undecidable
• Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account
• Abstraction principles and the size of reality

This page was built for publication: Fregean Extensions of First‐Order Theories

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