Strong Representation of Pi03 Sets and Dichotomies
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
MIT Sloan AI Adoption: Build a Playbook That Drives Real Business ROI
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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)