Ramified Frege arithmetic

DOI10.1007/s10992-010-9158-yzbMath1250.03011OpenAlexW2097441263MaRDI QIDQ766295

Richard G. jun. Heck

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

zbMATH Keywords

second-order arithmeticFrege arithmeticramified second-order logic

Mathematics Subject Classification ID

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

Related Items

FREGE MEETS BROUWER (OR HEYTING OR DUMMETT), Zigzag and Fregean Arithmetic

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