Iterating the jump of a structure
Abstract
We had introduce the jump of a structure in Part I of this book series. We now iterate this jump through the transfinite. We show the first and second iterated-jump inversion theorems, and give some applications.
Fields of Study & Subjects
Computability
Logic
AI Algorithms
Advanced Topology and Set Theory
Mathematical and Theoretical Analysis
Publication details
- Journal / source
- Cambridge University Press eBooks
- Pages
- 179–190
- Publication date
- 30 January 2026
- Document type
- Book chapter