Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree
One way to try to gain an understanding of the various degree-theoretic structures which recursion theorists study is to see what lattices can be embedded into them. Lattice embeddings have been used to show that such structures have an undecidable theory (via embeddings as initial segments) and to...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Dokumenttyp: | Kapitel/Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
1993
|
| In: |
Logical methods
Year: 1993, Pages: 92-129 |
| DOI: | 10.1007/978-1-4612-0325-4_2 |
| Online-Zugang: | Verlag, lizenzpflichtig, Volltext: https://doi.org/10.1007/978-1-4612-0325-4_2
|
| Verfasserangaben: | Klaus Ambos-Spies, Ding Decheng, Peter A. Fejer |
MARC
| LEADER | 00000caa a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 184878094X | ||
| 003 | DE-627 | ||
| 005 | 20230710184020.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 230612s1993 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1007/978-1-4612-0325-4_2 |2 doi | |
| 035 | |a (DE-627)184878094X | ||
| 035 | |a (DE-599)KXP184878094X | ||
| 035 | |a (OCoLC)1389827928 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Ambos-Spies, Klaus |d 1951- |e VerfasserIn |0 (DE-588)141551607 |0 (DE-627)629951861 |0 (DE-576)16006810X |4 aut | |
| 245 | 1 | 0 | |a Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree |c Klaus Ambos-Spies, Ding Decheng, Peter A. Fejer |
| 264 | 1 | |c 1993 | |
| 300 | |a 38 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Gesehen am 12.06.2023 | ||
| 520 | |a One way to try to gain an understanding of the various degree-theoretic structures which recursion theorists study is to see what lattices can be embedded into them. Lattice embeddings have been used to show that such structures have an undecidable theory (via embeddings as initial segments) and to show that the theory of such structures is decidable up to a certain quantifier level. Many results in recursion theory can be stated as results about lattice embeddings even if they were not originally phrased that way. | ||
| 700 | 1 | |a Decheng, Ding |e VerfasserIn |0 (DE-588)1290947457 |0 (DE-627)1847043542 |4 aut | |
| 700 | 1 | |a Fejer, Peter A. |e VerfasserIn |0 (DE-588)1292588640 |0 (DE-627)1848799012 |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Logical methods |b 1st ed. 1993. |d Boston, MA : Imprint: Birkhäuser, 1993 |g (1993), Seite 92-129 |h 1 Online-Ressource(XIV, 816 p.) |w (DE-627)1800491794 |z 9781461203254 |7 nnam |a Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree |
| 773 | 1 | 8 | |g year:1993 |g pages:92-129 |g extent:38 |a Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-0325-4_2 |x Verlag |z lizenzpflichtig |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20230612 | ||
| 993 | |a BookComponentPart | ||
| 994 | |a 1993 | ||
| 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-PPN184878094X |e 4331400840 | ||
| BIB | |a Y | ||
| JSO | |a {"recId":"184878094X","language":["eng"],"type":{"bibl":"chapter","media":"Online-Ressource"},"note":["Gesehen am 12.06.2023"],"title":[{"title_sort":"Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree","title":"Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree"}],"person":[{"given":"Klaus","family":"Ambos-Spies","role":"aut","roleDisplay":"VerfasserIn","display":"Ambos-Spies, Klaus"},{"family":"Decheng","given":"Ding","display":"Decheng, Ding","roleDisplay":"VerfasserIn","role":"aut"},{"given":"Peter A.","family":"Fejer","role":"aut","roleDisplay":"VerfasserIn","display":"Fejer, Peter A."}],"relHost":[{"person":[{"family":"Crossley","given":"John N.","display":"Crossley, John N.","roleDisplay":"HerausgeberIn","role":"edt"},{"family":"Remmel","given":"Jeffrey B.","roleDisplay":"HerausgeberIn","display":"Remmel, Jeffrey B.","role":"edt"},{"family":"Shore","given":"Richard","roleDisplay":"HerausgeberIn","display":"Shore, Richard","role":"edt"},{"role":"edt","display":"Sweedler, Moss E.","roleDisplay":"HerausgeberIn","given":"Moss E.","family":"Sweedler"},{"display":"Nerode, Anil","roleDisplay":"GefeierteR","role":"hnr","family":"Nerode","given":"Anil"}],"title":[{"subtitle":"in honor of Anil Nerode’s sixtieth birthday","title":"Logical methods","title_sort":"Logical methods"}],"recId":"1800491794","language":["eng"],"disp":"Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degreeLogical methods","type":{"media":"Online-Ressource","bibl":"edited-book"},"part":{"text":"(1993), Seite 92-129","extent":"38","year":"1993","pages":"92-129"},"name":{"displayForm":["edited by John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler"]},"id":{"doi":["10.1007/978-1-4612-0325-4"],"eki":["1800491794"],"isbn":["9781461203254"]},"origin":[{"editionNo":"1993","edition":"1st ed. 1993.","publisherPlace":"Boston, MA ; Boston, MA","dateIssuedKey":"1993","publisher":"Imprint: Birkhäuser ; Birkhäuser Boston","dateIssuedDisp":"1993."}],"physDesc":[{"extent":"1 Online-Ressource(XIV, 816 p.)"}],"relMultPart":[{"dispAlt":"Progress in computer science and applied logic","physDesc":[{"extent":"Online-Ressource"}],"origin":[{"publisherPlace":"Boston, Mass. ; Basel ; Berlin ; [Berlin ; Heidelberg]","dateIssuedDisp":"2007-","dateIssuedKey":"2007","publisher":"Birkhäuser ; Springer"}],"id":{"zdb":["2423784-X"],"eki":["564760587"]},"pubHistory":["24.2007 -"],"titleAlt":[{"title":"PCS"}],"part":{"number":["12"],"number_sort":["12"]},"disp":"Progress in Computer Science and Applied Logic","note":["Gesehen am 10.12.13"],"type":{"media":"Online-Ressource","bibl":"serial"},"language":["eng"],"recId":"564760587","title":[{"title_sort":"Progress in computer science and applied logic","title":"Progress in computer science and applied logic","subtitle":"(PCS)"}]}]}],"physDesc":[{"extent":"38 S."}],"id":{"eki":["184878094X"],"doi":["10.1007/978-1-4612-0325-4_2"]},"origin":[{"dateIssuedKey":"1993","dateIssuedDisp":"1993"}],"name":{"displayForm":["Klaus Ambos-Spies, Ding Decheng, Peter A. Fejer"]}} | ||
| SRT | |a AMBOSSPIESEMBEDDINGD1993 | ||