Continuity properties in constructive mathematics
From MaRDI portal
Publication:4032642
DOI10.2307/2275292zbMath0771.03018OpenAlexW1977351216MaRDI QIDQ4032642
Publication date: 1 April 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275292
continuitysequential continuityconstructive mathematicsintuitionismconstructive recursive mathematicscomplete separable spacenondiscontinuity
Related Items
Constructive notions of equicontinuity, Generalized functions with pseudobounded support in constructive mathematics, Unnamed Item, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$, Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem, A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity, The uniform boundedness theorem and a boundedness principle, Continuity properties of preference relations, Ishihara's proof technique in constructive analysis, Continuity Properties of Preference Relations, Completeness: when enough is enough, Variations on a theme by Ishihara, The anti-Specker property, positivity, and total boundedness, Glueing continuous functions constructively, Realizability models refuting Ishihara's boundedness principle, Intuitionistic sequential compactness?, On Brouwer's continuity principle, Unnamed Item, Continuity and Lipschitz constants for projections, Intuitionistic notions of boundedness in ℕ, Strong continuity implies uniform sequential continuity, On the necessity of some topological spaces, Markov's principle, Church's thesis and Lindelöf's theorem, Bishop-Style Constructive Reverse Mathematics
Cites Work
