Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Tarski–Grothendieck set theory
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
System of mathematical set theory
Property
Value
dbo:
description
System of mathematical set theory
(en)
dbo:
wikiPageExternalLink
https://web.archive.org/web/20030826145643/http:/modular.fas.harvard.edu/sga/sga/4-1/4-1t_185.html
https://web.archive.org/web/20110930143638/http:/dare.uva.nl/document/25381
http://mizar.uwb.edu.pl/JFM/Axiomatics/tarski.html
http://planetmath.org/encyclopedia/TarskisAxiom.html
http://us.metamath.org/mpegif/mmset.html
http://us.metamath.org/mpeuni/ax-groth.html
http://modular.fas.harvard.edu/sga/sga/4-1/4-1t_185.html
http://matwbn.icm.edu.pl/ksiazki/fm/fm30/fm30113.pdf
http://matwbn.icm.edu.pl/ksiazki/fm/fm32/fm32115.pdf
dbo:
wikiPageWikiLink
dbr
:Category_theory
dbr
:Class_(set_theory)
dbr
:PlanetMath
dbr
:Axiom_of_empty_set
dbr
:Range_of_a_function
dbr
:Axiom_of_extensionality
dbr
:Cardinality
dbr
:Axiom_schema_of_replacement
dbr
:Singleton_(mathematics)
dbr
:Alexander_Grothendieck
dbr
:Formal_system
dbr
:Jean-Louis_Verdier
dbr
:Domain_of_a_function
dbr
:Ordered_pair
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Inaccessible_cardinal
dbr
:Axiom_of_power_set
dbr
:Benedikt_Löwe
dbr
:Axiom_of_limitation_of_size
dbr
:Equinumerosity
dbr
:Springer_Science+Business_Media
dbr
:Subset
dbr
:Axiom
dbr
:Definition
dbr
:Alfred_Tarski
dbr
:Ontology
dbr
:Unordered_pair
dbr
:Grothendieck_universe
dbr
:Michael_Artin
dbr
:Axiom_of_regularity
dbr
:Mizar_system
dbr
:Andreas_Blass
dbc
:Systems_of_set_theory
dbr
:Union_(set_theory)
dbr
:Axiom_of_infinity
dbr
:Axiom_of_choice
dbr
:Patrick_Suppes
dbr
:Metamath
dbr
:ZFC
dbr
:Alexandre_Grothendieck
dbr
:Axiomatic_set_theory
dbr
:Non-conservative_extension
dbr
:Proof_verification
dbp:
wikiPageUsesTemplate
dbt
:Set_theory
dbt
:Math
dbt
:Cite_journal
dbt
:Cite_conference
dbt
:Mathematical_logic
dbt
:Short_description
dct:
subject
dbc
:Systems_of_set_theory
gold:
hypernym
dbr
:Theory
rdfs:
label
Tarski–Grothendieck set theory
(en)
Tarski-Grothendieck-Mengenlehre
(de)
Teoria degli insiemi di Tarski-Grothendieck
(it)
Teoria dos conjuntos de Tarski-Grothendieck
(pt)
owl:
sameAs
wikidata
:Tarski–Grothendieck set theory
dbpedia-it
:Tarski–Grothendieck set theory
dbpedia-de
:Tarski–Grothendieck set theory
dbpedia-pt
:Tarski–Grothendieck set theory
dbpedia-global
:Tarski–Grothendieck set theory
freebase
:Tarski–Grothendieck set theory
prov:
wasDerivedFrom
wikipedia-en
:Tarski–Grothendieck_set_theory?oldid=1281614369&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Tarski–Grothendieck_set_theory
is
dbo:
wikiPageRedirects
of
dbr
:Grothendieck-Tarski_set_theory
dbr
:Tarski-Grothendieck_set_theory
is
dbo:
wikiPageWikiLink
of
dbr
:Universe_(mathematics)
dbr
:Set_theory
dbr
:Proof_assistant
dbr
:Category_of_sets
dbr
:Ordered_pair
dbr
:Zermelo–Fraenkel_set_theory
dbr
:List_of_first-order_theories
dbr
:List_of_things_named_after_Alexander_Grothendieck
dbr
:Grothendieck_universe
dbr
:TG
dbr
:Mizar_system
dbr
:Axiom_of_choice
dbr
:Foundations_of_mathematics
dbr
:List_of_set_theory_topics
dbr
:List_of_things_named_after_Alfred_Tarski
dbr
:Andrzej_Trybulec
dbr
:Alternative_set_theory
dbr
:Conglomerate_(mathematics)
dbr
:Grothendieck-Tarski_set_theory
dbr
:Tarski-Grothendieck_set_theory
is
foaf:
primaryTopic
of
wikipedia-en
:Tarski–Grothendieck_set_theory
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International