Funder
German Research Foundation
Publisher
Oxford University Press (OUP)
Subject
Philosophy,General Mathematics
Reference11 articles.
1. Constructive mathematics;Bridges,;Stanford Encyclopedia of Philosophy,2016
2. The prehistory of the subsystems of second-order arithmetic;Dean,;Review of Symbolic Logic,2017
3. Set existence principles and closure conditions: Unravelling the standard view of reverse mathematics;Eastaugh,;Philosophia Mathematica,2019
4. Some systems of second order arithmetic and their use;Friedman,,1975
5. Fixed point theorems in constructive mathematics;Hendtlass,;Journal of Logic and Analysis,2012