Challenges to predicative foundations of arithmetic

MaRDI QIDQ2755496zbMATH OpenFDO

Authors Solomon Feferman, Geoffrey Hellman

Publication date 29 August 2002

zbMATH Keywords

predicative foundations of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Review text

The paper is a sequel to the authors' article ``Predicative foundations of arithmetic [J. Philos. Log. 24, 1-17 (1995; Zbl 0816.03030)] (PFA). It is reviewed and clarified what was accomplished in PFA. The paper deals also with the challenges of Parsons, Isaacson, George and Velleman.NEWLINENEWLINEFor the entire collection see [Zbl 0961.00010].

Recommendations

• Predicative foundations of arithmetic
• Predicate Logics of Constructive Arithmetical Theories
• scientific article; zbMATH DE number 3957097
• A note on finiteness in the predicative foundations of arithmetic
• Predicative logic and formal arithmetic
• Predicativity and constructive mathematics
• scientific article; zbMATH DE number 1567841
• scientific article; zbMATH DE number 47249
• Arithmetic complexity of the predicate logics of certain complete arithmetic theories
• scientific article; zbMATH DE number 956480

Cited in

(8)

• A note on finiteness in the predicative foundations of arithmetic
• Predicative foundations of arithmetic
• Structural relativity and informal rigour
• Predicativity and constructive mathematics
• Predicativity and regions-based continua
• PREDICATIVISM AS A FORM OF POTENTIALISM
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Predicativity and structuralism in Dedekind's construction of the reals

This page was built for publication: Challenges to predicative foundations of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2755496)