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)- 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
- Almost locatedness in uniform spaces
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
- Basic notions of (constructive) semigroups with apartness
- Strong continuity implies uniform sequential continuity
- Metric spaces in synthetic topology
- Two subcategories of apartness spaces
- The intrinsic topology of Martin-Löf universes
- Categories with families and first-order logic with dependent sorts
- Apartness spaces as a framework for constructive topology
- The construction of a continuous demand function for uniformly rotund preferences
- Decidability and Specker sequences in intuitionistic mathematics
- Constructive mathematics: a foundation for computable analysis
- Metrization of the One-Point Compactification
- Some axioms for constructive analysis
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
- Pluralism and proofs
- A constructive real projective plane
- Generalising compactness
- Beta-shifts, their languages, and computability
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- The double negation of the intermediate value theorem
- Apartness, compactness and nearness
- Real analysis in paraconsistent logic
- Quasi-apartness and neighbourhood spaces
- The Zariski spectrum as a formal geometry
- Unique existence, approximate solutions, and countable choice.
- Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics
- Bounded functional interpretation
- 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
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)
