✦ LIBER ✦

Index sets in the arithmetical Hierarchy

✍ Scribed by Ulrike Brandt

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 952 KB
Volume: 37
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(88)90023-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Arithmetical Hierarchy of Real Numbe

The Arithmetical Hierarchy of Real Numbers

✍ Xizhong Zheng; Klaus Weihrauch 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 225 KB 👁 1 views

Index Sets Universal for Differences of

Index Sets Universal for Differences of Arithmetic Sets

✍ Louise Hay 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 813 KB

Achilles and the Tortoise Climbing Up th

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

✍ Eugene Asarin; Oded Maler 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 653 KB

In this paper we show how to construct for every set P of integers in the arithmetical hierarchy a dynamical system H with piecewise-constant derivatives such that deciding membership in P can be reduced to solving the reachability problem between two rational points for H. The ability of such appar

Bounded arithmetic and the polynomial hi

Bounded arithmetic and the polynomial hierarchy

✍ Jan Krajíček; Pavel Pudlák; Gaisi Takeuti 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 706 KB

Relating the bounded arithmetic and poly

Relating the bounded arithmetic and polynomial time hierarchies

✍ Samuel R. Buss 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 711 KB

Computational Arithmetic Geometry: I. Se

Computational Arithmetic Geometry: I. Sentences Nearly in the Polynomial Hierarchy

✍ J.Maurice Rojas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 215 KB