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

DOI10.2178/jsl/1203350793zbMath1132.03032OpenAlexW2017384344MaRDI QIDQ5444707

Douglas S. 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)

Related Items (9)

Constructive notions of equicontinuity ⋮ Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem ⋮ Bishop's Lemma ⋮ Glueing continuous functions constructively ⋮ Intuitionistic sequential compactness? ⋮ Unnamed Item ⋮ Sequences of real functions on [0,1 in constructive reverse mathematics] ⋮ Bishop-Style Constructive Reverse Mathematics

Cites Work

• Unnamed Item
• Equivalents of the (weak) fan theorem
• Techniques of constructive analysis
• Some Notes on Continuity in Constructive Analysis

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