Constructive Reverse Mathematics

2018/04/16 by Diener, Hannes · 2 citations
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1804.05495

Abstract

An introduction and overview of constructive reverse mathematics.

Cited by

• Orthocomplemented subspaces and partial projections on a Hilbert space
• Coinductive well-foundedness

Related

• (Seemingly) Impossible Theorems in Constructive Mathematics
• Uniform and nonstandard existence in Reverse Mathematics
• Introduction to My Book "Essays in Constructive Mathematics"
• The Biggest Five of Reverse Mathematics
• Some nonstandard equivalences in Reverse Mathematics