- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Vision – ECCV 2022 : 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part IX
An Extension of the Equivalence Between Brouwer’s Fan Theorem and Weak König’s Lemma with a Uniqueness Hypothesis
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references8
- Record: found
- Abstract: not found
- Book: not found
Subsystems of Second Order Arithmetic
Stephen Simpson (2009)
- Record: found
- Abstract: not found
- Book: not found
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
A. S. Troelstra (1973)
- Record: found
- Abstract: not found
- Article: not found
Brouwer's fan theorem and unique existence in constructive analysis
Hajime Ishihara, Josef Berger (2005)
