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

consistencyFregelogicismpredicative logicsRobinson arithmeticsecond-order logic

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

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

Cited in

(41)

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

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)