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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interpreting the arithmetic in Thompson's group \(F\).
scientific article

    Statements

    Interpreting the arithmetic in Thompson's group \(F\). (English)
    0 references
    0 references
    0 references
    3 September 2007
    0 references
    Thompson group \(F\)
    0 references
    first-order formulae
    0 references
    hereditarily undecidable elementary theories
    0 references
    definable subgroups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references