Tarski–Grothendieck set theory, also known as Tarski–Grothendieck logic, is a foundational system for mathematics that extends classical set theory to better accommodate certain advanced concepts in category theory and algebraic geometry.
Articles by others on the same topic
There are currently no matching articles.