{
  "id": "1909.11163",
  "version": "v1",
  "published": "2019-09-24T20:32:26.000Z",
  "updated": "2019-09-24T20:32:26.000Z",
  "title": "Descriptive complexity of subsets of the space of finitely generated groups",
  "authors": [
    "Mustafa Gökhan Benli",
    "Burak Kaya"
  ],
  "categories": [
    "math.GR",
    "math.LO"
  ],
  "abstract": "In this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, we establish that the sets of solvable groups and groups of exponential growth are $\\mathbf{\\Sigma}^0_2$-complete and that the sets of periodic groups and groups of intermediate growth are $\\mathbf{\\Pi}^0_2$-complete. This paper is intended to serve as a compilation of results on this theme.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2019-09-24T20:32:26.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "20F65",
      "03E15"
    ],
    "keywords": [
      "finitely generated groups",
      "descriptive complexity",
      "group theoretic properties",
      "periodic groups",
      "intermediate growth"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}