Events

Computability Seminar: Greg Igusa - University of Notre Dame

Thu Sep 3, 2015 3:00PM - 4:00PM • 125 Hayes-Healy Hall

Calendars: Computability Seminar and Logic Seminars

Title: Computable Ramsey's Theorem for pairs needs infinitely many $\Pi^0_2$ sets

Abstract

View Upcoming Events

Subscribe to iCal