The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

DOI10.1080/01445349608837265MaRDI QIDQ4344728zbMATH OpenOpenAlexWikidataFDO

Authors Richard G. jun. Heck

Publication date 20 November 1997

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://philarchive.org/rec/HECTCO-2

zbMATH Keywords

consistencyFregelogicismsecond-order logicRobinson arithmeticpredicative logics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Amending Frege's \textit{Grundgesetze der Arithmetik}
• scientific article; zbMATH DE number 2152237
• On a consistent subsystem of Frege's Grundgesetze
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze

Cites work

• scientific article; zbMATH DE number 1195925 (Why is no real title available?)
• scientific article; zbMATH DE number 1550350 (Why is no real title available?)
• Cantor's power-set theorem versus frege's double-correlation thesis
• On the consistency of the first-order portion of Frege's logical system
• The development of arithmetic in Frege'sGrundgesetze der arithmetik

Cited in

(39)

• FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
• Term models for abstraction principles
• Frege's unofficial arithmetic
• On the brink of a paradox?
• Predicative Fragments of Frege Arithmetic
• Consistency, models, and soundness
• Frege's Grundgesetze and a reassessment of predicativity
• Bad company tamed
• Introduction to the special issue on the bad company problem
• The finitistic consistency of Heck's predicative Fregean system
• Grundgesetze der Arithmetik I \S\S 29-32
• Frege's other program
• Neo-Fregeanism: an embarrassment of riches
• Zigzag and Fregean Arithmetic
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• On a consistent subsystem of Frege's Grundgesetze
• A minimal predicative set theory
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• Arithmetic and the theory of types
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• scientific article; zbMATH DE number 2152237 (Why is no real title available?)
• The convenience of the typesetter; notation and typography in Frege's \textit{Grundgesetze der Arithmetik}
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• The predicative Frege hierarchy
• Explicit abstract objects in predicative settings
• Ramified Frege arithmetic
• Amending Frege's \textit{Grundgesetze der Arithmetik}
• 2002–2003 Winter Meeting of the Association for Symbolic Logic
• On the consistency of a plural theory of Frege's \textit{Grundgesetze}
• Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
• Plural \(Grundgesetze\)
• What is Neologicism?
• The strength of abstraction with predicative comprehension
• First-order Frege theory is undecidable
• Frege's permutation argument revisited
• Frege, Boolos, and logical objects
• scientific article; zbMATH DE number 7583719 (Why is no real title available?)
• What Russell should have said to Burali-Forti

This page was built for publication: The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

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