WikicatTheoremsInTheFoundationsOfMathematics

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
rdfs:subClassOf	yago:Theorem106752293
owl:equivalentClass	yago-res:wikicat_Theorems_in_the_foundations_of_mathematics
is rdf:type of	dbr:Cantor's_theorem dbr:Beck's_monadicity_theorem dbr:Schröder–Bernstein_theorem dbr:Löb's_theorem dbr:Paris–Harrington_theorem dbr:Cut-elimination_theorem dbr:Deduction_theorem dbr:Easton's_theorem dbr:Robinson's_joint_consistency_theorem dbr:Conservativity_theorem 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:Morley's_categoricity_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:Kleene's_recursion_theorem dbr:Knaster–Tarski_theorem dbr:Schröder–Bernstein_theorem_for_measurable_spaces dbr:Well-ordering_theorem dbr:Lusin's_separation_theorem dbr:Tarski's_theorem dbr:Post's_theorem dbr:Rice–Shapiro_theorem dbr:Richardson's_theorem dbr:Wilkie's_theorem dbr:Rice's_theorem dbr:Von_Neumann_paradox

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License