𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lp-Computability

✍ Scribed by Ning Zhong; Bing-Yu Zhang


Publisher
John Wiley and Sons
Year
1999
Tongue
English
Weight
434 KB
Volume
45
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


In this paper we investigate conditions for LP-computability which are in ac- cordance with the classical Grzegorczyk notion of computability for a continuous function. For a given computable real number p 2 1 and a compact computable rectangle I c Rq, we show that an Lp function f E L p ( I ) is LP-computable if and only if (i) f is sequentially computable as a linear functional and (ii) the LP-modulus function of f is effectively continuous at the origin of Rq.


πŸ“œ SIMILAR VOLUMES


Computability and continuity in metric p
✍ Fredrik Dahlgren πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 251 KB

## Abstract In this paper we give an axiomatisation of the concept of a computability structure with partial sequences on a many‐sorted metric partial algebra, thus extending the axiomatisation given by Pour‐El and Richards in [9] for Banach spaces. We show that every Banach‐Mazur computable partia

Tensor Products and Computability
✍ Eric Bach πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 326 KB

We consider the problem of computability in tensor products of modules over a ring. We exhibit a finite local ring \(A\) and a pair of \(A\)-modules, given explicitly by generators and relations, with the following property. The operations in each module are computable in polynomial time, but equali

Introduction to computability logic
✍ Giorgi Japaridze πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 718 KB
Computability on random variables
✍ Norbert Th. MΓΌller πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 834 KB

In this paper, we study aspects of computability concerning random variables under the background of Type 2 Theory of Effectivity (TTE). We show that the resulting definitions are "natural" as they suffice to successfully discuss questions of computability of basic queueing systems, e.g. of the so-c