Techniques of constructive analysis
From MaRDI portal
Publication:850934
DOI10.1007/978-0-387-38147-3zbMath1107.03065OpenAlexW4298199426MaRDI QIDQ850934
Luminiţa Simona Vîţă, Douglas S. Bridges
Publication date: 8 November 2006
Published in: Universitext (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-0-387-38147-3
Constructive and recursive analysis (03F60) 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) Constructive operator theory (47S30) Constructive real analysis (26E40) Constructive functional analysis (46S30)
Related Items (71)
A constructive real projective plane ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Constructive Game Logic ⋮ Constructing the Infimum of Two Projections ⋮ Apartness spaces and uniform neighbourhood structures ⋮ A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle ⋮ Basic notions of (constructive) semigroups with apartness ⋮ Convexity and constructive infima ⋮ Unnamed Item ⋮ Constructive notions of equicontinuity ⋮ Constructing local optima on a compact interval ⋮ Inverse semigroups with apartness ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ To be or not to be constructive, that is not the question ⋮ Competitive equilibrium with intuitionistic agents ⋮ 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 ⋮ The uniform boundedness theorem and a boundedness principle ⋮ The computational content of Walras' existence theorem ⋮ A constructive version of the Sylvester-Gallai theorem ⋮ Computability of finite-dimensional linear subspaces and best approximation ⋮ Constructing the minimal period of homomorphisms into \(\mathbb R^n\) ⋮ Continuity properties of preference relations ⋮ Convexity and unique minimum points ⋮ The binary expansion and the intermediate value theorem in constructive reverse mathematics ⋮ Compactness notions for an apartness space ⋮ Two subcategories of apartness spaces ⋮ The Arrow-Hahn Construction in a Locally Compact Metric Space ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 ⋮ A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem ⋮ Continuous homomorphisms of R onto a compact group ⋮ The Monotone Completeness Theorem in Constructive Reverse Mathematics ⋮ Constructive harmonic conjugates ⋮ Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) ⋮ ERNA and Friedman's Reverse Mathematics ⋮ Extensional constructive real analysis via locators ⋮ BROUWER’S FAN THEOREM AND CONVEXITY ⋮ Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces ⋮ Continuity Properties of Preference Relations ⋮ Completeness: when enough is enough ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Generalized geometric theories and set-generated classes ⋮ Variations on a theme by Ishihara ⋮ Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics ⋮ McShane-Whitney pairs ⋮ Continuous isomorphisms from R onto a complete abelian group ⋮ Glueing continuous functions constructively ⋮ Co-quasiordered residuated systems: An introduction ⋮ The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) ⋮ The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem] ⋮ Intuitionistic sequential compactness? ⋮ On Brouwer's continuity principle ⋮ Product a‐frames and proximity ⋮ Real numbers and other completions ⋮ Reverse formalism 16 ⋮ Unnamed Item ⋮ On Farkas' lemma and related propositions in BISH ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ On mathematical realism and applicability of hyperreals ⋮ A categorical reading of the numerical existence property in constructive foundations ⋮ Continuity and Lipschitz constants for projections ⋮ Problems, solutions, and completions ⋮ A constructive treatment of Urysohn's Lemma in an apartness space ⋮ A continuity principle, a version of Baire's theorem and a boundedness principle ⋮ Intuitionistic notions of boundedness in ℕ ⋮ Constructive hybrid games ⋮ Functions of Baire class one over a Bishop topology
This page was built for publication: Techniques of constructive analysis
