Constructive notions of equicontinuity

DOI10.1007/S00153-009-0131-9MaRDI QIDQ2391094zbMATH OpenOpenAlexFDO

Authors Douglas Bridges

Publication date 24 July 2009

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-009-0131-9

zbMATH Keywords

constructive mathematicsreverse mathematicsfan theoremanti-Specker propertypseudoboundedness

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Constructive and recursive analysis (03F60)

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)