scientific article; zbMATH DE number 4002093
From MaRDI portal
Publication:3754620
zbMATH Open0618.03032MaRDI QIDQ3754620FDOQ3754620
Authors: Douglas Bridges, Fred Richman 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Type-theoretic approaches to ordinals
- Nets and reverse mathematics
- Characterising Brouwer's continuity by bar recursion on moduli of continuity
- Betwixt Turing and Kleene
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Constructive mathematics, Church's thesis, and free choice sequences
- Formally computing with the non-computable
- A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
- Constructive Existence of Minkowski Functionals
- Extensional constructive real analysis via locators
- McShane-Whitney pairs
- A footnote to ``The crisis in contemporary mathematics
- Exercising Nuprl's open-endedness
- Bi-immunity over different size alphabets
- The effects of effects on constructivism
- To be or not to be constructive, that is not the question
- Differentiating convex functions constructively
- Constructibility of the universal wave function
- Ordering groups constructively
- Reverse formalism 16
- Direct spectra of Bishop spaces and their limits
- Proof-relevance in Bishop-style constructive mathematics
- Title not available (Why is that?)
- Between Turing and Kleene
- Parametric Church's thesis: synthetic computability without choice
- Generalized geometric theories and set-generated classes
- Intuitionistic sequential compactness?
- Title not available (Why is that?)
- Validating Brouwer's continuity principle for numbers using named exceptions
- Reclassifying the antithesis of Specker's theorem
- The weak-operator sequential continuity of left multiplication
- Functions of Baire class one over a Bishop topology
- Intuitionism: an inspiration?
- Markov's principle and subsystems of intuitionistic analysis
- The Hahn-Banach theorem by disjunction elimination
- Constructing extensions of ultraweakly continuous linear functionals
- On some semi-constructive theories related to Kripke-Platek set theory
- Algebras of complemented subsets
- Constructing the infimum of two projections
- Predicativity and constructive mathematics
- Inverse semigroups with apartness
- The Urysohn extension theorem for Bishop spaces
- Constructive uniformities of pseudometrics and Bishop topologies
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Variations on a theme by Ishihara
- Countable sets versus sets that are countable in reverse mathematics
- Closed subsets in Bishop topological groups
- Applying mathematics to empirical sciences: flashback to a puzzling disciplinary interaction
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- Constructive Reflexivity of a Uniformly Convex Banach Space
- Continuous homomorphisms of R onto a compact group
- Title not available (Why is that?)
- 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
- Recursively enumerable reals and Chaitin \(\Omega\) numbers
- Some axioms for constructive analysis
- A constructive real projective plane
- Constructive projective extension of an incidence plane
- Bishop's lemma
- 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
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis
- Equivalents of the (weak) fan theorem
- Monotone operators and first category sets
- Locating subsets of a Hilbert space
- The monotone completeness theorem in constructive reverse mathematics
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- Essays in Constructive Mathematics
- Techniques of constructive analysis
- Spectra of selfadjoint operators in constructive analysis
- Borel complexity and computability of the Hahn-Banach theorem
- 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
- Product a‐frames and proximity
- Unique solutions
- The construction of a continuous demand function for uniformly rotund preferences
- Constructive mathematics: a foundation for computable analysis
- Apartness spaces and uniform neighbourhood structures
- Limit spaces with approximations
- Almost locatedness in uniform spaces
- Decidability and Specker sequences in intuitionistic mathematics
- Bounded functional interpretation and feasible analysis
- Pre-apartness structures on spaces of functions
- Compactness notions for an apartness space
- Apartness, compactness and nearness
- Constructing the minimal period of homomorphisms into \(\mathbb R^n\)
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
- Basic notions of (constructive) semigroups with apartness
- Metric spaces in synthetic topology
- Two subcategories of apartness spaces
- Semigroups with apartness
- Generalising compactness
- A note on Bar Induction in Constructive Set Theory
- A constructive and functorial embedding of locally compact metric spaces into locales
- Metrization of the One-Point Compactification
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
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)
