Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3984085> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Q3984085 subject Q8840631.
- Q3984085 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.".
- Q3984085 wikiPageExternalLink fm30113.pdf.
- Q3984085 wikiPageExternalLink fm32115.pdf.
- Q3984085 wikiPageExternalLink 4-1t_185.html.
- Q3984085 wikiPageExternalLink 25381.
- Q3984085 wikiPageExternalLink tarski.html.
- Q3984085 wikiPageExternalLink TarskisAxiom.html.
- Q3984085 wikiPageExternalLink mmset.html.
- Q3984085 wikiPageExternalLink ax-groth.html.
- Q3984085 wikiPageWikiLink Q101072.
- Q3984085 wikiPageWikiLink Q1077811.
- Q3984085 wikiPageWikiLink Q1130535.
- Q3984085 wikiPageWikiLink Q11348.
- Q3984085 wikiPageWikiLink Q1165112.
- Q3984085 wikiPageWikiLink Q12482.
- Q3984085 wikiPageWikiLink Q1331373.
- Q3984085 wikiPageWikiLink Q1361825.
- Q3984085 wikiPageWikiLink Q1465090.
- Q3984085 wikiPageWikiLink Q1477744.
- Q3984085 wikiPageWikiLink Q1609529.
- Q3984085 wikiPageWikiLink Q176916.
- Q3984085 wikiPageWikiLink Q17736.
- Q3984085 wikiPageWikiLink Q177646.
- Q3984085 wikiPageWikiLink Q179692.
- Q3984085 wikiPageWikiLink Q1806121.
- Q3984085 wikiPageWikiLink Q185359.
- Q3984085 wikiPageWikiLink Q191290.
- Q3984085 wikiPageWikiLink Q191849.
- Q3984085 wikiPageWikiLink Q192439.
- Q3984085 wikiPageWikiLink Q1926870.
- Q3984085 wikiPageWikiLink Q2045366.
- Q3984085 wikiPageWikiLink Q207534.
- Q3984085 wikiPageWikiLink Q2455040.
- Q3984085 wikiPageWikiLink Q2914225.
- Q3984085 wikiPageWikiLink Q323107.
- Q3984085 wikiPageWikiLink Q4049983.
- Q3984085 wikiPageWikiLink Q44325.
- Q3984085 wikiPageWikiLink Q470981.
- Q3984085 wikiPageWikiLink Q649732.
- Q3984085 wikiPageWikiLink Q6822975.
- Q3984085 wikiPageWikiLink Q77141.
- Q3984085 wikiPageWikiLink Q836475.
- Q3984085 wikiPageWikiLink Q864213.
- Q3984085 wikiPageWikiLink Q8840631.
- Q3984085 wikiPageWikiLink Q920450.
- Q3984085 wikiPageWikiLink Q931195.
- Q3984085 wikiPageWikiLink Q965432.
- Q3984085 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).".
- Q3984085 label "Tarski–Grothendieck set theory".