On January 26th 2017 I gave a talk at the Arctic Set Theory Workshop 3 in Kilpisjärvi, Finland, about $\operatorname{HOD}$ in $M_n(x,g)$. Here are my (very sketchy!) slides.
The following pictures are taken by Andrés Villaveces. Thank you Andrés!
On January 26th 2017 I gave a talk at the Arctic Set Theory Workshop 3 in Kilpisjärvi, Finland, about $\operatorname{HOD}$ in $M_n(x,g)$. Here are my (very sketchy!) slides.
The following pictures are taken by Andrés Villaveces. Thank you Andrés!