The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem

DOI10.2178/JSL/1203350793MaRDI QIDQ5444707zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Hannes Diener

Publication date 25 February 2008

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1203350793

zbMATH Keywords

constructive mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• New Computational Paradigms
• A Constructive Uniform Continuity Theorem
• Weak König's lemma implies the uniform continuity theorem
• Constructive equivalents of the uniform continuity theorem
• On uniformly continuous functions between pseudometric spaces and the axiom of countable choice

Cites work

• Equivalents of the (weak) fan theorem
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• Some Notes on Continuity in Constructive Analysis
• Techniques of constructive analysis

Cited in

(12)

• Sequences of real functions on [0,1] in constructive reverse mathematics
• Intuitionistic sequential compactness?
• A characterization of the uniform convergence points set of some convergent sequence of functions
• Constructive notions of equicontinuity
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
• Continuity and theorem of Heine-Cantor
• Bishop-Style Constructive Reverse Mathematics
• scientific article; zbMATH DE number 7577585 (Why is no real title available?)
• Bishop's lemma
• Unified Proofs of Three Fundamental Properties of Continuous Functions
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
• Glueing continuous functions constructively

This page was built for publication: The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5444707)