Intuitionistic sequential compactness?
type: Item
instance of: scholarly article
title: Intuitionistic sequential compactness?
zbMATH Open document ID: 1423.03252
author: Douglas Bridges
published in: Indagationes Mathematicae. New Series
publication date: 2018-10-08T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 54E45
zbMATH DE Number: 6948553
MaRDI profile type: Publication
full work available at URL: j.indag.2017.10.011
OpenAlex ID: W2811308803
cites work: Continuity properties of preference relations
cites work: Q3679172
cites work: Logical Approaches to Computational Barriers
cites work: A fan-theoretic equivalent of the antithesis of Specker's theorem
cites work: Q3407137
cites work: Q5573965
cites work: Q3803111
cites work: Some Notes on Continuity in Constructive Analysis
cites work: Uniform continuity properties of preference relations
cites work: Constructive notions of equicontinuity
cites work: Inheriting the anti-Specker property
cites work: Omniscience, sequential compactness, and the anti-Specker property
cites work: The anti-Specker property, uniform sequential continuity, and a countable compactness property
cites work: The anti-Specker property, positivity, and total boundedness
cites work: The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
cites work: Strong continuity implies uniform sequential continuity
cites work: Q3754620
cites work: Techniques of constructive analysis
cites work: Q5812344
cites work: Q3145965
cites work: Q4492739
cites work: Intuitionism. An introduction. 3rd revised ed
cites work: Continuity properties in constructive mathematics
cites work: Q5718575
cites work: The uniform boundedness theorem and a boundedness principle
cites work: A continuity principle, a version of Baire's theorem and a boundedness principle
cites work: A uniformly continuous function on [0,1] that is everywhere different from its infimum
cites work: Q4681810
cites work: Equivalents of the (weak) fan theorem
cites work: On the failure of BD-ℕ and BD, and an application to the anti-specker property
cites work: Principles weaker than BD-N
cites work: SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
cites work: Connectivity of an Interval
cites work: Q5181669
cites work: Church's thesis without tears
cites work: Intuitionistic notions of boundedness in ℕ
cites work: Nicht konstruktiv beweisbare Sätze der Analysis
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Q4231666
cites work: Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
DOI: 10.1016/J.INDAG.2017.10.011
description: scientific article; zbMATH DE number 6948553