Status: Bibliographieeintrag
Standort: ---
Exemplare:
---
| |  Online-Ressource |
|---|
| Verfasst von: | Ambos-Spies, Klaus [VerfasserIn]  |
|---|
| | Nies, André [VerfasserIn] |
|---|
| | Shore, Richard A. [VerfasserIn] |
|---|
| Titel: | The theory of the recursively enumerable weak truth-table degrees is undecidable |
|---|
| Verf.angabe: | Klaus Ambos-Spies, André Nies, Richard A. Shore |
|---|
| Jahr: | 1992 |
|---|
| Umfang: | 11 S. |
|---|
| Fussnoten: | Elektronische Reproduktion der Druck-Ausgabe 12. März 2014 ; Gesehen am 26.06.2023 |
|---|
| Titel Quelle: | Enthalten in: The journal of symbolic logic |
|---|
| Ort Quelle: | Cambridge : Cambridge Univ. Press, 1936 |
|---|
| Jahr Quelle: | 1992 |
|---|
| Band/Heft Quelle: | 57(1992), 3, Seite 864-874 |
|---|
| ISSN Quelle: | 1943-5886 |
|---|
| Abstract: | We show that the partial order of -sets under inclusion is elementarily definable with parameters in the semilattice of r.e. wtt-degrees. Using a result of E. Herrmann, we can deduce that this semilattice has an undecidable theory, thereby solving an open problem of P. Odifreddi. |
|---|
| DOI: | doi:10.2307/2275436 |
|---|
| 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.2307/2275436 |
|---|
| | Volltext: https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/theory-of-the-recursively-enumerable-weak- ... |
|---|
| | DOI: https://doi.org/10.2307/2275436 |
|---|
| Datenträger: | Online-Ressource |
|---|
| Sprache: | eng |
|---|
| K10plus-PPN: | 1850970742 |
|---|
| Verknüpfungen: | → Zeitschrift |
|---|
¬The¬ theory of the recursively enumerable weak truth-table degrees is undecidable / Ambos-Spies, Klaus [VerfasserIn]; 1992 (Online-Ressource)
69089335
