Interpreting the arithmetic in Thompson's group \(F\).

From MaRDI portal
Publication:995623