scientific article; zbMATH DE number 3924774

MaRDI QIDQ3699688zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1984

zbMATH Keywords

axioms for set existenceclassical logiccombinatory logicdifferential equations with non- computable solutionsformalization of Bishop's constructive mathematicsformalization of constructive aspects of mathematicsrecursive rulesrulessets

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)

Recommendations

• To be or not to be constructive, that is not the question
• Constructive Mathematics in Theory and Programming Practice
• Differential equations in constructive analysis and in the recursive realizability topos
• Constructive theory of sets with types; compatibility with Church's thesis
• Truth, proof and infinity. A theory of constructions and constructive reasoning

Cited in

(5)

• Monotone inductive definitions in a constructive theory of functions and classes
• A theory of rules for enumerated classes of functions
• Starting the Dismantling of Classical Mathematics
• Linearity and Reflexivity in the Growth of Mathematical Knowledge
• Intensionality in mathematics

This page was built for publication:

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