Tarski–Grothendieck Set Theory

URI: https://gptkb.org/entity/Tarski–Grothendieck_Set_Theory
GPTKB entity
Statements (31)
Predicate Object
gptkbp:instanceOf gptkb:set_theory
gptkbp:allows existence of Grothendieck universes
gptkbp:basisFor gptkb:algebraic_geometry
gptkb:category_theory
gptkbp:compatibleWith gptkb:Zermelo–Fraenkel_set_theory
Grothendieck universes
gptkbp:hasAxiom gptkb:Axiom_of_extensionality
gptkb:Axiom_of_infinity
gptkb:Axiom_of_pairing
gptkb:Axiom_of_power_set
gptkb:Axiom_of_regularity
gptkb:Axiom_of_union
gptkb:Tarski's_axiom
gptkb:Axiom_of_choice
gptkb:Axiom_schema_of_replacement
gptkb:Axiom_schema_of_separation
https://www.w3.org/2000/01/rdf-schema#label Tarski–Grothendieck Set Theory
gptkbp:introducedIn 1960s
gptkbp:isFoundationFor gptkb:algebraic_geometry
gptkb:mathematics
gptkb:category_theory
gptkbp:isWeakerThan gptkb:Zermelo–Fraenkel_set_theory
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkb:Alexander_Grothendieck
gptkbp:publishedIn gptkb:Éléments_de_géométrie_algébrique
gptkbp:usedBy gptkb:Éléments_de_géométrie_algébrique
French school of algebraic geometry
gptkbp:usedIn gptkb:mathematics
gptkb:category_theory
gptkbp:bfsParent gptkb:Axiomatic_Set_Theory
gptkbp:bfsLayer 7