## 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
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
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
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