Frege's unofficial arithmetic

DOI10.2178/JSL/1190150304zbMATH Open1041.03046OpenAlexW2082688019MaRDI QIDQ4451737FDOQ4451737

Authors: Agustín Rayo 

Publication date: 1 March 2004

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/217d1836aa331dc5d7c9d3ce6459dc7293ff6e69

Recommendations

• Ramified Frege arithmetic
• Predicative Fragments of Frege Arithmetic
• Fregean Extensions of First‐Order Theories
• Amending Frege's \textit{Grundgesetze der Arithmetik}
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

zbMATH Keywords

higher-order arithmeticcompleteness theorem for applied arithmeticsecond-order sentence

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Nominalism Through De‐Nominalization
• Where do the natural numbers come from?

Cited In (5)

• THE CONCEPTHORSEIS A CONCEPT
• Zigzag and Fregean Arithmetic
• Frege's other program
• What are numbers?
• A logical foundation of arithmetic

This page was built for publication: Frege's unofficial arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451737)