Loading…
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability /
"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 h...
| Call Number: | Libro Electrónico |
|---|---|
| Main Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Princeton :
Princeton University Press,
2020.
|
| Series: | Annals of mathematics studies ;
no. 206, 385. |
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- [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.