Hierarchy of Turing Degrees - A Transfinite Hierarchy of Lowness Notions in Computably Enumerable

"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"--

About the author

Rod Downey and Noam Greenberg are professors of mathematics at Victoria University of Wellington in New Zealand. Downey is the coauthor of Parameterized Complexity, Algorithmic Randomness and Complexity, and Fundamentals of Parameterized Complexity. Greenberg is the author of The Role of True Finiteness in the Admissible Recursively Enumerable Degrees.

Summary

Computability theory is a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field has developed growing connections in diverse areas of mathematics, with applications in topology, group theory, and other subfields.In A Hierarchy of Turing Degrees, Rod Downey and Noam Greenberg introduce

Product details

• Authors: Rod Downey, Rod Greenberg Downey, Downey Rod, Noam Greenberg, Greenberg Noam
• Publisher: Princeton University Press
• Languages: English
• Product format: Paperback / Softback
• Released: 30.06.2020
• EAN: 9780691199665
• ISBN: 978-0-691-19966-5
• No. of pages: 234
• Series: Annals of Mathematics Studies
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries; COMPUTERS / Computer Science, MATHEMATICS / Applied, MATHEMATICS / Logic, computer science, Applied mathematics, Mathematical logic