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    


Click for information about past seminar talks: