An Effective Classification of Borel Wadge Classes
Logic
2022-11-16 v1
Abstract
We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalb\'an. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem -I of second-order arithmetic.
Cite
@article{arxiv.2211.07961,
title = {An Effective Classification of Borel Wadge Classes},
author = {Adam Day and Noam Greenberg and Matthew Harrison-Trainor and Dan Turetsky},
journal= {arXiv preprint arXiv:2211.07961},
year = {2022}
}