Upcoming Events

Logic Colloquium

December 05, 2025, 4:10 PM

60 Evans Hall

Obrad Kasum
UCLA

On the minimum model of AD_R + “Theta is regular”

We will discuss a recursive, L-like construction of the minimum model of AD_R + “Theta is regular”, and some related topics.