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 (only showing first 100 items - show all)

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

This page was built for publication: