Continuity and nondiscontinuity in constructive mathematics
From MaRDI portal
Publication:3984410
DOI10.2307/2275479zbMath0745.03048OpenAlexW2120450003MaRDI QIDQ3984410
Publication date: 27 June 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275479
sequential continuityBishop-style constructive mathematicsweak Markov principlesequential nondiscontinuity
Related Items
Brouwer's weak counterexamples and the creative subject: a critical survey, Generalized functions with pseudobounded support in constructive mathematics, Constructing local optima on a compact interval, Continuity properties of preference relations, Unique existence, approximate solutions, and countable choice., A constructive theory of point-set nearness., Ishihara's proof technique in constructive analysis, Continuity Properties of Preference Relations, Completeness: when enough is enough, Variations on a theme by Ishihara, Constructive decidability of classical continuity, The weak-operator sequential continuity of left multiplication, The anti-Specker property, positivity, and total boundedness, Glueing continuous functions constructively, On Brouwer's continuity principle, Unnamed Item, Continuity and Lipschitz constants for projections, Strong continuity implies uniform sequential continuity, On the necessity of some topological spaces, A Constructive Analysis of a Proof that the Numerical Range is Convex, Apartness spaces as a framework for constructive topology, Markov's principle, Church's thesis and Lindelöf's theorem, Bishop-Style Constructive Reverse Mathematics, Weak‐operator Continuity and the Existence of Adjoints
Cites Work
- Unnamed Item
- Linear mappings are fairly well-behaved
- Constructivism in mathematics. An introduction. Volume I
- Constructively Complete Finite Sets
- Church's thesis without tears
- Constructive continuity
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
