A note on induction, abstraction, and Dedekind-finiteness

DOI10.1215/00294527-1715680MaRDI QIDQ435238zbMATH OpenOpenAlexFDO

Authors Gian Aldo Antonelli

Publication date 11 July 2012

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1336588249

zbMATH Keywords

axiomatization of arithmeticDedekind-finitenessinduction principleneologicism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1163362
• scientific article; zbMATH DE number 4108748
• scientific article; zbMATH DE number 1870369
• Developing arithmetic in set theory without infinity: some historical remarks
• Dedekind's analysis of number: Systems and axioms

Cites work

• Notions of invariance for abstraction principles
• Numerical abstraction via the Frege quantifier
• Predicative Fragments of Frege Arithmetic

Cited in

(3)

• scientific article; zbMATH DE number 3931004 (Why is no real title available?)
• scientific article; zbMATH DE number 4166886 (Why is no real title available?)
• Semantic nominalism: how i learned to stop worrying and love universals

This page was built for publication: A note on induction, abstraction, and Dedekind-finiteness

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