Logic Seminar

Justin MooreCornell University
A new way of representing \(\epsilon_0\)

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\).