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

DOI10.1080/01445349608837265zbMath0876.03032WikidataQ58547531 ScholiaQ58547531MaRDI QIDQ4344728

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

consistency; Frege; logicism; second-order logic; Robinson arithmetic; predicative logics

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03-03: History of mathematical logic and foundations

03F35: Second- and higher-order arithmetic and fragments

Related Items

2002–2003 Winter Meeting of the Association for Symbolic Logic, Predicative Fragments of Frege Arithmetic, What is Neologicism?, First-order Frege theory is undecidable, Comparing Peano arithmetic, Basic Law V, and Hume's Principle, On the consistency of a plural theory of Frege's \textit{Grundgesetze}, Consistency, models, and soundness, Frege's other program, Neo-Fregeanism: an embarrassment of riches, Plural \(Grundgesetze\), Amending Frege's \textit{Grundgesetze der Arithmetik}, Frege's permutation argument revisited, Bad company tamed, Introduction to the special issue on the bad company problem, Grundgesetze der Arithmetik I \S\S 29-32, On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze, Frege, Boolos, and logical objects

Cites Work

• Unnamed Item
• Unnamed Item
• On the consistency of the first-order portion of Frege's logical system
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Cantor's power-set theorem versus frege's double-correlation thesis