nLab Tarski-Grothendieck set theory

Contents

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Contents

Idea

Tarski-Grothendieck set theory is an axiomatic set theory whose axioms are thos of ZFC plus the axiom that every set belongs to some Grothendieck universe.

This framework is standard in the works of Alexander Grothendieck and his school.

References

The notion first appeared in:

  • Alfred Tarski, On well-ordered subsets of any set, Fundamenta Mathematicae 32 (1939) 176–183,pdf

See also

Last revised on May 9, 2023 at 12:46:56. See the history of this page for a list of all contributions to it.