The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
From MaRDI portal
Publication:5412172
DOI10.4467/20842589RM.12.003.0684zbMath1325.03076OpenAlexW1553388078MaRDI QIDQ5412172
Hajime Ishihara, Josef Berger, Peter M. Schuster
Publication date: 25 April 2014
Full work available at URL: https://dblp.uni-trier.de/db/journals/rml/rml47.html#BergerIS12
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (4)
Unnamed Item ⋮ The binary expansion and the intermediate value theorem in constructive reverse mathematics ⋮ Point-Free Spectra of Linear Spreads ⋮ Parallelizations in Weihrauch reducibility and constructive reverse mathematics
This page was built for publication: The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
