The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice

From MaRDI portal

Revision as of 02:09, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5412172

Jump to:navigation, search

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

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5412172&oldid=20154275"