scientific article; zbMATH DE number 4002093
From MaRDI portal
Publication:3754620
Bishop's constructive mathematicsintuitionismconstructive algebraconstructive analysisintuitionistic mathematicsMarkov's algorithmic mathematics
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65) Commutative Noetherian rings and modules (13E05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55) Constructive functional analysis (46S30) Miscellaneous topics in real functions (26E99)
Recommendations
Cited in
(only showing first 100 items - show all)- A footnote to ``The crisis in contemporary mathematics
- Variations on a theme by Ishihara
- Constructive Existence of Minkowski Functionals
- Algebras of complemented subsets
- Exercising Nuprl's open-endedness
- On some semi-constructive theories related to Kripke-Platek set theory
- Functions of Baire class one over a Bishop topology
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- scientific article; zbMATH DE number 7471696 (Why is no real title available?)
- Direct spectra of Bishop spaces and their limits
- Countable sets versus sets that are countable in reverse mathematics
- Constructing the infimum of two projections
- Constructive mathematics, Church's thesis, and free choice sequences
- Formally computing with the non-computable
- Betwixt Turing and Kleene
- Reverse formalism 16
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- Closed subsets in Bishop topological groups
- scientific article; zbMATH DE number 7561488 (Why is no real title available?)
- Extensional constructive real analysis via locators
- Bi-immunity over different size alphabets
- Predicativity and constructive mathematics
- The effects of effects on constructivism
- Between Turing and Kleene
- Parametric Church's thesis: synthetic computability without choice
- Ordering groups constructively
- To be or not to be constructive, that is not the question
- Markov's principle and subsystems of intuitionistic analysis
- Generalized geometric theories and set-generated classes
- Constructive Reflexivity of a Uniformly Convex Banach Space
- Type-theoretic approaches to ordinals
- Inverse semigroups with apartness
- Proof-relevance in Bishop-style constructive mathematics
- The Urysohn extension theorem for Bishop spaces
- scientific article; zbMATH DE number 7168154 (Why is no real title available?)
- The weak-operator sequential continuity of left multiplication
- Applying mathematics to empirical sciences: flashback to a puzzling disciplinary interaction
- The Hahn-Banach theorem by disjunction elimination
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- Constructibility of the universal wave function
- Reclassifying the antithesis of Specker's theorem
- Differentiating convex functions constructively
- Nets and reverse mathematics
- A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
- Intuitionism: an inspiration?
- Intuitionistic sequential compactness?
- Constructing extensions of ultraweakly continuous linear functionals
- McShane-Whitney pairs
- Characterising Brouwer's continuity by bar recursion on moduli of continuity
- Constructive uniformities of pseudometrics and Bishop topologies
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Validating Brouwer's continuity principle for numbers using named exceptions
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- Constructing best approximations on a Jordan curve
- Borel complexity and computability of the Hahn-Banach theorem
- Continuous homomorphisms of R onto a compact group
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Monotone operators and first category sets
- Elementary constructive theory of Henselian local rings
- A note on Bar Induction in Constructive Set Theory
- Constructive projective extension of an incidence plane
- The computational content of Walras' existence theorem
- Apartness spaces and uniform neighbourhood structures
- Limit spaces with approximations
- A constructive treatment of Urysohn's Lemma in an apartness space
- A transfer theorem in constructive \(p\)-adic algebra
- The monotone completeness theorem in constructive reverse mathematics
- Essays in Constructive Mathematics
- Techniques of constructive analysis
- A predicative completion of a uniform space
- Almost new pre-apartness from old
- The intermediate value theorem in constructive mathematics without choice
- The uniform boundedness theorem and a boundedness principle
- A constructive and functorial embedding of locally compact metric spaces into locales
- Mathematics based on incremental learning -- excluded middle and inductive inference
- Bishop's lemma
- Bounded functional interpretation and feasible analysis
- Pre-apartness structures on spaces of functions
- Compactness notions for an apartness space
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- Brouwer's fixed point theorem with isolated fixed points and his fan theorem
- Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
- Constructive notions of strict convexity
- Revisiting Zariski main theorem from a constructive point of view
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Constructing the minimal period of homomorphisms into \(\mathbb R^n\)
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Semigroups with apartness
- Formal Zariski topology: Positivity and points
- Product a‐frames and proximity
- Unique solutions
- Equivalents of the (weak) fan theorem
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Locating subsets of a Hilbert space
- Spectra of selfadjoint operators in constructive analysis
- Recursively enumerable reals and Chaitin \(\Omega\) numbers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3754620)
