Gian Aldo Antonelli Numerical Abstraction via the Frege Quantifier. 161-179 2010 51 Notre Dame J. Formal Log. 2 https://doi.org/10.1215/00294527-2010-010 db/journals/ndjfl/ndjfl51.html#Antonelli10