Cargando…
Higher recursion theory /
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
[2016]
|
| Colección: | Perspectives in logic ;
2. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.