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

DOI10.1080/01445349608837265zbMATH Open0876.03032OpenAlexW1527204405WikidataQ58547531 ScholiaQ58547531MaRDI QIDQ4344728FDOQ4344728

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

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

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)

Cites Work

• On the consistency of the first-order portion of Frege's logical system
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Title not available (Why is that?)
• Cantor's power-set theorem versus frege's double-correlation thesis
• Title not available (Why is that?)

Cited In (39)

• FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
• Frege's unofficial arithmetic
• Term models for abstraction principles
• On the brink of a paradox?
• Predicative Fragments of Frege Arithmetic
• Frege's Grundgesetze and a reassessment of predicativity
• Consistency, models, and soundness
• Bad company tamed
• Introduction to the special issue on the bad company problem
• The finitistic consistency of Heck's predicative Fregean system
• Title not available (Why is that?)
• Zigzag and Fregean Arithmetic
• On a consistent subsystem of Frege's Grundgesetze
• Grundgesetze der Arithmetik I \S\S 29-32
• Frege's other program
• Neo-Fregeanism: an embarrassment of riches
• A minimal predicative set theory
• Arithmetic and the theory of types
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• Title not available (Why is that?)
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• 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
• What is Neologicism?
• 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\)
• The strength of abstraction with predicative comprehension
• First-order Frege theory is undecidable
• Title not available (Why is that?)
• What Russell should have said to Burali-Forti
• Frege, Boolos, and logical objects
• 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)