Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/TheoremsInTheFoundationsOfMathematics> . }
Showing items 1 to 46 of
46
with 100 items per page.
- Banach%E2%80%93Tarski_paradox type TheoremsInTheFoundationsOfMathematics.
- Barwise_compactness_theorem type TheoremsInTheFoundationsOfMathematics.
- Beck's_monadicity_theorem type TheoremsInTheFoundationsOfMathematics.
- Borel_determinacy_theorem type TheoremsInTheFoundationsOfMathematics.
- Bourbaki%E2%80%93Witt_theorem type TheoremsInTheFoundationsOfMathematics.
- Cantor%E2%80%93Bernstein%E2%80%93Schroeder_theorem type TheoremsInTheFoundationsOfMathematics.
- Cantor's_diagonal_argument type TheoremsInTheFoundationsOfMathematics.
- Cantor's_theorem type TheoremsInTheFoundationsOfMathematics.
- Codd's_theorem type TheoremsInTheFoundationsOfMathematics.
- Compactness_theorem type TheoremsInTheFoundationsOfMathematics.
- Completeness_of_atomic_initial_sequents type TheoremsInTheFoundationsOfMathematics.
- Compression_theorem type TheoremsInTheFoundationsOfMathematics.
- Conservativity_theorem type TheoremsInTheFoundationsOfMathematics.
- Craig's_theorem type TheoremsInTheFoundationsOfMathematics.
- Cut-elimination_theorem type TheoremsInTheFoundationsOfMathematics.
- Deduction_theorem type TheoremsInTheFoundationsOfMathematics.
- Easton's_theorem type TheoremsInTheFoundationsOfMathematics.
- Frege's_theorem type TheoremsInTheFoundationsOfMathematics.
- G%C3%B6del's_completeness_theorem type TheoremsInTheFoundationsOfMathematics.
- G%C3%B6del's_incompleteness_theorems type TheoremsInTheFoundationsOfMathematics.
- G%C3%B6del's_speed-up_theorem type TheoremsInTheFoundationsOfMathematics.
- Glivenko's_theorem type TheoremsInTheFoundationsOfMathematics.
- Goodstein's_theorem type TheoremsInTheFoundationsOfMathematics.
- Halpern%E2%80%93L%C3%A4uchli_theorem type TheoremsInTheFoundationsOfMathematics.
- Herbrand's_theorem type TheoremsInTheFoundationsOfMathematics.
- K%C3%B6nig's_theorem_(set_theory) type TheoremsInTheFoundationsOfMathematics.
- Kanamori%E2%80%93McAloon_theorem type TheoremsInTheFoundationsOfMathematics.
- Kleene's_recursion_theorem type TheoremsInTheFoundationsOfMathematics.
- Knaster%E2%80%93Tarski_theorem type TheoremsInTheFoundationsOfMathematics.
- L%C3%B6b's_theorem type TheoremsInTheFoundationsOfMathematics.
- L%C3%B6wenheim%E2%80%93Skolem_theorem type TheoremsInTheFoundationsOfMathematics.
- Lindstr%C3%B6m's_theorem type TheoremsInTheFoundationsOfMathematics.
- Lusin's_separation_theorem type TheoremsInTheFoundationsOfMathematics.
- Morley's_categoricity_theorem type TheoremsInTheFoundationsOfMathematics.
- Paris%E2%80%93Harrington_theorem type TheoremsInTheFoundationsOfMathematics.
- Post's_theorem type TheoremsInTheFoundationsOfMathematics.
- Rice%E2%80%93Shapiro_theorem type TheoremsInTheFoundationsOfMathematics.
- Rice's_theorem type TheoremsInTheFoundationsOfMathematics.
- Richardson's_theorem type TheoremsInTheFoundationsOfMathematics.
- Robinson's_joint_consistency_theorem type TheoremsInTheFoundationsOfMathematics.
- Schr%C3%B6der%E2%80%93Bernstein_theorem_for_measurable_spaces type TheoremsInTheFoundationsOfMathematics.
- Szpilrajn_extension_theorem type TheoremsInTheFoundationsOfMathematics.
- Tennenbaum's_theorem type TheoremsInTheFoundationsOfMathematics.
- Von_Neumann_paradox type TheoremsInTheFoundationsOfMathematics.
- Well-ordering_theorem type TheoremsInTheFoundationsOfMathematics.
- Wilkie's_theorem type TheoremsInTheFoundationsOfMathematics.