A note on finiteness in the predicative foundations of arithmetic

DOI10.1023/A:1004377219147zbMath0920.03060MaRDI QIDQ1288136

Fernando Ferreira

Publication date: 11 May 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

predicativitypairing functionexistence and categoricity of a natural number system

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Predicative foundations of arithmetic

This page was built for publication: A note on finiteness in the predicative foundations of arithmetic