Constructive notions of equicontinuity
From MaRDI portal
Publication:2391094
Recommendations
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Constructive equivalents of the uniform continuity theorem
- Uniform continuity properties of preference relations
- Continuity and nondiscontinuity in constructive mathematics
- Strong continuity implies uniform sequential continuity
Cites work
- scientific article; zbMATH DE number 1665440 (Why is no real title available?)
- scientific article; zbMATH DE number 3163006 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 2183393 (Why is no real title available?)
- A constructive look at the completeness of the space (ℝ)
- A decomposition of Brouwer's fan theorem
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Constructive set theory
- Continuity properties in constructive mathematics
- Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
- Equivalents of the (weak) fan theorem
- Nicht konstruktiv beweisbare Sätze der Analysis
- Omniscience, sequential compactness, and the anti-Specker property
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Set theoretic foundations for constructive analysis
- Strong continuity implies uniform sequential continuity
- Techniques of constructive analysis
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- The anti-Specker property, positivity, and total boundedness
- The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
Cited in
(14)- Specker sequences revisited
- On the failure of BD-ℕ and BD, and an application to the anti-specker property
- Constructive equivalents of the uniform continuity theorem
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
- \(Z\)-stability in constructive analysis
- Constructive reverse investigations into differential equations
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Intuitionistic sequential compactness?
- On the constructive notion of closure maps
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- Principles weaker than BD-N
- Continuity, Constructibility, and Intuitivity
- Double sequences, almost Cauchyness and BD-N
- The anti-Specker property, positivity, and total boundedness
This page was built for publication: Constructive notions of equicontinuity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391094)