Constructive notions of equicontinuity

DOI10.1007/S00153-009-0131-9zbMATH Open1173.03047OpenAlexW1978174826MaRDI QIDQ2391094FDOQ2391094

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

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

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)

Cites Work

• Set theoretic foundations for constructive analysis
• Title not available (Why is that?)
• Techniques of constructive analysis
• Title not available (Why is that?)
• Constructive set theory
• A decomposition of Brouwer's fan theorem
• Nicht konstruktiv beweisbare Sätze der Analysis
• Equivalents of the (weak) fan theorem
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Strong continuity implies uniform sequential continuity
• Continuity properties in constructive mathematics
• Title not available (Why is that?)
• A constructive look at the completeness of the space (ℝ)
• Title not available (Why is that?)
• Sequences of real functions on [0,1] in constructive reverse mathematics
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
• Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
• Omniscience, sequential compactness, and the anti-Specker property
• The anti-Specker property, positivity, and total boundedness

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)