Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree

• Verfasst von: Ambos-Spies, Klaus [VerfasserIn]
• Verfasst von: Decheng, Ding [VerfasserIn]
• Verfasst von: Fejer, Peter A. [VerfasserIn]
• Titel: Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree
• Verf.angabe: Klaus Ambos-Spies, Ding Decheng, Peter A. Fejer
• Jahr: 1993
• Umfang: 38 S.
• Fussnoten: Gesehen am 12.06.2023
• Titel Quelle: Enthalten in: Logical methods
• Ausgabe Quelle: 1st ed. 1993.
• Ort Quelle: Boston, MA : Imprint: Birkhäuser, 1993
• Jahr Quelle: 1993
• Band/Heft Quelle: (1993), Seite 92-129
• ISBN Quelle: 978-1-4612-0325-4
• DOI: doi:10.1007/978-1-4612-0325-4_2
• Datenträger: Online-Ressource
• Sprache: eng
• K10plus-PPN: 184878094X

Abstract

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.