Status: Bibliographieeintrag
Standort: ---
Exemplare:
---
| Online-Ressource |
Verfasst von: | Ambos-Spies, Klaus [VerfasserIn]  |
| Decheng, Ding [VerfasserIn]  |
Titel: | Discontinuity of cappings in the recursively enumerable degrees and strongly nonbranching degrees |
Verf.angabe: | Klaus Ambos-Spies, Ding Decheng |
Jahr: | 1994 |
Umfang: | 31 S. |
Fussnoten: | Gesehen am 31.05.2023 |
Titel Quelle: | Enthalten in: Mathematical logic quarterly |
Ort Quelle: | Berlin : Wiley-VCH, 1993 |
Jahr Quelle: | 1994 |
Band/Heft Quelle: | 40(1994), 3, Seite 287-317 |
ISSN Quelle: | 1521-3870 |
Abstract: | We construct an r. e. degree a which possesses a greatest a-minimal pair b0, b1, i.e., r. e. degrees b0 and b1 such that b0, b1 < a, b0 ∩ b1 = a, and, for any other pair c0, c1 with these properties, c0 ≤ bi and c1 ≤ b1-i for some i ≤ 1. By extending this result, we show that there are strongly nonbranching degrees which are not strongly noncappable. Finally, by introducing a new genericity concept for r. e. sets, we prove a jump theorem for the strongly nonbranching and strongly noncappable r. e. degrees. Mathematics Subject Classification: 03D25. |
DOI: | doi:10.1002/malq.19940400302 |
URL: | Bitte beachten Sie: Dies ist ein Bibliographieeintrag. Ein Volltextzugriff für Mitglieder der Universität besteht hier nur, falls für die entsprechende Zeitschrift/den entsprechenden Sammelband ein Abonnement besteht oder es sich um einen OpenAccess-Titel handelt.
Volltext: https://doi.org/10.1002/malq.19940400302 |
| Volltext: https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.19940400302 |
| DOI: https://doi.org/10.1002/malq.19940400302 |
Datenträger: | Online-Ressource |
Sprache: | eng |
Sach-SW: | a-cappable degrees |
| Generic degrees |
| Jump theorem |
| Strongly nonbranching degrees |
| Strongly noncappable degrees |
K10plus-PPN: | 1847043038 |
Verknüpfungen: | → Zeitschrift |
Discontinuity of cappings in the recursively enumerable degrees and strongly nonbranching degrees / Ambos-Spies, Klaus [VerfasserIn]; 1994 (Online-Ressource)
69081019