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 a new hierarchy that allows them to classify the
combinatorics of constructions from many areas of computability
theory, including algorithmic randomness, Turing degrees, effectively
closed sets, and effective structure theory. This unifying hierarchy
gives rise to new natural definability results for Turing degree
classes, demonstrating how dynamic constructions become reflected in
definability. Downey and Greenberg present numerous construction
techniques involving high-level nonuniform arguments, and their
self-contained work is appropriate for graduate students and
researchers. Blending traditional and modern research results in
computability theory, A Hierarchy of Turing Degrees establishes novel
directions in the field.
Les mer
A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability
Produktdetaljer
ISBN
9780691200217
Publisert
2020
Utgiver
Princeton University Press
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter