Publication:3754620

Publication date: 1987

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

Mathematics Subject Classification ID

13E05: Commutative Noetherian rings and modules

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03F65: Other constructive mathematics

46S30: Constructive functional analysis

03F55: Intuitionistic mathematics

26E99: Miscellaneous topics in real functions

Related Items

Constructive notions of strict convexity, Complements of Intersections in Constructive Mathematics, Sequential, pointwise, and uniform continuity: A constructive note, A constructive Schwarz reflection principle, Computing infima on convex sets, with applications in Hilbert spaces, Analyse de complexité pour un théorème de Hall sur les fractions continues, Product a‐frames and proximity, Generalising compactness, Resolution of the uniform lower bound problem in constructive analysis, 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, 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, Constructing the minimal period of homomorphisms into \(\mathbb R^n\), Some axioms for constructive analysis, Compactness notions for an apartness space, The computational content of Walras' existence theorem, Beta-shifts, their languages, and computability, The double negation of the intermediate value theorem, Locatedness and overt sublocales, Metric spaces in synthetic topology, Reflections on function spaces, Two subcategories of apartness spaces, Sets, complements and boundaries, Real analysis in paraconsistent logic, A very weak Nullstellensatz over Heyting fields, Equivalents of the (weak) fan theorem, Preference, indifference, and Markov's principle, Linear mappings are fairly well-behaved, A recursive counterexample to Debreu's theorem on the existence of a utility function, Mathematics based on incremental learning -- excluded middle and inductive inference, Extending strongly continuous functions between apartness spaces, 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, A constructive and functorial embedding of locally compact metric spaces into locales, 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, Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience), Apartness, compactness and nearness, The Zariski spectrum as a formal geometry, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Glueing continuous functions constructively, The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience), Sequences of real functions on [0,1 in constructive reverse mathematics], A constructive theory of continuous domains suitable for implementation, Problems, solutions, and completions, Constructive compact operators on a Hilbert space, The constructive inequivalence of various notions of preference ordering, Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\), A transfer theorem in constructive \(p\)-adic algebra, The construction of a continuous demand function for uniformly rotund preferences, Constructing best approximations on a Jordan curve, Constructive mathematics: a foundation for computable analysis, The constructive theory of preference relations on a locally compact space. II, Locating the range of an operator with an adjoint, Unique existence, approximate solutions, and countable choice., A constructive theory of point-set nearness., Ishihara's proof technique in constructive analysis, 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, Kernels of seminorms in constructive analysis., Constructing extensions of ultraweakly continuous linear functionals, Apartness spaces as a framework for constructive topology, Spectra of selfadjoint operators in constructive analysis, Reclassifying the antithesis of Specker's theorem, Nice bases for primary Abelian groups., A fan-theoretic equivalent of the antithesis of Specker's theorem, Bounded functional interpretation, Quasi-apartness and neighbourhood spaces, On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions, Algorithmic foundations of computable general equilibrium theory, Strong continuity implies uniform sequential continuity, 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, Locating subsets of a Hilbert space, Constructing the Infimum of Two Projections, The swap of integral and limit in constructive mathematics, A proof–technique in uniform space theory, Unique solutions, A constructive treatment of Urysohn's Lemma in an apartness space, Elementary constructive theory of Henselian local rings, Continuous homomorphisms of R onto a compact group, Constructive Reflexivity of a Uniformly Convex Banach Space, Almost locatedness in uniform spaces, Formal Proof: Reconciling Correctness and Understanding, Decidability and Specker sequences in intuitionistic mathematics, Metrization of the One-Point Compactification, On the Lebesgue measurability of continuous functions in constructive analysis, Constructive Existence of Minkowski Functionals, A Definitive Constructive Open Mapping Theorem?, A note on Bar Induction in Constructive Set Theory, On local non‐compactness in recursive mathematics, Unnamed Item, Specker sequences revisited, Converses of Bishop's lemma on located sets, The weak-operator sequential continuity of left multiplication, A constructive converse of the mean value theorem, Recursively enumerable reals and Chaitin \(\Omega\) numbers, Constructive closed range and open mapping theorems