Effective separation and reduction properties of Borel Wadge classes
In this paper, we use our descriptions of Borel Wadge classes from [A. R. Day, N. Greenberg, M. Harrison-Trainor and D. Turetsky, An effective classification of Borel Wadge classes] to characterize those Borel Wadge classes that have the separation property, and those that have the reduction property. Our analysis shows that both properties are equivalent to their effective versions. To do so, we give a characterization of containment between Borel Wadge classes based on their descriptions, and give a direct proof that all such classes admit admissible descriptions.
Authors
- Noam Greenberg (ORCID: https://orcid.org/0000-0003-2917-3848)
- Daniel Turetsky (ORCID: https://orcid.org/0000-0002-4154-4800)
Institutions
- Victoria University of Wellington (NZ)
Publication Details
- Journal
- Journal of Mathematical Logic
- Published
- 2025-08-15
- DOI
- https://doi.org/10.1142/s0219061325500187
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00