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)
- 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
- 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
- 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
- Unique existence, approximate solutions, and countable choice.
- The Monotone Completeness Theorem in Constructive Reverse Mathematics
- The Zariski spectrum as a formal geometry
- Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Sequences of real functions on [0,1] in constructive reverse mathematics
- The intrinsic topology of Martin-Löf universes
- Apartness spaces as a framework for constructive topology
- Constructing best approximations on a Jordan curve
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- The computational content of Walras' existence theorem
- Mathematics based on incremental learning -- excluded middle and inductive inference
- Formal Zariski topology: Positivity and points
- Strong continuity implies uniform sequential continuity
- Pluralism and proofs
- Beta-shifts, their languages, and computability
- The double negation of the intermediate value theorem
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
- Bounded functional interpretation
- Elementary constructive theory of Henselian local rings
- Bishop's Lemma
- Quasi-apartness and neighbourhood spaces
- Constructive notions of strict convexity
- Categories with families and first-order logic with dependent sorts
- A transfer theorem in constructive \(p\)-adic algebra
- Pincherle's theorem in reverse mathematics and computability theory
- Real analysis in paraconsistent logic
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- A constructive treatment of Urysohn's Lemma in an apartness space
- 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
- 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
- Constructive Existence of Minkowski Functionals
- Extensional constructive real analysis via locators
- McShane-Whitney pairs
- Exercising Nuprl’s Open-Endedness
- A footnote to ``The crisis in contemporary mathematics
- 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
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
- Ordering groups constructively
- Reverse formalism 16
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
- Direct spectra of Bishop spaces and their limits
- Proof-relevance in Bishop-style constructive mathematics
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)
