Events by date

Andrej Vukovic, Pure Math Department, University of Waterloo   "Univalence Implies Function Extensionality"   Since we did not get around to it last time, in this week's meeting of the Homotopy Type Theory Seminar, we prove that univalence implies function extensionality.   MC 5413

Daniel Perales Anaya, Pure Math Department, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

Remi Jaoui, Pure Math Department, University of Waterloo

"Pseudo-finite sets and dimension, Part 5"

In this second talk on probability logic, I will discuss stability for terms (or real-valued formulas) in probability logic.

  MC 5403