Strong Representation of Pi03 Sets and Dichotomies
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube
Stuck in Tutorial Hell? Learn Backend Dev the Right Way
Live Online Classes in Design, Coding & AI — Small Classes, Free Retakes
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore advanced topics in descriptive set theory through this 45-minute conference talk examining strong representations of Pi03 sets and their applications to dichotomy theorems. Delve into the mathematical foundations stemming from the G0-dichotomy for countable Borel colorings and related results on separating disjoint analytic sets using countable unions of Borel rectangles. Learn about level-by-level versions of these fundamental results across the first levels of the Borel hierarchy, as established by Lecomte and Zeleny's previous work. Discover a novel approach to Baire class two colorings that builds upon the Borel set representation framework developed by Debs and Saint Raymond, with particular emphasis on strengthening this representation for Pi03 sets. Understand how effective topologies play a crucial role in this mathematical framework and examine the collaborative research findings developed with Greenberg, Turetsky, and Zeleny in the context of reverse mathematics and higher computability theory.
Syllabus
Dominique Lecomte - Strong representation of Pi03 sets and dichotomies
Taught by
Erwin Schrödinger International Institute for Mathematics and Physics (ESI)