2026-07-03T08:39:55Zhttps://ce.visuallibrary.net/ulbd/oai/

oai:ce.visuallibrary.net/ulbd:10667522020-09-14T15:00:01Zulbdcebook

vls/2603nrwcece.visuallibrary.netvdAhierarchy of Turing degreesa transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definabilityDowney, R. G.autGreenberg, NoamauttextbookPrincetonOxfordPrinceton University Press20202020monographicengviii, 222 SeitenIllustrationen[alpha]-c.a. functions -- The hierarchy of totally [alpha]-c.a. degrees -- Maximal totally [alpha]-c.a. degrees -- Presentations of left-c.e. reals -- m-topped degrees -- Embeddings of the 1-3-1 lattice -- Prompt permissions."This book presents new results in computability theory, a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field's connections with disparate areas of mathematical logic and mathematics more generally have grown deeper, and now have a variety of applications in topology, group theory, and other subfields. This monograph establishes new directions in the field, blending classic results with modern research areas such as algorithmic randomness. The significance of the book lies not only in the depth of the results contained therein, but also in the fact that the notions the authors introduce allow them to unify results from several subfields of computability theory"--Rod Downey, Noam GreenbergUnsolvability (Mathematical logic)Computable functionsRecursively enumerable sets|QA9.63KXP1693553872978-0-691-19965-8978-0-691-19966-5HT020537129Annals of mathematics studiesnumber 206HT001233128Online-Ausgabe, ebook978-0-691-20021-76/02200040022Down294/2200022013DOW-5906046641TCL489470800TVA/GRE46861/4545matb.d7483612020072720200817148321601rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3D148321601+X0001 https://ce.visuallibrary.net/id/1066752 https://ce.visuallibrary.net/i3f/v20/1066752/manifest https://ce.visuallibrary.net/proto_ftsearch/1066752