Interpreting the arithmetic in Thompson's group F
群论
2007-05-23 v1 逻辑
摘要
We prove that the elementary theory of Thompson's group is hereditarily undecidable.
引用
@article{arxiv.math/0701748,
title = {Interpreting the arithmetic in Thompson's group F},
author = {Vladimir Tolstykh and Valery Bardakov},
journal= {arXiv preprint arXiv:math/0701748},
year = {2007}
}