Nonequational Stable Groups
From MaRDI portal
Publication:6284242
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 proof for the nonequationality of the free group. Furthermore, we generalize the latter result to the first-order theory of any free product of groups of the form .
This page was built for publication: Nonequational Stable Groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6284242)
