Pi-one-one sets
Abstract
We introduce Pi-1-1 sets and prove some of the basic key results. These include descriptive set theoretic results as Sigma-1-1-bounding and the Gandy basis theorem, together with applications to computable structure theory.
Fields of Study & Subjects
Computability
Logic
AI Algorithms
Advanced Topology and Set Theory
programming
and type systems
Publication details
- Journal / source
- Cambridge University Press eBooks
- Pages
- 57–68
- Publication date
- 30 January 2026
- Document type
- Book chapter