Continuity properties in constructive mathematics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1665440
- Continuity and nondiscontinuity in constructive mathematics
- What is continuity, constructively?
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Weak continuity properties in constructive analysis
Cites work
Cited in
(52)- Continuity and Lipschitz constants for projections
- Markov's principle, Church's thesis and Lindelöf's theorem
- Ishihara's proof technique in constructive analysis
- Intuitionistic sequential compactness?
- On Brouwer's continuity principle
- Completeness: when enough is enough
- On the necessity of some topological spaces
- On a continuity theorem for constructive functions
- Constructive notions of equicontinuity
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Strong continuity implies uniform sequential continuity
- Increasing, nondecreasing, and virtually continuous functions
- scientific article; zbMATH DE number 1665440 (Why is no real title available?)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
- Continuity properties of preference relations
- The anti-Specker property, positivity, and total boundedness
- A New Approach to Constructive Topology and Measure Theory
- scientific article; zbMATH DE number 4095810 (Why is no real title available?)
- Continuity and nondiscontinuity in constructive mathematics
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- The uniform boundedness theorem and a boundedness principle
- Weak continuity properties in constructive analysis
- scientific article; zbMATH DE number 1543074 (Why is no real title available?)
- scientific article; zbMATH DE number 3997783 (Why is no real title available?)
- Continuity Properties of Preference Relations
- Bishop-Style Constructive Reverse Mathematics
- Continuity, Constructibility, and Intuitivity
- scientific article; zbMATH DE number 7577585 (Why is no real title available?)
- Now f is continuous (exercise!)
- What is continuity, constructively?
- Intuitionistic notions of boundedness in ℕ
- Variations on a theme by Ishihara
- Constructive decidability of classical continuity
- scientific article; zbMATH DE number 3090158 (Why is no real title available?)
- Constructive domains with classical witnesses
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
- Constructive aspects of Riemann's permutation theorem for series
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
- Maps for learning indexable classes
- On the necessity of some topological spaces
- Realizability models refuting Ishihara's boundedness principle
- Generalized functions with pseudobounded support in constructive mathematics
- Glueing continuous functions constructively
This page was built for publication: Continuity properties in constructive mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032642)
