On Brouwer's continuity principle
type: Item
instance of: scholarly article
title: On Brouwer's continuity principle
zbMATH Open document ID: 1437.03175
author: Hajime Ishihara
published in: Indagationes Mathematicae. New Series
publication date: 2018-10-08T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 6948555
zbMATH Keywords: Brouwer's continuity principle
zbMATH Keywords: comprehension
zbMATH Keywords: weak Markov's principle
zbMATH Keywords: boundedness principle
MaRDI profile type: Publication
full work available at URL: j.indag.2018.01.012
OpenAlex ID: W2810055081
cites work: Q5591514
cites work: Q3803111
cites work: Q3754620
cites work: Techniques of constructive analysis
cites work: Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
cites work: Some principles weaker than Markov's principle
cites work: On effectively discontinuous type-2 objects
cites work: Q5286672
cites work: Continuity and nondiscontinuity in constructive mathematics
cites work: Continuity properties in constructive mathematics
cites work: Markov's principle, Church's thesis and Lindelöf's theorem
cites work: Q5718575
cites work: The uniform boundedness theorem and a boundedness principle
cites work: A constructive look at the completeness of the space (ℝ)
cites work: On Weak Markov's Principle
cites work: Q5711891
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: Realizability models refuting Ishihara's boundedness principle
cites work: Constructive continuity
cites work: Constructively Complete Finite Sets
cites work: Q3325707
cites work: Q4220572
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Constructivism in mathematics. An introduction. Volume II
Wikidata QID: Q129646156
DOI: 10.1016/J.INDAG.2018.01.012
description: scientific article; zbMATH DE number 6948555