OurBigBook Wikipedia Bot
Documentation
Theorems in the foundations of mathematics
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Foundations of mathematics
toc
wiki
nosplit
articles:
35
Table of contents
35
1. Lemmas in set theory
link
nosplit
Theorems in the foundations of mathematics
6
1.1. Condensation lemma
link
nosplit
Lemmas in set theory
1.2. Fodor's lemma
link
nosplit
Lemmas in set theory
1.3. Moschovakis coding lemma
link
nosplit
Lemmas in set theory
1.4. Mostowski collapse lemma
link
nosplit
Lemmas in set theory
1.5. Rasiowa–Sikorski lemma
link
nosplit
Lemmas in set theory
1.6. Zorn's lemma
link
nosplit
Lemmas in set theory
2. Barwise compactness theorem
link
nosplit
Theorems in the foundations of mathematics
3. Borel determinacy theorem
link
nosplit
Theorems in the foundations of mathematics
4. Bourbaki–Witt theorem
link
nosplit
Theorems in the foundations of mathematics
5. Codd's theorem
link
nosplit
Theorems in the foundations of mathematics
6. Completeness of atomic initial sequents
link
nosplit
Theorems in the foundations of mathematics
7. Craig's theorem
link
nosplit
Theorems in the foundations of mathematics
8. Cut-elimination theorem
link
nosplit
Theorems in the foundations of mathematics
9. Deduction theorem
link
nosplit
Theorems in the foundations of mathematics
10. Extension by new constant and function names
link
nosplit
Theorems in the foundations of mathematics
11. Frege's theorem
link
nosplit
Theorems in the foundations of mathematics
12. Gödel's speed-up theorem
link
nosplit
Theorems in the foundations of mathematics
13. Herbrand's theorem
link
nosplit
Theorems in the foundations of mathematics
14. Kanamori–McAloon theorem
link
nosplit
Theorems in the foundations of mathematics
15. Kleene's recursion theorem
link
nosplit
Theorems in the foundations of mathematics
16. Knaster–Tarski theorem
link
nosplit
Theorems in the foundations of mathematics
17. Lindström's theorem
link
nosplit
Theorems in the foundations of mathematics
18. Lusin's separation theorem
link
nosplit
Theorems in the foundations of mathematics
19. Löb's theorem
link
nosplit
Theorems in the foundations of mathematics
20. Paris–Harrington theorem
link
nosplit
Theorems in the foundations of mathematics
21. Post's theorem
link
nosplit
Theorems in the foundations of mathematics
22. Rice's theorem
link
nosplit
Theorems in the foundations of mathematics
23. Rice–Shapiro theorem
link
nosplit
Theorems in the foundations of mathematics
24. Richardson's theorem
link
nosplit
Theorems in the foundations of mathematics
25. Robinson's joint consistency theorem
link
nosplit
Theorems in the foundations of mathematics
26. Schröder–Bernstein theorem for measurable spaces
link
nosplit
Theorems in the foundations of mathematics
27. Szpilrajn extension theorem
link
nosplit
Theorems in the foundations of mathematics
28. Tarski's undefinability theorem
link
nosplit
Theorems in the foundations of mathematics
29. Well-ordering theorem
link
nosplit
Theorems in the foundations of mathematics
Ancestors
Foundations of mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot