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

WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI, 2002–2003 Winter Meeting of the Association for Symbolic Logic, Predicative Fragments of Frege Arithmetic, THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION, What is Neologicism?, First-order Frege theory is undecidable, Term models for abstraction principles, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, 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, The finitistic consistency of Heck's predicative Fregean system, THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’SGRUNDGESETZE DER ARITHMETIK, FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE

Cites Work

• 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
• Unnamed Item
• Unnamed Item