Skip to main content

Logic Seminar

Peter Cholak, University of Notre Dame, Indiana

Event Details

Date
Monday, February 3, 2020
Time
4 p.m.
Location
Description
SRT22 does not imply RT22 in ω-models, part 3
Cost
Free

Tags