About: Tarski–Grothendieck set theory     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatSystemsOfSetTheory, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FTarski%E2%80%93Grothendieck_set_theory

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 ZFC. For example, adding this axiom supports category theory.

AttributesValues
rdf:type
rdfs:label
  • Tarski-Grothendieck-Mengenlehre (de)
  • Teoria degli insiemi di Tarski-Grothendieck (it)
  • Tarski–Grothendieck set theory (en)
  • Teoria dos conjuntos de Tarski-Grothendieck (pt)
rdfs:comment
  • Die Tarski-Grothendieck-Mengenlehre (TG) ist ein Axiomensystem zur mengentheoretischen Grundlegung der Mathematik. Sie besteht aus der Erweiterung der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom, welche die verbreitetsten Grundlagen darstellen, um das Axiom, dass jede Menge Element eines Grothendieck-Universums ist, das sogenannte Axiom der unerreichbaren Mengen (im Französischen axiom des univers, im Englischen axiom of universes). Ebenso wie die Zermelo-Fraenkel-Mengenlehre basiert sie auf der Prädikatenlogik erster Stufe. Neben ihrer Bedeutung als Untersuchungsgegenstand der Mengenlehre findet sie als Grundlagen heute in Teilen der Mathematik, etwa der Kategorientheorie und der algebraischen Geometrie, weite Verwendung. Sie ist nach Alfred Tarski und Alexander Grothendieck benannt. (de)
  • La teoria degli insiemi di Tarski-Grothendieck (TG) è una teoria assiomatica degli insiemi così chiamata in riferimento ai matematici Alfred Tarski e Alexander Grothendieck. Essa è caratterizzata dall'Assioma di Tarski ed è un'estensione non-conservativa della teoria degli insiemi di Zermelo - Fraenkel. (it)
  • 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 ZFC. For example, adding this axiom supports category theory. (en)
  • A teoria dos conjuntos de Tarski-Grothendieck (TG, assim denominada em referência aos matemáticos Alfred Tarski e Alexander Grothendieck) é uma teoria dos conjuntos axiomática. Também é uma extensão não conservativa da teoria dos conjuntos de Zermelo-Fraenkel (ZFC) e pode ser distinguida de outras teorias dos conjuntos axiomáticas por causa da inclusão do axioma de Tarski, que diz que para cada conjunto existe um universo de Grothendieck a qual pertence. O axioma de Tarski implica na existência de cardinais inacessíveis, fornecendo uma ontologia mais rica do que outras teorias como a ZFC. Por exemplo, adicionar esse axioma dá suporte a teoria das categorias. (pt)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Die Tarski-Grothendieck-Mengenlehre (TG) ist ein Axiomensystem zur mengentheoretischen Grundlegung der Mathematik. Sie besteht aus der Erweiterung der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom, welche die verbreitetsten Grundlagen darstellen, um das Axiom, dass jede Menge Element eines Grothendieck-Universums ist, das sogenannte Axiom der unerreichbaren Mengen (im Französischen axiom des univers, im Englischen axiom of universes). Ebenso wie die Zermelo-Fraenkel-Mengenlehre basiert sie auf der Prädikatenlogik erster Stufe. Neben ihrer Bedeutung als Untersuchungsgegenstand der Mengenlehre findet sie als Grundlagen heute in Teilen der Mathematik, etwa der Kategorientheorie und der algebraischen Geometrie, weite Verwendung. Sie ist nach Alfred Tarski und Alexander Grothendieck benannt. (de)
  • 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 ZFC. For example, adding this axiom supports category theory. The Mizar system and Metamath use Tarski–Grothendieck set theory for formal verification of proofs. (en)
  • La teoria degli insiemi di Tarski-Grothendieck (TG) è una teoria assiomatica degli insiemi così chiamata in riferimento ai matematici Alfred Tarski e Alexander Grothendieck. Essa è caratterizzata dall'Assioma di Tarski ed è un'estensione non-conservativa della teoria degli insiemi di Zermelo - Fraenkel. (it)
  • A teoria dos conjuntos de Tarski-Grothendieck (TG, assim denominada em referência aos matemáticos Alfred Tarski e Alexander Grothendieck) é uma teoria dos conjuntos axiomática. Também é uma extensão não conservativa da teoria dos conjuntos de Zermelo-Fraenkel (ZFC) e pode ser distinguida de outras teorias dos conjuntos axiomáticas por causa da inclusão do axioma de Tarski, que diz que para cada conjunto existe um universo de Grothendieck a qual pertence. O axioma de Tarski implica na existência de cardinais inacessíveis, fornecendo uma ontologia mais rica do que outras teorias como a ZFC. Por exemplo, adicionar esse axioma dá suporte a teoria das categorias. O sistema Mizar e Metamath usam a teoria dos conjuntos de Tarski-Grothendieck para verificação formal de provas. (pt)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software