Author's Department

Mathematics & Actuarial Science Department

Find in your Library

https://doi.org/10.1090/bproc/165

All Authors

Isabel Müller, Rizos Sklinos

Document Type

Research Article

Publication Title

Proceedings of the American Mathematical Society, Series B

Publication Date

1-1-2024

doi

10.1090/bproc/165

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 G * Fω.

First Page

254

Last Page

264

Comments

Article. Record derived from SCOPUS.

Included in

Mathematics Commons

Share

COinS