Upcoming Events For Computability Seminar


Past Events

Thu Feb 25, 2016

Computability Seminar: Joseph Miller - University of Wisconsin - Madison

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Subclasses of the K-trivial degrees

Abstract

Posted In: Computability Seminar

Thu Nov 19, 2015

Computability Seminar: Ludovic Patey - Université Paris Diderot (VII)

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Ramsey's theorem of compactness

Abstract

Posted In: Computability Seminar

Thu Nov 5, 2015

Computability Seminar: Noah Schweber - University of California, Berkeley

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Higher-order reverse mathematics

Abstract

Posted In: Computability Seminar

Thu Oct 15, 2015

Computability Seminar: Mariya Soskova - Sofia University

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Co-total enumeration degrees and the skip operator

Abstract

Posted In: Computability Seminar

Thu Sep 17, 2015

Computability Seminar: Rose Weisshaar - University of Notre Dame

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Understanding the Paris-Harrington Theorem, Part 1

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Sep 10, 2015

Computability Seminar: Rose Weisshaar - University of Notre Dame

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Understanding the Paris-Harrington Theorem, Part 1

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Sep 24, 2015

Computability Seminar: Meng-Che (Turbo) Ho

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

Title: Describing groups

Abstract

Posted In: Computability Seminar and Logic Seminars

Thu Sep 3, 2015

Computability Seminar: Greg Igusa - University of Notre Dame

3:00 PM - 4:00 PM
125 Hayes-Healy Hall

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

Abstract

Posted In: Computability Seminar and Logic Seminars

Tue Apr 21, 2015

Computability Seminar: Jonny Stephenson - Valparaiso University

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Effective packing dimension and array noncomputability

Abstract

Posted In: Computability Seminar

Wed Mar 18, 2015

Computability Seminar: Matteo Bianchetti - University of Notre Dame, Department of Philosophy

2:00 PM - 3:00 PM
258 Hurley Hall

Title: Infinite Time Turing Machines

Abstract

Posted In: Computability Seminar

Wed Jan 28, 2015

Computability Seminar: Quinn Culver - University of Notre Dame

2:00 PM - 3:00 PM
258 Hurley Hall

Title: Yet another almost-sure result in probability holds on the randoms; a new law of large numbers

Abstract

Posted In: Computability Seminar

Tue Nov 11, 2014

Computability Seminar: Eric Astor - University of Chicago

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Intrinsic Density and Effective Negligibility

ABSTRACT

Posted In: Computability Seminar