A Hierarchy of Turing Degrees : : A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206) / / Noam Greenberg, Rod Downey.
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 suitable to topology, group theory, and other subfields.In A Hierarchy of...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2020 English |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2020] ©2020 |
Year of Publication: | 2020 |
Language: | English |
Series: | Annals of Mathematics Studies ;
382 |
Online Access: | |
Physical Description: | 1 online resource (240 p.) :; 3 b/w illus. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Other title: | Frontmatter -- Contents -- Acknowledgments -- Chapter One. Introduction -- Chapter Two. ɑ-c.a. functions -- Chapter Three. The hierarchy of totally ɑ-c.a. degrees -- Chapter Four. Maximal totally ɑ-c.a. degrees -- Chapter Five. Presentations of left-c.e. reals -- Chapter Six. m-topped degrees -- Chapter Seven. Embeddings of the 1-3-1 lattice -- Chapter Eight. Prompt permissions -- Bibliography |
---|---|
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 suitable to 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. |
Format: | Mode of access: Internet via World Wide Web. |
ISBN: | 9780691200217 9783110704716 9783110704518 9783110704846 9783110704662 9783110494914 9783110690088 |
DOI: | 10.1515/9780691200217?locatt=mode:legacy |
Access: | restricted access |
Hierarchical level: | Monograph |
Statement of Responsibility: | Noam Greenberg, Rod Downey. |