Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics> }
Showing triples 1 to 94 of
94
with 100 triples per page.
- Banach–Tarski_paradox wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Barwise_compactness_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Becks_monadicity_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Borel_determinacy_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Bourbaki–Witt_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Cantors_diagonal_argument wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Cantors_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Church–Rosser_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Codds_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Compactness_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Compression_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Conservativity_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Craigs_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Cut-elimination_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Deduction_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Eastons_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Freges_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Goodsteins_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_completeness_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_speed-up_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Halpern–Läuchli_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Herbrands_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Kanamori–McAloon_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Kleenes_recursion_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Knaster–Tarski_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Kxc3xb6nigs_theorem_(set_theory) wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Lindstrxc3xb6ms_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Lusins_separation_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Lxc3xb6bs_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Löwenheim–Skolem_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Morleys_categoricity_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Paris–Harrington_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Posts_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Rices_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Rice–Shapiro_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Richardsons_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Robinsons_joint_consistency_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Schröder–Bernstein_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Schröder–Bernstein_theorem_for_measurable_spaces wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Szpilrajn_extension_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Tarskis_theorem_about_choice wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Tennenbaums_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Von_Neumann_paradox wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Well-ordering_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Wilkies_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Banach–Tarski_paradox subject Category:Theorems_in_the_foundations_of_mathematics.
- Barwise_compactness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Becks_monadicity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Borel_determinacy_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Bourbaki–Witt_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Cantors_diagonal_argument subject Category:Theorems_in_the_foundations_of_mathematics.
- Cantors_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Church–Rosser_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Codds_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Compactness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Completeness_of_atomic_initial_sequents subject Category:Theorems_in_the_foundations_of_mathematics.
- Compression_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Conservativity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Craigs_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Cut-elimination_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Deduction_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Eastons_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Freges_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Goodsteins_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_completeness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_incompleteness_theorems subject Category:Theorems_in_the_foundations_of_mathematics.
- Gxc3xb6dels_speed-up_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Halpern–Läuchli_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Herbrands_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kanamori–McAloon_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kleenes_recursion_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Knaster–Tarski_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kxc3xb6nigs_theorem_(set_theory) subject Category:Theorems_in_the_foundations_of_mathematics.
- Lindstrxc3xb6ms_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Lusins_separation_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Lxc3xb6bs_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Löwenheim–Skolem_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Morleys_categoricity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Paris–Harrington_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Posts_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Rices_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Rice–Shapiro_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Richardsons_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Robinsons_joint_consistency_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Schröder–Bernstein_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Schröder–Bernstein_theorem_for_measurable_spaces subject Category:Theorems_in_the_foundations_of_mathematics.
- Szpilrajn_extension_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Tarskis_theorem_about_choice subject Category:Theorems_in_the_foundations_of_mathematics.
- Tennenbaums_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Von_Neumann_paradox subject Category:Theorems_in_the_foundations_of_mathematics.
- Well-ordering_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Wilkies_theorem subject Category:Theorems_in_the_foundations_of_mathematics.