A Constructive Uniform Continuity Theorem
From MaRDI portal
Recommendations
- Strong and Uniform Continuity – the Uniform Space Case
- Sequential, pointwise, and uniform continuity: A constructive note
- Logical Approaches to Computational Barriers
- Constructive equivalents of the uniform continuity theorem
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
Cited in
(19)- Uniform continuity properties of preference relations
- Unique existence, approximate solutions, and countable choice.
- Completeness: when enough is enough
- Strong continuity implies uniform sequential continuity
- Weak König's lemma implies the uniform continuity theorem
- Constructive reverse investigations into differential equations
- Constructive continuity
- scientific article; zbMATH DE number 4002092 (Why is no real title available?)
- Sequential, pointwise, and uniform continuity: A constructive note
- scientific article; zbMATH DE number 735431 (Why is no real title available?)
- scientific article; zbMATH DE number 4116852 (Why is no real title available?)
- Strong and Uniform Continuity – the Uniform Space Case
- scientific article; zbMATH DE number 5198154 (Why is no real title available?)
- What is continuity, constructively?
- Formal continuity implies uniform continuity near compact images on metric spaces
- The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
- New Computational Paradigms
- Constructive decidability of classical continuity
- Logical Approaches to Computational Barriers
This page was built for publication: A Constructive Uniform Continuity Theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3148703)
