𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Initial Segments of Turing Degrees

✍ Scribed by Hugill, D. F.


Book ID
120102314
Publisher
Oxford University Press
Year
1969
Tongue
English
Weight
361 KB
Volume
s3-19
Category
Article
ISSN
0024-6115

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Turing degrees of hypersimple relations
✍ Valentina S. Harizanov πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 175 KB

Let A be an inΓΏnite computable structure, and let R be an additional computable relation on its domain A. The syntactic notion of formal hypersimplicity of R on A, ΓΏrst introduced and studied by Hird, is analogous to the computability-theoretic notion of hypersimplicity of R on A, given the deΓΏnabil