Intuitionistic sequential compactness?

DOI10.1016/J.INDAG.2017.10.011MaRDI QIDQ1788329zbMATH OpenOpenAlexFDO

Authors Douglas 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

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

Recommendations

• Omniscience, sequential compactness, and the anti-Specker property
• A Weak Constructive Sequential Compactness Property and the Fan Theorem
• Compactness under constructive scrutiny
• Reclassifying the antithesis of Specker's theorem
• scientific article; zbMATH DE number 1948156

Cites work

• scientific article; zbMATH DE number 5676623 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1261515 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 2183393 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• scientific article; zbMATH DE number 3073219 (Why is no real title available?)
• A continuity principle, a version of Baire's theorem and a boundedness principle
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Church's thesis without tears
• Connectivity of an Interval
• Constructive notions of equicontinuity
• Constructive reverse investigations into differential equations
• Constructivism in mathematics. An introduction. Volume I
• Continuity properties in constructive mathematics
• Continuity properties of preference relations
• Equivalents of the (weak) fan theorem
• Inheriting the anti-Specker property
• Intuitionism. An introduction. 3rd revised ed
• Intuitionistic notions of boundedness in ℕ
• Logical Approaches to Computational Barriers
• Nicht konstruktiv beweisbare Sätze der Analysis
• Omniscience, sequential compactness, and the anti-Specker property
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Principles weaker than BD-N
• Some Notes on Continuity in Constructive Analysis
• Strong continuity implies uniform sequential continuity
• Techniques of constructive analysis
• The anti-Specker property, positivity, and total boundedness
• The anti-Specker property, uniform sequential continuity, and a countable compactness property
• The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
• The uniform boundedness theorem and a boundedness principle
• Uniform continuity properties of preference relations

Cited in

(8)

• Specker sequences revisited
• Heine-Borel does not imply the Fan Theorem
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• \(Z\)-stability in constructive analysis
• Reclassifying the antithesis of Specker's theorem
• A Weak Constructive Sequential Compactness Property and the Fan Theorem
• Omniscience, sequential compactness, and the anti-Specker property
• The anti-Specker property, positivity, and total boundedness

This page was built for publication: Intuitionistic sequential compactness?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1788329)