TY  - THES
AB  - We give a comprehensive treatment of the area known as constructive reverse mathematics, which aims to classify, over intuitionistic logic, various theorems in intuitionistic, constructive recursive, and classical mathematics. Our work provides an overview of many known results, but also many new results, and new proofs of known results. We cover omniscience principles, Markov’s principle, Brouwer’s fan theorem(s), recursive principles, Ishihara’s boundedness principle BD-N, as well as minor principles, and separation techniques.
AU  - Diener, Hannes
DA  - 2018
KW  - Intuitionism
KW  - Constructive Analysis
LA  - eng
PY  - 2018
TI  - Constructive reverse mathematics : Habilitationsschrift
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:467-13064
Y2  - 2024-11-21T19:38:34
ER  -