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    


Tuesday 31 January 2017    

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

Andy Zucker    


Tuesday 21 February 2017    

Using model theory to find upper bounds on VC density    

Deirdre Haskell    


Tuesday 28 February 2017    

Backus FP is Turing complete    

Rick Statman    


Tuesday 21 March 2017    

Freedom of action in combinatorial terms    

Dana Bartošová    


Tuesday 28 March 2017    

A polarized partition theorem for large saturated linear orders    

Jing Zhang    


Click for information about past seminar talks: