Interpreting the arithmetic in Thompson's group F

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We prove that the elementary theory of Thompson's group $F$ is hereditarily undecidable.

Keywords

Group Theory, Logic, 20F65 (03C35, 03C60)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/122671

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0701748
 http://arxiv.org/abs/math/0701748

Collections

arXiv