The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ambos-Spies, Klaus (BerichterstatterIn) , Kräling, Thorsten (BerichterstatterIn)
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
Volltext
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