Logic Seminar

Dexuan HuCornell University
Analytic P-ideals and Tukey Reducibility

Tuesday, December 1, 2020 - 3:00pm
Zoom meeting 922 0989 3006

This talk will focus on a result due to A. Louveau and B. Velickovic. They study the class of analytical ideals on the set of natural numbers ordered under Tukey reducibility. They prove that one can embed the powerset of natural numbers ordered under almost inclusion into this structure. I will present important definitions and theorems related to this topic and give a detailed proof of the main theorem.