The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Dokumenttyp: | Article (Journal) |
| Sprache: | Englisch |
| Veröffentlicht: |
2013
|
| In: |
Annals of pure and applied logic
Year: 2013, Jahrgang: 164, Heft: 5, Pages: 577–588 |
| ISSN: | 1873-2461 |
| DOI: | 10.1016/j.apal.2012.11.002 |
| Online-Zugang: | Resolving-System, Volltext: http://dx.doi.org/10.1016/j.apal.2012.11.002
|
| Verfasserangaben: | Klaus Ambos-Spies ... Thorsten Kräling |
| Beschreibung: | Online Resource |
|---|---|
| ISSN: | 1873-2461 |
| DOI: | 10.1016/j.apal.2012.11.002 |