Logic Seminar
Peter Cholak, University of Notre Dame, Indiana
Event Details
Date
Monday, February 3, 2020
Time
4 p.m.
Location
B139 Van Vleck Hall
Description
SRT22 does not imply RT22 in ω-models, part 3
Cost
Free
Contact