Constructive Reverse Mathematics
Logic
2020-04-07 v3
Abstract
An introduction and overview of constructive reverse mathematics.
Keywords
Cite
@article{arxiv.1804.05495,
title = {Constructive Reverse Mathematics},
author = {Hannes Diener},
journal= {arXiv preprint arXiv:1804.05495},
year = {2020}
}
Comments
version 1.3