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)$.
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)$.
The following pictures are taken by Andrés Villaveces. Thank you Andrés!