A note on induction, abstraction, and Dedekind-finiteness

DOI10.1215/00294527-1715680zbMath1256.03063OpenAlexW2119983393MaRDI QIDQ435238

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

induction principleaxiomatization of arithmeticDedekind-finitenessneologicism

Mathematics Subject Classification ID

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

Related Items (1)

Semantic Nominalism: How I Learned to Stop Worrying and Love Universals

Cites Work

• Numerical abstraction via the Frege quantifier
• Notions of Invariance for Abstraction Principles
• Predicative Fragments of Frege Arithmetic

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