In this paper we extend computability theory to the spaces of continuous, upper semi-continuous and lower semi-continuous real functions. We apply the framework of TTE, Type-2 Theory of E ectivity, where not only computable elements but also computable functions on the spaces can be considered. Firs
โฆ LIBER โฆ
Lower Semi-continuous Function Frames
โ Scribed by Christophe Van Olmen; Stijn Verwulgen
- Book ID
- 106347053
- Publisher
- Springer
- Year
- 2007
- Tongue
- English
- Weight
- 376 KB
- Volume
- 15
- Category
- Article
- ISSN
- 0927-2852
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Computability on continuous, lower semi-
โ
Klaus Weihrauch; Xizhong Zheng
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 208 KB
Optimality Conditions for Lower Semi-con
โ
Chin Cheng Chou; Xinbao Li; Kung-Fu Ng; Shuzhong Shi
๐
Article
๐
1996
๐
Elsevier Science
๐
English
โ 181 KB
Let f be a lower semi-continuous and bounded below function from a Banach ลฝ x space X into yฯฑ, qฯฑ where X is assumed to admit a Lipschitz smooth ''bump-function.'' Generalizing results of Chaney, we study optimality conditions for x g X to be a local minimum point of f. These conditions are describe
Convex extensions and envelopes of lower
โ
Mohit Tawarmalani; Nikolaos V Sahinidis
๐
Article
๐
2002
๐
Springer-Verlag
๐
English
โ 152 KB
A lower semi-continuity result for polyc
โ
Fusco, Nicola; Leone, Chiara; Verde, Anna; March, Riccardo
๐
Article
๐
2006
๐
Cambridge University Press
๐
English
โ 943 KB
Frames and semi-frames
โ
Antoine, Jean-Pierre; Balazs, Peter
๐
Article
๐
2011
๐
IOP Publishing
๐
English
โ 410 KB
An extremal property for certain spaces
โ
Marvin W. Grossman
๐
Article
๐
1968
๐
Springer-Verlag
๐
French
โ 605 KB