Chargement en cours…
Higher recursion theory /
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Cambridge ; New York :
Cambridge University Press,
[2016]
|
| Collection: | Perspectives in logic ;
2. |
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- Constructive ordinals and sets
- The hyperarithmetic hierarchy
- Predicates of reals
- Measure and forcing
- Metarecursive enumerability
- Hyperregularity and priority
- Admissibility and regularity
- Priority arguments
- Splitting, density and beyond
- E-closed structures
- Forcing computations to converge
- Selection and k-sections
- E-recursively enumerable degrees.