Ramified Frege arithmetic
From MaRDI portal
Publication:766295
DOI10.1007/s10992-010-9158-yzbMath1250.03011OpenAlexW2097441263MaRDI QIDQ766295
Publication date: 23 March 2012
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-010-9158-y
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Cites Work
- Amending Frege's \textit{Grundgesetze der Arithmetik}
- Finitude and Hume's principle
- Cardinality, counting, and equinumerosity
- The development of arithmetic in Frege'sGrundgesetze der arithmetik
- Predicative Fragments of Frege Arithmetic
- On a consistent subsystem of Frege's Grundgesetze
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item