Constructive Reverse Mathematics

Abstract

An introduction and overview of constructive reverse mathematics.

arXiv commentversion 1.3

References in corpus (3)

• Metastable convergence theorems
• The Principle of Open Induction on Cantor space and the Approximate-Fan Theorem
• (Seemingly) Impossible Theorems in Constructive Mathematics

Cited by in corpus (3)

• Church's thesis and related axioms in Coq's type theory
• Degrees of incomputability, realizability and constructive reverse mathematics
• The Drinker Paradox and its Dual