Numerical abstraction via the Frege quantifier
type: Item
instance of: scholarly article
title: Numerical abstraction via the Frege quantifier
zbMATH Open document ID: 1205.03055
DOI: 10.1215/00294527-2010-010
published in: Notre Dame Journal of Formal Logic
publication date: 2010-07-20T00:00:00Z
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 5758435
zbMATH Keywords: cardinality quantifiers
zbMATH Keywords: abstraction principles
zbMATH Keywords: first-order arithmetic
zbMATH Keywords: equinumerosity
author: Gian Aldo Antonelli
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2010-010
OpenAlex ID: W2117238183
description: scientific article; zbMATH DE number 5758435