A note on induction, abstraction, and Dedekind-finiteness

DOI10.1215/00294527-1715680zbMATH Open1256.03063OpenAlexW2119983393MaRDI QIDQ435238FDOQ435238

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)