We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO
< prev | next >
new | recent | 2109

Change to browse by:

math
math.GR

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Rich groups, weak second order logic, and applications

Authors: Olga Kharlampovich, Alexei Myasnikov, Mahmood Sohrabi
(Submitted on 27 Sep 2021)
Abstract: In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are quite a lot of finitely generated rich groups, they are somewhere in between hyperbolic and nilpotent groups (these ones are not rich). We provide some methods to prove that groups (and other structures) are rich and describe some of their properties. As corollaries we look at Malcev's problems in various groups.
Comments: This a mainly expository paper, the final version of which appeared as a contribution to the book "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter
Subjects: Logic (math.LO); Group Theory (math.GR)
Journal reference: "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter
Cite as: arXiv:2109.13133 [math.LO]
  (or arXiv:2109.13133v1 [math.LO] for this version)

Submission history

From: Olga Kharlampovich [view email]
[v1] Mon, 27 Sep 2021 15:52:41 GMT (60kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.