Amending Frege's \textit{Grundgesetze der Arithmetik}
From MaRDI portal
Publication:813411
DOI10.1007/s11229-004-6204-8zbMath1085.03005MaRDI QIDQ813411
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
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
03F35: Second- and higher-order arithmetic and fragments
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item