An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
type: Item
instance of: scholarly article
title: An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
DOI: 10.1007/978-3-031-08740-0_10
author: Makoto Fujiwara
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7627922
zbMATH Keywords: weak König's lemma
zbMATH Keywords: bounded König's lemma
zbMATH Keywords: uniqueness hypothesis
zbMATH Keywords: the decidable fan theorem
zbMATH Keywords: constructive reverse mathematics
MaRDI profile type: Publication
full work available at URL: 978-3-031-08740-0 10
OpenAlex ID: W4285252777
cites work: Brouwer's fan theorem and unique existence in constructive analysis
cites work: The binary expansion and the intermediate value theorem in constructive reverse mathematics
cites work: Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
cites work: König's lemma, weak König's lemma, and the decidable fan theorem
cites work: Q5718575
cites work: Weak König's lemma implies Brouwer's fan theorem: a direct proof
cites work: Q4981453
cites work: Q5310891
cites work: Q3395521
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume II
description: scientific article; zbMATH DE number 7627922