Intuitionistic sequential compactness?
From MaRDI portal
Recommendations
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)