Undecidability and 1-types in intervals of the computably enumerable degrees

Authors
Ambos-Spies, K Hirschfeldt, DR Shore, RA
Citation
K. Ambos-spies et al., Undecidability and 1-types in intervals of the computably enumerable degrees, ANN PUR APP, 106(1-3), 2000, pp. 1-47
Citations number
14
Categorie Soggetti
Mathematics
Journal title
ANNALS OF PURE AND APPLIED LOGIC
ISSN journal
01680072 → ACNP
Volume
106
Issue
1-3
Year of publication
2000
Pages
1 - 47
Database
ISI
SICI code
0168-0072(200012)106:1-3<1:UA1IIO>2.0.ZU;2-O
Abstract
We show that the theory of the partial ordering of the computably enumerabl e degrees in any given nontrivial interval is undecidable and has uncountab ly many I-types. (C) 2000 Elsevier Science B.V. All rights reserved. MSc: 0 3D25 (03C65 03D35 06A06).