Theory of square-like abelian groups is decidable
| dc.creator | Belegradek, Oleg | |
| dc.date | 2006-02-10 | |
| dc.date.accessioned | 2026-07-07T07:03:17Z | |
| dc.date.available | 2026-07-07T07:03:17Z | |
| dc.description | A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory of square-like abelian groups is decidable. This answers a question posed by D. Spellman. | |
| dc.description | 10 pages, AMS-LaTeX, minor formatting change in abstract | |
| dc.identifier | https://arxiv.org/abs/math/0602203 | |
| dc.identifier | http://arxiv.org/abs/math/0602203 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/108914 | |
| dc.subject | Logic | |
| dc.subject | Group Theory | |
| dc.subject | 20A15 (Primary); 20K99; 20E26; 03C60; 03D35 (Secondary) | |
| dc.title | Theory of square-like abelian groups is decidable | |
| dc.type | text |