On constructive reverse mathematics:
Hannes Diener, Compactness Under Constructive Scrutiny, PhD Thesis (pdf)
Hannes Diener, Constructive Reverse Mathematics, 2018 (arXiv:1804.05495, dspace:ubsi/1306)
Last revised on April 23, 2026 at 22:22:48. See the history of this page for a list of all contributions to it.