Overspill
Abstract
Overspill is a powerful tool for arguments at the boundary of the hyperarithmetic. We take the Harrison-linear ordering approach to overspill arugments. We used them to introduce structures of high-Scott rank.
Fields of Study & Subjects
Advanced Topology and Set Theory
Computability
Logic
AI Algorithms
Mathematical and Theoretical Analysis
Publication details
- Journal / source
- Cambridge University Press eBooks
- Pages
- 85–100
- Publication date
- 30 January 2026
- Document type
- Book chapter