Constructive notions of equicontinuity
This paper discusses the relation between various kinds of continuity (mainly pointwise continuity, (uniform) equicontinuity and (uniform) sequential equicontinuity) within the programme of informal Constructive Reverse Mathematics. In the first part it is shown how the statement that every pointwise equicontinuous sequence is uniformly sequentially equicontinuous relates to the anti-Specker property. In the second part it is shown that the statement that every uniformly sequentially equicontinuous sequence is uniformly equicontinuous is equivalent to Ishihara's principle BD-N over Bishop's constructive mathematics. The author also relates the results to the Ascoli-Arzela theorem. It should be noted that \textit{H. Diener} and \textit{I. Loeb} [Ann. Pure Appl. Logic 157, No. 1, 50--61 (2009; Zbl 1156.03056)] also study (uniform) equicontinuity within the programme of Constructive Reverse Mathematics. Also the Ascoli-Arzela theorem is discussed in this paper, albeit in a different way.
- 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
- 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
- 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?)
- 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
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Intuitionistic sequential compactness?
- Principles weaker than BD-N
- Double sequences, almost Cauchyness and BD-N
- On the constructive notion of closure maps
- Z-stability in constructive analysis
- Constructive reverse investigations into differential equations
- The anti-Specker property, positivity, and total boundedness
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
- On the failure of BD-ℕ and BD, and an application to the anti-specker property
- Continuity, Constructibility, and Intuitivity
- Constructive equivalents of the uniform continuity theorem
- Specker sequences revisited
- The anti-Specker property, a Heine-Borel property, and uniform continuity
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)
