An effective classification of Borel Wadge classes

Add to your list(s) Download to your calendar using vCal

• Noam Greenberg (Victoria University of Wellington)
• Tuesday 07 June 2022, 09:00-10:00
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

SASW09 - International conference on computability, complexity and randomness

In 1983, Louveau completed the work started by Wadge in his thesis, and gave a complete classification of Borel Wadge classes. Later, Louveau and Saint-Raymond used this classification to give a proof of Borel Wadge determinacy in second-order arithmetic.  We describe how to give an effective and streamlined classification. Being dynamic in spirit, we consider names of Borel sets as decision processes (or approximation) for membership, rather than static descriptions of classes as being built from simpler classes using Boolean operations.  Joint with Matthew Harrison-Trainor and Dan Turetsky

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.