MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1186

Preprint Number 1186

Previous Next Preprint server


1186. Isabel Müller and Rizos Sklinos
Nonequational Stable Groups
E-mail:

Submission date: 12 March 2017

Abstract:

We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a transparent proof for the nonequationality of the free group, which was originally proved by Sela. Furthermore, we extend this result to arbitrary free products of groups (except Z_2 * Z_2), providing an abundance of new stable nonequational theories.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1703.04169: pdf, ps.


Last updated: April 3 2017 12:09 Please send your corrections to: