January 13 |
Uri Abraham Visiting Professor Department of Mathematical Sciences Carnegie Mellon University |
"What is Shelah's Revised GCH? Part 1" |
January 20 |
Uri Abraham Visiting Professor Department of Mathematical Sciences Carnegie Mellon University |
"What is Shelah's Revised GCH? Part 2" |
January 27 |
Katherine Thompson Nehari Visiting Assistant Professor Department of Mathematical Sciences Carnegie Mellon University |
"Methodologies for proving universality results" |
February 3 |
James Cummings Associate Professor Department of Mathematical Sciences Carnegie Mellon University |
"Polychrome Ramsey theory" |
February 10 | John Clemens
Assistant Professor Department of Mathematics Pennsylvania State University |
"Fixed points of isometries of Urysohn's space" |
February 15 Special Tuesday lecture |
Menachem Magidor President Hebrew University |
"Lowenheim Skolem theorems for fragments of second order logic" |
February 24 | No meeting |
|
March 3 | No meeting |
|
March 10 | Spring Break |
|
March 17 | No meeting |
|
March 22 Special Tuesday lecture |
Thomas Forster Department of Pure Mathematics and Mathematical Statistics University of Cambridge |
"A Logician looks at BQOs" |
March 31 |
Steve Awodey Associate Professor Department of Philosophy Carnegie Mellon University |
"A new Kripke completeness theorem for λ calculus" |
April 7 |
Michael Rathjen Professor Department of Mathematics Ohio State University |
"The disjunction and existence property for intuitionistic set theories" |
April 14 | Spring Carnival |
|
April 21 |
Ernest Schimmerling Associate Professor Department of Mathematical Sciences Carnegie Mellon University |
"Coherent sequences and threads" |
April 28 |
Alexei Kolesnikov Department of Mathematics University of Michigan |
"Fundamental order in simple theories" |