Predicative foundations of arithmetic

DOI10.1007/BF01052728zbMath0816.03030MaRDI QIDQ1344849

Solomon Feferman, Geoffrey Hellman

Publication date: 22 February 1995

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

zbMATH Keywords

Peano arithmeticelementary theory of finite sets and classespredicatively acceptable axiomatization of the natural number system

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

PREDICATIVISM AS A FORM OF POTENTIALISM, The mereological foundation of megethology, Internal categoricity, truth and determinacy, VARIETIES OF CLASS-THEORETIC POTENTIALISM, Predicative logic and formal arithmetic, Predicative Fragments of Frege Arithmetic, Predicativity and Regions-Based Continua, Predicativity and Feferman, A note on finiteness in the predicative foundations of arithmetic, Structural relativity and informal rigour, Amending Frege's \textit{Grundgesetze der Arithmetik}

Cites Work

• Fragments of arithmetic
• Systems of predicative analysis
• A relative consistency proof
• Unnamed Item
• Unnamed Item
• Unnamed Item