Theory of square-like abelian groups is decidable

Details Theory of square-like abelian groups is decidable Theory of square-like abelian groups is decidable

2006-02-10

arxiv.org/abs/math/0602203v1

Mathematics

Logic

10 pages, AMS-LaTeX, minor formatting change in abstract

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Theory of square-like abelian groups is decidable does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Theory of square-like abelian groups is decidable, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Theory of square-like abelian groups is decidable will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-600096