On constructive reverse mathematics:
Hannes Diener: Compactness Under Constructive Scrutiny, PhD Thesis, Univ. Canterbury (2008) [pdf]
Hannes Diener, Constructive Reverse Mathematics, Habil. thesis, Univ. Siegen (2018) [arXiv:1804.05495, dspace:ubsi/1306]
Last revised on June 18, 2026 at 14:18:08. See the history of this page for a list of all contributions to it.