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 |
MARC
| LEADER | 00000caa a22000002c 4500 | ||
|---|---|---|---|
| 001 | 1473884470 | ||
| 003 | DE-627 | ||
| 005 | 20220811073928.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 140414s2013 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1016/j.apal.2012.11.002 |2 doi | |
| 035 | |a (DE-627)1473884470 | ||
| 035 | |a (DE-576)403884470 | ||
| 035 | |a (DE-599)BSZ403884470 | ||
| 035 | |a (OCoLC)1340636804 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 0 | 4 | |a The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent |c Klaus Ambos-Spies ... Thorsten Kräling |
| 264 | 1 | |c 2013 | |
| 300 | |a 12 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 700 | 1 | |a Ambos-Spies, Klaus |d 1951- |0 (DE-588)141551607 |0 (DE-627)629951861 |0 (DE-576)16006810X |4 oth | |
| 700 | 1 | |a Kräling, Thorsten |0 (DE-588)1049899121 |0 (DE-627)782854052 |0 (DE-576)403882931 |4 oth | |
| 773 | 0 | 8 | |i In |t Annals of pure and applied logic |d Amsterdam [u.a.] : Elsevier, 1983 |g 164(2013), 5, Seite 577–588 |h Online-Ressource |w (DE-627)265784409 |w (DE-600)1466371-5 |w (DE-576)074891073 |x 1873-2461 |7 nnas |a The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent |
| 773 | 1 | 8 | |g volume:164 |g year:2013 |g number:5 |g pages:577–588 |g extent:12 |a The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1016/j.apal.2012.11.002 |x Resolving-System |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20140414 | ||
| 993 | |a Article | ||
| 994 | |a 2013 | ||
| 998 | |g 1049899121 |a Kräling, Thorsten |m 1049899121:Kräling, Thorsten |d 110000 |d 110300 |e 110000PK1049899121 |e 110300PK1049899121 |k 0/110000/ |k 1/110000/110300/ |p 4 |y j | ||
| 998 | |g 141551607 |a Ambos-Spies, Klaus |m 141551607:Ambos-Spies, Klaus |d 110000 |d 110300 |e 110000PA141551607 |e 110300PA141551607 |k 0/110000/ |k 1/110000/110300/ |p 1 |x j | ||
| 999 | |a KXP-PPN1473884470 |e 2793231053 | ||
| BIB | |a Y | ||
| SER | |a journal | ||
| JSO | |a {"id":{"doi":[" 10.1016/j.apal.2012.11.002"],"eki":["1473884470"]},"title":[{"title":"The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent","title_sort":"partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent"}],"origin":[{"dateIssuedKey":"2013","dateIssuedDisp":"2013"}],"name":{"displayForm":["Klaus Ambos-Spies ... Thorsten Kräling"]},"person":[{"role":"oth","display":"Ambos-Spies, Klaus","given":"Klaus","family":"Ambos-Spies"},{"given":"Thorsten","family":"Kräling","role":"oth","display":"Kräling, Thorsten"}],"recId":"1473884470","language":["eng"],"relHost":[{"physDesc":[{"extent":"Online-Ressource"}],"origin":[{"publisherPlace":"Amsterdam [u.a.]","publisher":"Elsevier","dateIssuedKey":"1983","dateIssuedDisp":"1983-"}],"id":{"issn":["1873-2461"],"eki":["265784409"],"zdb":["1466371-5"]},"note":["Gesehen am 09.11.2020"],"disp":"The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalentAnnals of pure and applied logic","type":{"bibl":"periodical","media":"Online-Ressource"},"language":["eng"],"recId":"265784409","pubHistory":["24.1983 -"],"part":{"volume":"164","text":"164(2013), 5, Seite 577–588","extent":"12","year":"2013","pages":"577–588","issue":"5"},"title":[{"title":"Annals of pure and applied logic","title_sort":"Annals of pure and applied logic"}]}],"type":{"bibl":"article-journal","media":"Online-Ressource"},"physDesc":[{"extent":"12 S."}]} | ||
| SRT | |a PARTIALORD2013 | ||