The Tarski Problems and Their Solutions: Scienti�c Observation

Fine, Benjamin and Gaglione, Anthony and Rosenberger, Gerhard and Spellman, Dennis (2020) The Tarski Problems and Their Solutions: Scienti�c Observation. In: Recent Studies in Mathematics and Computer Science Vol. 4. B P International, pp. 8-32. ISBN 978-93-90206-12-4

Full text not available from this repository.

Abstract

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 group theory. In this
paper we explain precisely the Tarski problems and what was actually proved. We then discuss the
history of the solution as well the components of the proof. We then provide the basic startegy for
the proof. We finish with a brief discussion of elementary free groups.

Item Type: Book Section
Subjects: Eurolib Press > Mathematical Science
Depositing User: Managing Editor
Date Deposited: 04 Nov 2023 07:02
Last Modified: 04 Nov 2023 07:02
URI: http://info.submit4journal.com/id/eprint/2922

Actions (login required)

View Item
View Item