scientific article; zbMATH DE number 4002093
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
- Constructing the Infimum of Two Projections
- 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
- A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Between Turing and Kleene
- Parametric Church's thesis: synthetic computability without choice
- The Urysohn Extension Theorem for Bishop Spaces
- 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
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- The weak-operator sequential continuity of left multiplication
- Functions of Baire class one over a Bishop topology
- Intuitionism: an inspiration?
- The Hahn-Banach theorem by disjunction elimination
- Constructing extensions of ultraweakly continuous linear functionals
- Algebras of complemented subsets
- Predicativity and constructive mathematics
- Inverse semigroups with apartness
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- 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
- Specker sequences revisited
- Synthetic topology in Homotopy Type Theory for probabilistic programming
- The swap of integral and limit in constructive mathematics
- A constructive Schwarz reflection principle
- On Small Types in Univalent Foundations
- Title not available (Why is that?)
- The constructive theory of preference relations on a locally compact space. II
- Brouwer's weak counterexamples and the creative subject: a critical survey
- A constructive converse of the mean value theorem
- A constructive theory of point-set nearness.
- Kernels of seminorms in constructive analysis.
- Practical stability analysis of sliding-mode control with explicit computation of sampling time
- A constructive version of the Sylvester-Gallai theorem
- Locating the range of an operator with an adjoint
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
- A very weak Nullstellensatz over Heyting fields
- BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS
- Un anneau de Prüfer
- Resolution of the uniform lower bound problem in constructive analysis
- Formal Proof: Reconciling Correctness and Understanding
- Computing infima on convex sets, with applications in Hilbert spaces
- Title not available (Why is that?)
- On Brouwer's continuity principle
- Glueing continuous functions constructively
- Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
- A constructive theory of continuous domains suitable for implementation
- Constructive algebraic integration theory
- Truth, proof and infinity. A theory of constructions and constructive reasoning
- Spectral Spaces Versus Distributive Lattices: A Dictionary
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
- Constructive compact operators on a Hilbert space
- The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience)
- Algorithmic foundations of computable general equilibrium theory
- Ideals in constructive Banach algebra theory
- On local non‐compactness in recursive mathematics
- Ishihara's proof technique in constructive analysis
- The Arrow-Hahn Construction in a Locally Compact Metric Space
- Constructive decidability of classical continuity
- A proof–technique in uniform space theory
- Constructing local optima on a compact interval
- Formal systems of constructive mathematics
- On the logical and computational properties of the Vitali covering theorem
- The constructive inequivalence of various notions of preference ordering
- Isomorphism is equality
- A topological view on algebraic computation models
- Convexity and unique minimum points
- Apartness, sharp elements, and the Scott topology of domains
- Valuative Lattices and Spectra
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
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)