BOREL WADGE CLASSES AND SELIVANOV’S FINE HIERARCHY I: EXTENDING TO THE HYPERARITHMETIC
Abstract We show how to extend Selivanov’s fine hierarchy using descriptions of Borel Wadge classes. We give a game characterisation of containment between classes. We show that every class in the extended fine hierarchy has an admissible description, and use this to calculate heights in the hierarchy.
Authors
- Noam Greenberg (ORCID: https://orcid.org/0000-0003-2917-3848)
- Daniel Turetsky (ORCID: https://orcid.org/0000-0002-4154-4800)
- RENRUI QI
Institutions
- Victoria University (UG)
Publication Details
- Journal
- Journal of Symbolic Logic
- Published
- 2026-04-16
- DOI
- https://doi.org/10.1017/jsl.2026.10205
- Primary Topic
- Renaissance Literature and Culture
- Type
- article
- Field-Weighted Citation Impact
- 0.00