Journal
JOURNAL OF ALGEBRA
Volume 302, Issue 2, Pages 451-552Publisher
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.jalgebra.2006.03.033
Keywords
free group; elementary theory
Categories
Ask authors/readers for more resources
We prove that any two non-abelian free groups have the same elementary theory and that this theory is decidable. These results solve two questions that were raised by Tarski in 1945. (c) 2006 Elsevier Inc. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available