Frege's unofficial arithmetic

DOI10.2178/JSL/1190150304MaRDI QIDQ4451737zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

higher-order arithmeticcompleteness theorem for applied arithmeticsecond-order sentence

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3829861 (Why is no real title available?)
• scientific article; zbMATH DE number 1764654 (Why is no real title available?)
• Nominalism Through De‐Nominalization
• Where do the natural numbers come from?

Cited in

(6)

• Frege's other program
• Zigzag and Fregean Arithmetic
• What are numbers?
• The concept \textit{horse} is a concept
• A logical foundation of arithmetic
• Arithmetic with fusions

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)