Logic Seminar

Romin Abdolahzadi Cornell University
Profinite Model Theory

Tuesday, February 11, 2020 - 2:55pm
Malott 206

Following Cherlin, van den Dries, and Macintyre’s paper on Regularly Closed Fields, we prove a duality between profinite groups and first-order structures to subsequently define a cologic for profinite groups.