The Tarski Problems and Their Solutions: Scientific Observation

Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of nonabelian free groups. These remained open for 60 years until they were proved by O. Kharlampovich and A. Myasnikov and independently by Z. Sela. The proofs, by both sets of authors, were monumental and involved the development of several new areas of infinite…
Read more


August 25, 2020 0