✦ LIBER ✦

Compactness in constructive analysis revisited

✍ Scribed by Christoph Kreitz; Klaus Weihrauch

Publisher: Elsevier Science
Year: 1987
Tongue: English
Weight: 541 KB
Volume: 36
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(87)90010-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sequential normal compactness versus top

Sequential normal compactness versus topological normal compactness in variational analysis

✍ Marián Fabian; Boris S. Mordukhovich 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 142 KB

We study relationships between two normal compactness properties of sets in Banach spaces that play an essential role in many aspects of variational analysis and its applications, particularly in calculus rules for generalized di erentiation, necessary optimality and suboptimality conditions for opt

Unavoidable sequences in constructive an

Unavoidable sequences in constructive analysis

✍ Joan Rand Moschovakis 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 165 KB

Sequential normal compactness in variati

Sequential normal compactness in variational analysis

✍ B.S. Mordukhovich; Bingwu Wang 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 591 KB

The paper is devoted to the study of the so-called sequential normal compactness conditions in variational analysis in infinite-dimensional spaces. Such conditions are needed for many aspects of generalized differentiation, particularly for calculus rules involving normal cones to sets, subdifferent

Sequential Continuity of Functions in Co

Sequential Continuity of Functions in Constructive Analysis

✍ Douglas Bridges; Ayan Mahalanobis 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 174 KB 👁 2 views

Bernstein Type Theorems for Compact Sets

Bernstein Type Theorems for Compact Sets in Rn Revisited

✍ M. Baran 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 266 KB

In this paper we complete some results of (J. Approx. Theory 69 (1992), 156-166) and give a geometrical approach to the multivariate Bernstein and Markov inequalities. The most interesting and slightly surprising result is a sharp Markov inequality for convex symmetric subsets of \(\mathbf{R}^{n}\)

Brouwer's fan theorem and unique existen

Brouwer's fan theorem and unique existence in constructive analysis

✍ Josef Berger; Hajime Ishihara 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there