Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1721

Preprint Number 1721

Previous Next Preprint server

1721. Olga Kharlampovich and Christopher Natoli
Non-∀-homogeneity in free groups

Submission date: 27 January 2020


We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not ∀-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated elementary free groups, and non-abelian limit groups form special kinds of Fraïssé classes in which embeddings must preserve ∀-formulas. We also provide interesting examples of countable non-finitely generated elementary free groups.

Mathematics Subject Classification: 03C60 (Primary) 20E05, 20F70 (Secondary)

Keywords and phrases:

Full text arXiv 2001.09904: pdf, ps.

Last updated: March 23 2021 09:21 Please send your corrections to: