E.g., 2018 Dec 11
E.g., 2018 Dec 11
Tue Aug 23, 2016
2:55 PM
Malott 206
Richard ShoreCornell University
Organizational meeting
Wed Aug 24, 2016
4:00 PM
Malott 206
Richard ShoreCornell University
An introduction to computable reducibilities
Tue Aug 30, 2016
2:55 PM
Malott 206
Carl JockuschUniversity of Illinois at Urbana-Champaign
Effective analysis of a combinatorial problem using the probabilistic method I
Wed Aug 31, 2016
2:45 PM
Malott 206
Carl JockuschUniversity of Illinois at Urbana-Champaign
Effective analysis of a combinatorial problem using the probabilistic method II
Tue Sep 6, 2016
2:55 PM
Malott 206
Maryanthe MalliarisUniversity of Chicago
Graphs through the lens of ultrapowers
Wed Sep 7, 2016
4:00 PM
Malott 206
Jamie BarnesCornell University
Uniform relations between combinatorial problem I
Tue Sep 13, 2016
2:55 PM
Malott 206
Damir DzhafarovUniversity of Connecticut
The uniform content of partial and linear orders
Wed Sep 14, 2016
4:00 PM
Malott 206
Damir DzhafarovUniversity of Connecticut
Ramseys theorem for singletons and strong computable reducibility
Tue Sep 20, 2016
2:55 PM
Malott 206
Haim HorowitzHebrew University of Jerusalem
On the non-existence and definability of mad families
Wed Sep 21, 2016
4:00 PM
Malott 206
Jamie BarnesCornell University
Uniform relations between combinatorial problem II
Tue Sep 27, 2016
2:55 PM
Malott 206
Iian SmytheCornell University
Complete combinatorics for forcing with vector subspaces
Wed Sep 28, 2016
4:00 PM
Malott 206
Jun Le GohCornell University
Weihrauch reductions between Koenig's lemma and versions of Ramsey's theorem
Tue Oct 4, 2016
2:55 PM
Malott 206
Sam SandersMunich Center for Mathematical Philosophy
On the interplay between Nonstandard Analysis and computability theory
Wed Oct 5, 2016
4:00 PM
Malott 206
Sam SandersMunich Center for Mathematical Philosophy
The unreasonable effectiveness of Nonstandard Analysis
Tue Oct 11, 2016
2:55 PM
Malott 206
No talk today
Wed Oct 12, 2016
4:00 PM
Malott 206
No talk today
Tue Oct 18, 2016
2:55 PM
Malott 206
Romin AbdolahzadiCornell University
Recovering smooth curves from their Jacobians in characteristic p
Wed Oct 19, 2016
4:00 PM
Malott 206
Jun Le GohCornell University
Generalized uniform reducibilities: the reduction game
Tue Oct 25, 2016
2:55 PM
Malott 206
Scott Messick
Encoding-free foundations, continued
Wed Oct 26, 2016
4:00 PM
Malott 206
Jun Le GohCornell University
Generalized uniform reducibilities: counting instances
Tue Nov 1, 2016
2:55 PM
Malott 206
Hossein Lamei RamandiCornell University
Bases for Aronszajn trees
Wed Nov 2, 2016
4:00 PM
Malott 206
Slawomir SoleckiUniversity of Illinois at Urbana-Champaign
Infinite Ramsey theory and monoid actions
Tue Nov 8, 2016
2:55 PM
Malott 206
Liron CohenCornell University
A minimal predicative framework for formalizing mathematics
Wed Nov 9, 2016
4:00 PM
Malott 206
Jun Le GohCornell University
How hard is it to compute homogeneous sets for colorings?
Wed Nov 16, 2016
4:00 PM
Malott 206
Iian SmytheCornell University
On the uniform computational content of Ramsey's theorem I
Tue Nov 22, 2016
2:55 PM
Malott 206
Justin MooreCornell University
ϵ0 and Richard Thompson's group F
Tue Nov 29, 2016
2:55 PM
Malott 206
Howard BlairSyracuse University
Some remarks on quantum logic, the Kochen-Specker theorem and entanglement
Wed Nov 30, 2016
4:00 PM
Malott 206
Iian SmytheCornell University
On the uniform computational content of Ramsey's theorem II
Tue Jan 31, 2017
2:55 PM
Malott 206
Justin MooreCornell University
A new way of representing ϵ0
Wed Feb 1, 2017
4:00 PM
Malott 206
Justin MooreCornell University
The combinatorics of the club filter and the size of the continuum
Tue Feb 7, 2017
2:55 PM
Malott 206
Sergei ArtemovCUNY Graduate Center
Reasoning with justifications
Wed Feb 8, 2017
4:00 PM
Malott 206
Sergei ArtemovCUNY Graduate Center
Knowing the mode
Tue Feb 14, 2017
2:55 PM
Malott 206
Mark BickfordCornell University
Title TBA
Wed Feb 15, 2017
4:00 PM
Malott 206
Mark BickfordCornell University
Title TBA
Wed Feb 22, 2017
4:00 PM
Malott 206
Garrett ErwinUniversity of California at Irvine
The cube problem for linear orders
Tue Feb 28, 2017
2:55 PM
Malott 206
Iian SmytheCornell University
Ramsey spaces, part I
Wed Mar 1, 2017
4:00 PM
Malott 206
Iian SmytheCornell University
Ramsey spaces, part II
Tue Mar 7, 2017
2:55 PM
Malott 206
James BarnesCornell University
Title TBA
Wed Mar 8, 2017
4:00 PM
Malott 206
James BarnesCornell University
Title TBA
Wed Mar 15, 2017
4:30 PM
Malott 206
David NicholsUniversity of Connecticut
Non-commutative linear logic, the Lambek calculus, and their extensions
Tue Mar 21, 2017
2:55 PM
Malott 206
Stepan KuznetsovUniversity of Pennsylvania
Title TBA
Wed Mar 22, 2017
4:00 PM
Malott 206
Stepan KuznetsovUniversity of Pennsylvania
Title TBA
Tue Mar 28, 2017
2:55 PM
Malott 206
Hossein Lamei RamandiCornell University
Title TBA
Wed Mar 29, 2017
4:00 PM
Malott 206
Hossein Lamei RamandiCornell University
Title TBA
Tue Apr 4, 2017
2:55 PM
Malott 206
No talk today (Spring Break)
Wed Apr 5, 2017
4:00 PM
Malott 206
No talk today (Spring Break)
Tue Apr 11, 2017
2:55 PM
Malott 206
Shihao XiongCornell University
Title TBA
Wed Apr 12, 2017
4:00 PM
Malott 206
Shihao XiongCornell University
Title TBA
Tue Apr 18, 2017
2:55 PM
Malott 206
Jun Le GohCornell University
Title TBA
Wed Apr 19, 2017
4:00 PM
Malott 206
Jun Le GohCornell University
Title TBA
Tue Apr 25, 2017
2:55 PM
Malott 206
Smaranda SanduCornell University
On language-based games
Wed Apr 26, 2017
4:00 PM
Malott 206
Smaranda SanduCornell University
On language-based games
Tue May 2, 2017
2:55 PM
Malott 206
Howard BlairSyracuse University
Quantum immunity of blockchain and related e-signature protocols
Wed May 3, 2017
4:00 PM
Malott 206
Howard BlairSyracuse University
Quantum immunity of blockchain and related e-signature protocols
Tue May 9, 2017
2:55 PM
Malott 206
Russell MillerCUNY
Genericity, infinitary interpretations, and automorphism groups of structures
Wed May 10, 2017
4:00 PM
Malott 206
Russell MillerCUNY
Computable reducibility on equivalence relations on Cantor space