21804 Mathematical logic seminar

21804 Mathematical logic seminar

Please contact James Cummings if you would like to speak or to suggest a speaker.

The seminar will usually meet 3:30pm-4:30pm on Tuesday, in Wean Hall 8220

ü ü ü ü ü ü ü
Tuesday 24 January 2017    

Universal graphs    

James Cummings    

Abstract    

Tuesday 31 January 2017    

An ultrafilter proof of the 2-dimensional Halpern-Laüchli Theorem    

Andy Zucker    

Abstract    

Tuesday 21 February 2017    

Using model theory to find upper bounds on VC density    

Deirdre Haskell    

Abstract    

Tuesday 28 February 2017    

Backus FP is Turing complete    

Rick Statman    

Abstract    

Tuesday 21 March 2017    

Freedom of action in combinatorial terms    

Dana Bartošová    

Abstract    

Tuesday 28 March 2017    

A polarized partition theorem for large saturated linear orders    

Jing Zhang    

Abstract    

Tuesday 11 April 2017    

Definable subsets of singular cardinals    

James Cummings    

Abstract    

Monday June 5 2017    

Natasha Dobrinen    

The big Ramsey degrees for the universal triangle-free graph    

Abstract    

Click for information about past seminar talks: