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:
Theorems in the foundations of mathematics
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
33454664
(xsd:integer)
dbo:
wikiPageRevisionID
982878281
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Theorems in the foundations of mathematics
(en)
skos:
broader
dbc
:Mathematical_theorems
dbc
:Mathematical_logic
dbc
:Metatheorems
dbc
:Foundations_of_mathematics
skos:
prefLabel
Theorems in the foundations of mathematics
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Theorems_in_the_foundations_of_mathematics?oldid=982878281&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Cantor's_theorem
dbr
:Schröder–Bernstein_theorem
dbr
:Löb's_theorem
dbr
:Paris–Harrington_theorem
dbr
:Beth_definability
dbr
:List_of_set_identities_and_relations
dbr
:Cut-elimination_theorem
dbr
:Deduction_theorem
dbr
:Easton's_theorem
dbr
:Robinson's_joint_consistency_theorem
dbr
:Łoś–Vaught_test
dbr
:Bourbaki–Witt_theorem
dbr
:Löwenheim–Skolem_theorem
dbr
:Compactness_theorem
dbr
:Completeness_of_atomic_initial_sequents
dbr
:Compression_theorem
dbr
:Halpern–Läuchli_theorem
dbr
:Banach–Tarski_paradox
dbr
:Gödel's_completeness_theorem
dbr
:Gödel's_speed-up_theorem
dbr
:Lindström's_theorem
dbr
:Tennenbaum's_theorem
dbr
:Barwise_compactness_theorem
dbr
:Church–Rosser_theorem
dbr
:Goodstein's_theorem
dbr
:Kanamori–McAloon_theorem
dbr
:Szpilrajn_extension_theorem
dbr
:Gödel's_incompleteness_theorems
dbr
:Herbrand's_theorem
dbr
:Craig's_theorem
dbr
:Codd's_theorem
dbr
:Borel_determinacy_theorem
dbr
:Frege's_theorem
dbr
:König's_theorem_(set_theory)
dbr
:Cantor's_diagonal_argument
dbr
:Categorical_theory
dbr
:Kleene's_recursion_theorem
dbr
:Knaster–Tarski_theorem
dbr
:Schröder–Bernstein_theorem_for_measurable_spaces
dbr
:Well-ordering_theorem
dbr
:Extension_by_new_constant_and_function_names
dbr
:Lusin's_separation_theorem
dbr
:Post's_theorem
dbr
:Rice–Shapiro_theorem
dbr
:Richardson's_theorem
dbr
:Ultraproduct
dbr
:Wilkie's_theorem
dbr
:Tarski's_theorem_about_choice
dbr
:Tarski's_undefinability_theorem
dbr
:Rice's_theorem
dbr
:Von_Neumann_paradox
dbr
:Tarski's_high_school_algebra_problem
is
dcterms:
subject
of
dbr
:Cantor's_theorem
dbr
:Schröder–Bernstein_theorem
dbr
:Löb's_theorem
dbr
:Paris–Harrington_theorem
dbr
:Beth_definability
dbr
:List_of_set_identities_and_relations
dbr
:Cut-elimination_theorem
dbr
:Deduction_theorem
dbr
:Easton's_theorem
dbr
:Robinson's_joint_consistency_theorem
dbr
:Łoś–Vaught_test
dbr
:Bourbaki–Witt_theorem
dbr
:Löwenheim–Skolem_theorem
dbr
:Compactness_theorem
dbr
:Completeness_of_atomic_initial_sequents
dbr
:Compression_theorem
dbr
:Halpern–Läuchli_theorem
dbr
:Banach–Tarski_paradox
dbr
:Gödel's_completeness_theorem
dbr
:Gödel's_speed-up_theorem
dbr
:Lindström's_theorem
dbr
:Tennenbaum's_theorem
dbr
:Barwise_compactness_theorem
dbr
:Church–Rosser_theorem
dbr
:Goodstein's_theorem
dbr
:Kanamori–McAloon_theorem
dbr
:Szpilrajn_extension_theorem
dbr
:Gödel's_incompleteness_theorems
dbr
:Herbrand's_theorem
dbr
:Craig's_theorem
dbr
:Codd's_theorem
dbr
:Borel_determinacy_theorem
dbr
:Frege's_theorem
dbr
:König's_theorem_(set_theory)
dbr
:Cantor's_diagonal_argument
dbr
:Categorical_theory
dbr
:Kleene's_recursion_theorem
dbr
:Knaster–Tarski_theorem
dbr
:Schröder–Bernstein_theorem_for_measurable_spaces
dbr
:Well-ordering_theorem
dbr
:Extension_by_new_constant_and_function_names
dbr
:Lusin's_separation_theorem
dbr
:Post's_theorem
dbr
:Rice–Shapiro_theorem
dbr
:Richardson's_theorem
dbr
:Ultraproduct
dbr
:Wilkie's_theorem
dbr
:Tarski's_theorem_about_choice
dbr
:Tarski's_undefinability_theorem
dbr
:Rice's_theorem
dbr
:Von_Neumann_paradox
dbr
:Tarski's_high_school_algebra_problem
is
skos:
broader
of
dbc
:Lemmas_in_set_theory
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License