Tarski–Grothendieck set theory

Tarski–Grothendieck set theory
Name	Tarski–Grothendieck set theory
Other names	TG, Tarski–Grothendieck
Introduced	1930s–1950s
Founder	Alfred Tarski; Alexander Grothendieck
Type	Axiom system for set theory
Related	Zermelo–Fraenkel set theory, Von Neumann–Bernays–Gödel set theory, Category theory, Algebraic geometry

Tarski–Grothendieck set theory is an axiom system for set theory that extends classical axioms by adding a powerful comprehension-like principle asserting the existence of large sets called universes. It is used as a foundational framework in several mathematical developments where the formal existence of Grothendieck universes simplifies constructions, notably in work connected with algebraic geometry and category theory. The theory is associated with the names of Alfred Tarski and Alexander Grothendieck and is implemented in some proof assistants and expositions where large-cardinal style axioms are convenient.

Overview and Axioms

Tarski–Grothendieck set theory adopts standard axioms familiar from Ernst Zermelo and Abraham Fraenkel traditions while incorporating an additional strong axiom due to Alfred Tarski and rephrased in the language of Alexander Grothendieck. The core includes versions of Extensionality, Pairing, Union, Power Set, Infinity, Replacement, and Foundation as articulated in the milieu of John von Neumann and Paul Bernays, yet it differs by asserting for each set the existence of a set-rich environment akin to universes considered by Nicolas Bourbaki and used by Jean-Pierre Serre. Its augmentation resembles large cardinal assumptions considered by Kurt Gödel and Paul Cohen in independence studies and interacts with concepts found in Kelley–Morse set theory and Von Neumann–Bernays–Gödel set theory treatments.

Grothendieck Universes and Tarski's Axiom

The central additional axiom postulates that for every set there exists a Grothendieck universe containing it, an idea introduced by Alexander Grothendieck in correspondence with needs of Grothendieck school mathematics and articulated with precision by Alfred Tarski. A Grothendieck universe is closed under pairing, unions, power sets, and replacement, reflecting closure properties studied by Emmy Noether and structural needs echoed in the work of Henri Cartan and Jean-Louis Verdier. This axiom implies strong existence claims comparable in effect to certain inaccessible cardinal notions that were investigated by Paul Erdős and later by William Reinhardt and Kenneth Kunen in the study of large cardinals.

Comparison with Zermelo–Fraenkel Set Theory

Compared with Zermelo–Fraenkel set theory as developed by Ernst Zermelo and Abraham Fraenkel, Tarski–Grothendieck adds a global universe axiom that streamlines category-theoretic constructions preferred by Saunders Mac Lane and Samuel Eilenberg. While ZF and Zermelo–Fraenkel set theory with Choice (ZFC) refrain from assuming universes by default, practitioners such as Alexander Grothendieck and Pierre Deligne favored the universe axiom to avoid repetitive size constraints. The philosophical stance parallels debates involving Hilbert and Wittgenstein on foundations and relates to independence phenomena demonstrated by Kurt Gödel and Paul Cohen.

Models and Consistency Results

Consistency and model-theoretic analyses of Tarski–Grothendieck connect with work by Kurt Gödel on relative consistency and with forcing techniques introduced by Paul Cohen. If ZF (or ZFC) with an inaccessible cardinal is consistent, then models satisfying the universe axiom can be constructed drawing on methods used by Dana Scott, Dana S. Scott, and model theorists such as Alfred Tarski himself. Relative consistency results often invoke techniques developed by Robert Solovay, Jech, and Thomas Jech and are situated among investigations by Azriel Levy and Stephen Simpson concerning subsystems and reverse mathematics. Independence results resonate with contributions from W. Hugh Woodin and Ronald Jensen in inner model theory and fine-structural analysis.

Applications in Category Theory and Algebraic Geometry

The availability of Grothendieck universes in Tarski–Grothendieck set theory underpins large-scale constructions in the work of Alexander Grothendieck, Jean-Pierre Serre, and Pierre Deligne on schemes, sheaves, and cohomology. It simplifies the formal treatment of categories of all sets, small categories, and large categories which are central to Saunders Mac Lane and Samuel Eilenberg style category theory and to later developments by Max Kelly and Steve Awodey. Applications appear in the theory of sheaves over sites as used by Grothendieck in the formulation of étale cohomology, in the stacks formalism developed by Pierre Deligne and Michael Artin, and in derived categories applied by Alexander Beilinson and Joseph Bernstein.

Historical Development and Contributors

The lineage of the theory traces through foundational debates and formal innovations led by Alfred Tarski and crystallized in Grothendieck’s practice during the mid-20th century alongside contributions from Nicolas Bourbaki collaborators such as Jean Dieudonné. The idea of universes was motivated by needs encountered in seminars involving Grothendieck at institutions like Université Paris-Sud and influenced mathematicians including Pierre Deligne, Jean-Louis Verdier, and Maurice Artin. Expository and formal uses spread via communities around Bourbaki, Grothendieck, and later through implementations in proof environments influenced by work at places like École Normale Supérieure and Institut des Hautes Études Scientifiques. Historical threads link to the broader foundations literature involving David Hilbert, Kurt Gödel, Paul Cohen, and contemporaneous algebraic geometers such as Oscar Zariski and André Weil.

Category:Set theory