- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
The Tarski Theorems and Elementary Free Groups (Algebras, logics, languages and related areas)
-
- Fine, Benjamin
- Department of Mathematics, Fairfield University
Bibliographic Information
- Other Title
-
- The Tarski Theorems and Elementary Free Groups
Search this article
Description
Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian 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 and provide the basic startegy for the proof. We finish with a brief discussion of elementary free groups, that is groups that have exactly the same elementary theory as the class of nonabelian free groups
Journal
-
- RIMS Kokyuroku
-
RIMS Kokyuroku 2096 77-87, 2018-12
京都大学数理解析研究所
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050848249740876672
-
- NII Article ID
- 120006861352
-
- NII Book ID
- AN00061013
-
- ISSN
- 18802818
-
- HANDLE
- 2433/251739
-
- NDL BIB ID
- 029623947
-
- Text Lang
- en
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- NDL Search
- CiNii Articles