Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Tarski–Grothendieck_set_theory> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Tarski–Grothendieck_set_theory abstract "Tarski–Grothendieck set theory (TG, named after mathematicians Alfred Tarski and Alexander Grothendieck) is an axiomatic set theory. It is a non-conservative extension of Zermelo–Fraenkel set theory (ZFC) and is distinguished from other axiomatic set theories by the inclusion of Tarski's axiom which states that for each set there is a Grothendieck universe it belongs to (see below). Tarski's axiom implies the existence of inaccessible cardinals, providing a richer ontology than that of conventional set theories such as ZFC. For example, adding this axiom supports category theory.The Mizar system and Metamath use Tarski–Grothendieck set theory for formal verification of proofs.".
- Tarski–Grothendieck_set_theory wikiPageID "6105873".
- Tarski–Grothendieck_set_theory wikiPageRevisionID "599253493".
- Tarski–Grothendieck_set_theory subject Category:Systems_of_set_theory.
- Tarski–Grothendieck_set_theory comment "Tarski–Grothendieck set theory (TG, named after mathematicians Alfred Tarski and Alexander Grothendieck) is an axiomatic set theory. It is a non-conservative extension of Zermelo–Fraenkel set theory (ZFC) and is distinguished from other axiomatic set theories by the inclusion of Tarski's axiom which states that for each set there is a Grothendieck universe it belongs to (see below).".
- Tarski–Grothendieck_set_theory label "Tarski-Grothendieck-Mengenlehre".
- Tarski–Grothendieck_set_theory label "Tarski–Grothendieck set theory".
- Tarski–Grothendieck_set_theory label "Teoria degli insiemi di Tarski-Grothendieck".
- Tarski–Grothendieck_set_theory sameAs Tarski%E2%80%93Grothendieck_set_theory.
- Tarski–Grothendieck_set_theory sameAs Tarski-Grothendieck-Mengenlehre.
- Tarski–Grothendieck_set_theory sameAs Teoria_degli_insiemi_di_Tarski-Grothendieck.
- Tarski–Grothendieck_set_theory sameAs Q3984085.
- Tarski–Grothendieck_set_theory sameAs Q3984085.
- Tarski–Grothendieck_set_theory wasDerivedFrom Tarski–Grothendieck_set_theory?oldid=599253493.