Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 11 von 12
    Datensatz exportieren als...
  • BibTeX
The Π3-Theory of the Computably Enumerable Turing Degrees Is Undecidable
Transactions of the American Mathematical Society, 1998-07, Vol.350 (7), p.2719-2736
1998

Details

Autor(en) / Beteiligte
Titel
The Π3-Theory of the Computably Enumerable Turing Degrees Is Undecidable
Ist Teil von
  • Transactions of the American Mathematical Society, 1998-07, Vol.350 (7), p.2719-2736
Ort / Verlag
American Mathematical Society
Erscheinungsjahr
1998
Link zum Volltext
Quelle
American Mathematical Society Publications
Beschreibungen/Notizen
  • We show the undecidability of the Π3-theory of the partial order of computably enumerable Turing degrees.
Sprache
Englisch
Identifikatoren
ISSN: 0002-9947
eISSN: 1088-6850
Titel-ID: cdi_jstor_primary_117725
Format
–
Schlagworte
Algebra, Degree of unsolvability, Equivalence relation, Mathematical lattices, Mathematical sets, Mathematical theorems, Minimal pairs, Partially ordered sets, Undecidability

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX