scientific article

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Bishop's constructive mathematics intuitionism constructive algebra constructive analysis intuitionistic mathematics Markov's algorithmic mathematics

Mathematics Subject Classification ID

Commutative Noetherian rings and modules (13E05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65) Constructive functional analysis (46S30) Intuitionistic mathematics (03F55) Miscellaneous topics in real functions (26E99)

Related Items

Constructibility of the universal wave function ⋮ On co-Filters in Semigroups with Apartness ⋮ Countable sets versus sets that are countable in reverse mathematics ⋮ A proof–technique in uniform space theory ⋮ The Urysohn Extension Theorem for Bishop Spaces ⋮ Constructing the Infimum of Two Projections ⋮ On the Lebesgue measurability of continuous functions in constructive analysis ⋮ Unnamed Item ⋮ Proof-relevance in Bishop-style constructive mathematics ⋮ The Scott model of PCF in univalent type theory ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Computing infima on convex sets, with applications in Hilbert spaces ⋮ Parametric Church's thesis: synthetic computability without choice ⋮ Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Unnamed Item ⋮ Direct spectra of Bishop spaces and their limits ⋮ Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ ⋮ Unnamed Item ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Constructive notions of strict convexity ⋮ Complements of Intersections in Constructive Mathematics ⋮ Sequential, pointwise, and uniform continuity: A constructive note ⋮ Inverse semigroups with apartness ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Elementary constructive theory of Henselian local rings ⋮ Bishop's Lemma ⋮ Stateful Realizers for Nonstandard Analysis ⋮ On Small Types in Univalent Foundations ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Analyse de complexité pour un théorème de Hall sur les fractions continues ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Type-theoretic approaches to ordinals ⋮ Locating subsets of a Hilbert space ⋮ The Arrow-Hahn Construction in a Locally Compact Metric Space ⋮ Characterising Brouwer's continuity by bar recursion on moduli of continuity ⋮ Unnamed Item ⋮ Specker sequences revisited ⋮ Nice bases for primary Abelian groups. ⋮ Differentiating convex functions constructively ⋮ Semigroups with apartness ⋮ Continuous homomorphisms of R onto a compact group ⋮ The Monotone Completeness Theorem in Constructive Reverse Mathematics ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ A fan-theoretic equivalent of the antithesis of Specker's theorem ⋮ Constructive projective extension of an incidence plane ⋮ BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS ⋮ Extensional constructive real analysis via locators ⋮ Bi-immunity over different size alphabets ⋮ BROUWER’S FAN THEOREM AND CONVEXITY ⋮ A univalent formalization of the p-adic numbers ⋮ Generalized geometric theories and set-generated classes ⋮ Constructive decidability of classical continuity ⋮ Converses of Bishop's lemma on located sets ⋮ The weak-operator sequential continuity of left multiplication ⋮ A constructive converse of the mean value theorem ⋮ Bounded functional interpretation ⋮ Recursively enumerable reals and Chaitin $\Omega$ numbers ⋮ Constructive Reflexivity of a Uniformly Convex Banach Space ⋮ Quasi-apartness and neighbourhood spaces ⋮ The swap of integral and limit in constructive mathematics ⋮ Constructive closed range and open mapping theorems ⋮ Un anneau de Prüfer ⋮ Co-quasiordered residuated systems: An introduction ⋮ Unnamed Item ⋮ A constructive Schwarz reflection principle ⋮ On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions ⋮ Algorithmic foundations of computable general equilibrium theory ⋮ Constructive Existence of Minkowski Functionals ⋮ Product a‐frames and proximity ⋮ Generalising compactness ⋮ Resolution of the uniform lower bound problem in constructive analysis ⋮ Almost locatedness in uniform spaces ⋮ On Some Semi-constructive Theories Related to Kripke–Platek Set Theory ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ Exercising Nuprl’s Open-Endedness ⋮ Unnamed Item ⋮ MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ A note on Bar Induction in Constructive Set Theory ⋮ On local non‐compactness in recursive mathematics ⋮ Decidability and Specker sequences in intuitionistic mathematics ⋮ Unnamed Item ⋮ Ordering groups constructively ⋮ Lattice-ordered groups generated by an ordered group and regular systems of ideals ⋮ Nets and reverse mathematics ⋮ Categories with families and first-order logic with dependent sorts ⋮ Unique solutions ⋮ A constructive treatment of Urysohn's Lemma in an apartness space ⋮ Strong continuity implies uniform sequential continuity ⋮ A Definitive Constructive Open Mapping Theorem? ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Formal Zariski topology: Positivity and points ⋮ Constructive algebraic integration theory ⋮ Constructivism and Metamathematics ⋮ Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness ⋮ Metrization of the One-Point Compactification ⋮ Bishop-Style Constructive Reverse Mathematics ⋮ Valuative Lattices and Spectra ⋮ Valuative dimension, constructive points of view ⋮ Extending strongly continuous functions between apartness spaces ⋮ A constructive real projective plane ⋮ Monotone operators and first category sets ⋮ Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ Limit spaces with approximations ⋮ The intrinsic topology of Martin-Löf universes ⋮ Apartness spaces and uniform neighbourhood structures ⋮ The effects of effects on constructivism ⋮ A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle ⋮ A footnote to ``The crisis in contemporary mathematics ⋮ Basic notions of (constructive) semigroups with apartness ⋮ The constructive theory of preference relations on a locally compact space. II ⋮ Ideals in constructive Banach algebra theory ⋮ Pre-apartness structures on spaces of functions ⋮ Bounded functional interpretation and feasible analysis ⋮ Constructing local optima on a compact interval ⋮ Spectra of selfadjoint operators in constructive analysis ⋮ A constructive and functorial embedding of locally compact metric spaces into locales ⋮ A topological view on algebraic computation models ⋮ 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 ⋮ To be or not to be constructive, that is not the question ⋮ Locating the range of an operator with an adjoint ⋮ Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions ⋮ Brouwer's fixed point theorem with isolated fixed points and his fan theorem ⋮ Reclassifying the antithesis of Specker's theorem ⋮ A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity ⋮ Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis ⋮ A predicative completion of a uniform space ⋮ Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem ⋮ Almost new pre-apartness from old ⋮ The intermediate value theorem in constructive mathematics without choice ⋮ The uniform boundedness theorem and a boundedness principle ⋮ The computational content of Walras' existence theorem ⋮ A constructive version of the Sylvester-Gallai theorem ⋮ Beta-shifts, their languages, and computability ⋮ The double negation of the intermediate value theorem ⋮ Locatedness and overt sublocales ⋮ Constructing the minimal period of homomorphisms into $\mathbb R^n$ ⋮ Applying mathematics to empirical sciences: flashback to a puzzling disciplinary interaction ⋮ Convexity and unique minimum points ⋮ The binary expansion and the intermediate value theorem in constructive reverse mathematics ⋮ Some axioms for constructive analysis ⋮ Compactness notions for an apartness space ⋮ Metric spaces in synthetic topology ⋮ Reflections on function spaces ⋮ Two subcategories of apartness spaces ⋮ Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics ⋮ Unique existence, approximate solutions, and countable choice. ⋮ A constructive theory of point-set nearness. ⋮ Borel complexity and computability of the Hahn-Banach theorem ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ On the universality of peptide computing ⋮ Ishihara's proof technique in constructive analysis ⋮ Constructive compact operators on a Hilbert space ⋮ The constructive inequivalence of various notions of preference ordering ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Pluralism and proofs ⋮ Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem ⋮ Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) ⋮ Sets, complements and boundaries ⋮ Extensions and fixed points of contractive maps in $\mathbb{R}^ n$ ⋮ Apartness, compactness and nearness ⋮ The Zariski spectrum as a formal geometry ⋮ A transfer theorem in constructive $p$-adic algebra ⋮ The construction of a continuous demand function for uniformly rotund preferences ⋮ Real analysis in paraconsistent logic ⋮ A very weak Nullstellensatz over Heyting fields ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Equivalents of the (weak) fan theorem ⋮ McShane-Whitney pairs ⋮ Glueing continuous functions constructively ⋮ The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) ⋮ Intuitionistic sequential compactness? ⋮ On Brouwer's continuity principle ⋮ Sequences of real functions on [0,1 in constructive reverse mathematics] ⋮ Isomorphism is equality ⋮ Reverse formalism 16 ⋮ Preference, indifference, and Markov's principle ⋮ Linear mappings are fairly well-behaved ⋮ Constructing best approximations on a Jordan curve ⋮ A constructive theory of continuous domains suitable for implementation ⋮ Intuitionism: an inspiration? ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Predicativity and constructive mathematics ⋮ Constructive mathematics: a foundation for computable analysis ⋮ Finite sets and infinite sets in weak intuitionistic arithmetic ⋮ Problems, solutions, and completions ⋮ Constructing extensions of ultraweakly continuous linear functionals ⋮ Closed subsets in Bishop topological groups ⋮ Five observations concerning the intended meaning of the intuitionistic logical constants ⋮ Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval ⋮ Algebras of complemented subsets ⋮ Functions of Baire class one over a Bishop topology ⋮ Apartness spaces as a framework for constructive topology ⋮ A recursive counterexample to Debreu's theorem on the existence of a utility function ⋮ Kernels of seminorms in constructive analysis. ⋮ Formally computing with the non-computable ⋮ Constructive mathematics, Church's thesis, and free choice sequences ⋮ Mathematics based on incremental learning -- excluded middle and inductive inference