Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem

DOI10.1007/978-3-540-69407-6_41zbMath1143.03030OpenAlexW1567076057MaRDI QIDQ3507452

Iris Loeb

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_41

zbMATH Keywords

Constructive MathematicsReverse MathematicsIntuitionistic MathematicsCompactness PrincipleContinuity Principle

Mathematics Subject Classification ID

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

Cites Work

• Sequences of real functions on [0,1 in constructive reverse mathematics]
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Compactness under constructive scrutiny
• A Bizarre Property Equivalent to the -Fan Theorem
• Continuity properties in constructive mathematics
• Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
• The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
• New Computational Paradigms
• On Compactness in Functional Analysis
• Logical Approaches to Computational Barriers
• Unnamed Item
• Unnamed Item

This page was built for publication: Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem