Skip to main content
Journal ArticleOPEN ACCESS

Tarski’s problem about the elementary theory of free groups has a positive solution

Electronic Research Announcements of the American Mathematical Society (1998) 4(14) 101-108
DOI: 10.1090/S1079-6762-98-00047-X
30Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

We prove that the elementary theories of all nonabelian free groups coincide and that the elementary theory of a free group is decidable. These results answer two old questions that were raised by A. Tarski around 1945. © 1998 American Mathematical Society.

Author supplied keywords

Cite

CITATION STYLE

APA

Kharlampovich, O., & Myasnikov, A. (1998). Tarski’s problem about the elementary theory of free groups has a positive solution. Electronic Research Announcements of the American Mathematical Society, 4(14), 101–108. https://doi.org/10.1090/S1079-6762-98-00047-X

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free