Model Theory Seminar: Katie Ellman-Aspnes - University of Notre Dame

Time: Tue Aug 30, 2022, 10:30 am - 11:30 am

Location: 125 Hayes-Healy Bldg

Title: Elimination of the "there exist infinitely many" quantifier in Pregeometric Fields