Intuitionistic sequential compactness?

DOI10.1016/J.INDAG.2017.10.011zbMath1423.03252OpenAlexW2811308803MaRDI QIDQ1788329

Douglas S. Bridges

Publication date: 8 October 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2017.10.011

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Compact (locally compact) metric spaces (54E45) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• The uniform boundedness theorem and a boundedness principle
• Inheriting the anti-Specker property
• Equivalents of the (weak) fan theorem
• Techniques of constructive analysis
• Uniform continuity properties of preference relations
• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• Constructivism in mathematics. An introduction. Volume I
• Constructive notions of equicontinuity
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Intuitionism. An introduction. 3rd revised ed
• Strong continuity implies uniform sequential continuity
• Principles Weaker than BD-N
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
• Church's thesis without tears
• Omniscience, sequential compactness, and the anti-Specker property
• The anti-Specker property, uniform sequential continuity, and a countable compactness property
• http://logicandanalysis.org/index.php/jla/article/viewFile/114/41
• Continuity properties of preference relations
• The anti-Specker property, positivity, and total boundedness
• Continuity properties in constructive mathematics
• Connectivity of an Interval
• Some Notes on Continuity in Constructive Analysis
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Intuitionistic notions of boundedness in ℕ
• Nicht konstruktiv beweisbare Sätze der Analysis
• Logical Approaches to Computational Barriers

This page was built for publication: Intuitionistic sequential compactness?