Logic Seminar
Tuesday, January 31, 2017 - 2:55pm
Malott 206
I will present pre-well order on a certain family of finite symmetric matrices and show that the associated quotient is isomorphic to the ordinal \(\epsilon_0\). This pre-order arises naturally in the study of subgroups of Richard Thompson's group \(F\).