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

DOI10.1080/01445349608837265zbMath0876.03032OpenAlexW1527204405WikidataQ58547531 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

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)

Related Items (26)

Frege, Boolos, and logical objects ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE ⋮ Plural \(Grundgesetze\) ⋮ Grundgesetze der Arithmetik I \S\S 29-32 ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Zigzag and Fregean Arithmetic ⋮ 2002–2003 Winter Meeting of the Association for Symbolic Logic ⋮ 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 ⋮ Predicative Fragments of Frege Arithmetic ⋮ THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’SGRUNDGESETZE DER ARITHMETIK ⋮ First-order Frege theory is undecidable ⋮ Frege’s Grundgesetze and a Reassessment of Predicativity ⋮ What is Neologicism? ⋮ Bad company tamed ⋮ Introduction to the special issue on the bad company problem ⋮ On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze ⋮ The finitistic consistency of Heck's predicative Fregean system ⋮ Amending Frege's \textit{Grundgesetze der Arithmetik} ⋮ Frege's permutation argument revisited ⋮ Term models for abstraction principles

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

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