Amending Frege's \textit{Grundgesetze der Arithmetik}

DOI10.1007/s11229-004-6204-8zbMath1085.03005OpenAlexW1995076153MaRDI QIDQ813411

Fernando Ferreira

Publication date: 8 February 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-004-6204-8

zbMATH Keywords

consistencyFregelogicismfinite reducibilitypredicative definitions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)

Related Items (3)

WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI ⋮ Zigzag and Fregean Arithmetic ⋮ Ramified Frege arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the consistency of the first-order portion of Frege's logical system
• Predicative foundations of arithmetic
• Finitude and Hume's principle
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• Groundwork for weak analysis
• Developing arithmetic in set theory without infinity: some historical remarks
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• On a consistent subsystem of Frege's Grundgesetze

This page was built for publication: Amending Frege's \textit{Grundgesetze der Arithmetik}