An Effective Classification of Borel Wadge Classes

MaRDI QIDQ6417300zbMATH OpenFDO

Authors Adam R. Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky

Publication date 15 November 2022

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

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 $ext{ATR}_0+P{i}_1^1$-I of second-order arithmetic.

This page was built for publication: An Effective Classification of Borel Wadge Classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6417300)