✦ LIBER ✦

Approximate decidability in euclidean spaces

✍ Scribed by Armin Hemmerling

Publisher: John Wiley and Sons
Year: 2003
Tongue: English
Weight: 368 KB
Volume: 49
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200310003

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We study concepts of decidability (recursivity) for subsets of Euclidean spaces ℝ^k^ within the framework of approximate computability (type two theory of effectivity). A new notion of approximate decidability is proposed and discussed in some detail. It is an effective variant of F. Hausdorff's concept of resolvable sets, and it modifies and generalizes notions of recursivity known from computable analysis, formerly used for open or closed sets only, to more general types of sets. Approximate decidability of sets can equivalently be expressed by computability of the characteristic functions by means of appropriately working oracle Turing machines. The notion fulfills some natural requirements and is hereditary under canonical embeddings of sets into spaces of higher dimensions. However, it is not closed under binary union or intersection of sets. We also show how the framework of resolvability and approximate decidability can be applied to investigate concepts of reducibility for subsets of Euclidean spaces.

📜 SIMILAR VOLUMES

The discrete parts of approximately deci

The discrete parts of approximately decidable sets in Euclidean spaces

✍ Armin Hemmerling 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## Abstract It is shown that the classes of discrete parts, __A__ ∩ ℕ^__k__^, of approximately resp. weakly decidable subsets of Euclidean spaces, __A__ ⊆ ℝ^__k__^, coincide and are equal to the class of __ω__‐r. e. sets which is well‐known as the first transfinite level in Ershov's hierarchy exhau

Modular Lattices in Euclidean Spaces

✍ H.G. Quebbemann 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 479 KB

Even lattices similar to their duals are discussed in connection with modular forms for Fricke groups. In particular, lattices of level 2 with large Hermite number are considered, and an analogy between the seven levels \(l\) such that \(1+l\) divides 24 is stressed. "t 1995 Academic Press, Inc.

On Sumsets in Euclidean Space

✍ A.S Fainleib 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 108 KB

The purpose of this paper is to prove some addition theorems for measurable and lattice subsets of Euclidean space with application to an inverse additive problem.

Realizing Finite Groups in Euclidean Spa

Realizing Finite Groups in Euclidean Space

✍ Michael O Albertson; Debra L Boutin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 97 KB

A set of points W in Euclidean space is said to realize the finite group G if the isometry group of W is isomorphic to G. We show that every finite group G can be realized by a finite subset of some n , with n < G . The minimum dimension of a Euclidean space in which G can be realized is called its

Clifford–Bessel wavelets in Euclidean sp

Clifford–Bessel wavelets in Euclidean space

✍ Fred F. Brackx; Frank C. Sommen 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

## Abstract Specific wavelet functions, related to the Bessel functions, for the continuous wavelet transform in higher dimension, are constructed in the framework of Clifford analysis. Copyright © 2002 John Wiley & Sons, Ltd.

Approximate identities in variable Lp sp

Approximate identities in variable Lp spaces

✍ D. Cruz-Uribe SFO; A. Fiorenza 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

## Abstract We give conditions for the convergence of approximate identities, both pointwise and in norm, in variable __L__ ^__p__^ spaces. We unify and extend results due to Diening [8], Samko [18] and Sharapudinov [19]. As applications, we give criteria for smooth functions to be dense in the va