Numerical abstraction via the Frege quantifier

DOI10.1215/00294527-2010-010zbMath1205.03055OpenAlexW2117238183MaRDI QIDQ985002

Gian Aldo Antonelli

Publication date: 20 July 2010

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

Full work available at URL: https://doi.org/10.1215/00294527-2010-010

zbMATH Keywords

first-order arithmeticcardinality quantifiersabstraction principlesequinumerosity

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Logic with extra quantifiers and operators (03C80)

Related Items (8)

2011 North American Annual Meeting of the Association for Symbolic Logic ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ A note on induction, abstraction, and Dedekind-finiteness ⋮ Mathematics, Morality, and Self‐Effacement ⋮ Semantic Nominalism: How I Learned to Stop Worrying and Love Universals ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy

This page was built for publication: Numerical abstraction via the Frege quantifier