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.
Original language | English |
---|---|
Pages (from-to) | 101-108 |
Number of pages | 8 |
Journal | Electronic Research Announcements of the American Mathematical Society |
Volume | 4 |
Issue number | 14 |
DOIs | |
State | Published - 14 Dec 1998 |
Keywords
- Elementary theory
- Free group
- Tarski