Tarski problems

Tarski problems
Name	Tarski problems
Field	Mathematical logic; Model theory; Group theory
Introduced	1940s–1950s
Key figures	Alfred Tarski; A. Ivan Tarski; Sergiu Hart; Alain G. M. Tarski
Notable results	Makanin–Razborov diagrams; Sela's work; Kharlampovich–Myasnikov theorems

Tarski problems describe a set of foundational questions in Model theory and Group theory posed by Alfred Tarski about the first-order theory and elementary properties of free groups and related algebraic structures. The problems connect themes from Logic; Universal algebra; Combinatorial group theory; Geometric group theory and have driven developments involving Makanin, Razborov, Zlil Sela, Olga Kharlampovich, and Alexei Myasnikov.

History and formulation

Tarski first articulated questions about first-order theories of free groups and related structures in correspondence and lectures that engaged figures such as John von Neumann, Alfred Tarski's students, and contemporaries at institutions like University of California, Berkeley and Institute for Advanced Study. Early contributors included A. I. Malcev and A. Gurevich; later influential work arose from G. S. Makanin on equations over free groups and A. Razborov's geometric refinement. The formulation asked whether the first-order theory of a non-abelian free group is decidable, whether all non-abelian free groups are elementarily equivalent, and how to characterize elementary theories in terms of algebraic and topological invariants used by Magnus, HNN extension theory, and Bass–Serre theory.

Tarski's problems about theories of groups

Tarski's list included specific conjectures about the elementary theory of free groups, questions about existential and universal theories studied by Makanin and Razborov, and broader problems about elementary classification connected to Sela's program and work by Kharlampovich and Myasnikov. The problems referenced classical objects such as free abelian groups, surface groups, and structures appearing in Combinatorial group theory and Geometric group theory, linking to techniques used in the study of Nielsen transformations, Dehn's algorithm, and JSJ decompositions.

Decidability and decidability results

Decidability questions led to landmark results: Makanin proved decidability for solvability of equations over free groups, while Razborov developed diagrammatic techniques culminating in Makanin–Razborov diagrams. Later, Sela and Kharlampovich–Myasnikov independently established decidability of the elementary theory for non-abelian free groups, connecting to methods from Bass–Serre theory and Rips theory. These results interacted with decidability work on word problem and conjugacy problem instances linked to Dehn and contributions by Novikov and Boone in algorithmic undecidability within Group theory.

Elementary equivalence of groups

One central question asked whether all non-abelian free groups of finite rank are elementarily equivalent; affirmative resolutions by Sela and Kharlampovich–Myasnikov used comparisons with limit groups, ω-residually free towers, and structural decompositions analogous to JSJ decomposition. Their analyses invoked techniques from Algebraic geometry over groups, drew on notions introduced by Zlil Sela and the Kharlampovich–Myasnikov program, and related to classification themes found in studies of surface groups, hyperbolic groups, and torsion-free properties considered by Gromov.

Techniques and methods (model theory, algebraic geometry over groups)

Work on the problems brought together tools from Model theory, including quantifier elimination, stability theory from Saharon Shelah, and techniques from Stability theory and Geometric stability theory; algebraic methods from Combinatorial group theory such as van Kampen diagrams, and geometric techniques from Geometric group theory like actions on R-trees and use of Bass–Serre theory. Algebraic geometry over groups, developed by Kharlampovich, Myasnikov, Remeslennikov, and Sela, introduced analogs of algebraic sets, coordinate groups, and function field methods paralleling classical work of Emmy Noether and Alexander Grothendieck in algebraic geometry, adapted to settings involving equations over groups and limit group structures.

Notable resolutions and open problems

Major milestones include Makanin's decidability of equations, Razborov's diagrammatic refinements, and full solutions to several of Tarski's central questions by Sela and independently by Kharlampovich–Myasnikov. Remaining open problems concern first-order theories of other classes such as surface groups, certain hyperbolic groups, and mixed theories involving free products and amalgamated free products; unresolved issues link to conjectures in Geometric group theory posed by Gromov and to model-theoretic questions raised by Shelah and Marker.

Impact and related areas

The Tarski problems stimulated deep interactions among Model theory, Combinatorial group theory, Geometric group theory, and Algebraic geometry. Outcomes influenced work on limit groups, algorithmic problems like the word problem, and structural classifications via JSJ decomposition and actions on R-trees. The program affected research by scholars at institutions such as Princeton University, Hebrew University of Jerusalem, and Steklov Institute, and connected to broader mathematical themes explored by Grothendieck, Serre, and Gromov.

Category:Mathematical logic Category:Group theory Category:Model theory