Event Detail
|
Fri Dec 5, 2025 60 Evans Hall 4–6 PM |
Logic Colloquium 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.