Publications > Preprint server > Preprint Number 1186
Preprint Number 1186
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: |
Last updated: March 23 2021 09:20 | Please send your corrections to: |