This HTML5 document contains 115 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n8http://en.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Cantor's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Schröder–Bernstein_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Löb's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Paris–Harrington_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Beth_definability
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:List_of_set_identities_and_relations
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Cut-elimination_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Deduction_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Easton's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Robinson's_joint_consistency_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Łoś–Vaught_test
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Bourbaki–Witt_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbc:Lemmas_in_set_theory
skos:broader
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Löwenheim–Skolem_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Compactness_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Completeness_of_atomic_initial_sequents
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Compression_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Halpern–Läuchli_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Banach–Tarski_paradox
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Gödel's_completeness_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Gödel's_speed-up_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Lindström's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Tennenbaum's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbc:Theorems_in_the_foundations_of_mathematics
rdf:type
skos:Concept
rdfs:label
Theorems in the foundations of mathematics
skos:broader
dbc:Mathematical_logic dbc:Metatheorems dbc:Foundations_of_mathematics dbc:Mathematical_theorems
skos:prefLabel
Theorems in the foundations of mathematics
dbo:wikiPageID
33454664
dbo:wikiPageRevisionID
982878281
prov:wasDerivedFrom
n8:Theorems_in_the_foundations_of_mathematics?oldid=982878281&ns=14
Subject Item
dbr:Barwise_compactness_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Church–Rosser_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Goodstein's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Kanamori–McAloon_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Szpilrajn_extension_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Gödel's_incompleteness_theorems
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Herbrand's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Craig's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Codd's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Borel_determinacy_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Frege's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:König's_theorem_(set_theory)
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Cantor's_diagonal_argument
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Categorical_theory
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Kleene's_recursion_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Knaster–Tarski_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Schröder–Bernstein_theorem_for_measurable_spaces
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Well-ordering_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Extension_by_new_constant_and_function_names
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Lusin's_separation_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Post's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Rice–Shapiro_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Richardson's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Ultraproduct
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Wilkie's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Tarski's_theorem_about_choice
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Tarski's_undefinability_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Rice's_theorem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Von_Neumann_paradox
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics
Subject Item
dbr:Tarski's_high_school_algebra_problem
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageWikiLink
dbc:Theorems_in_the_foundations_of_mathematics