池上 大祐

Mathematics

1. Forcing 100%
2. Determinacy 93%
3. Regularity Properties 59%
4. Axiom 50%
5. Dynamic Logic 33%
6. Second-order Logic 33%
7. Reducibility 25%
8. Quasi-order 25%
9. Real Line 22%
10. Subset 20%
11. Game 19%
12. Logic 19%
13. Epistemic Logic 18%
14. Class 17%
15. Infinite Games 17%
16. Fixed point 17%
17. Equivalence Theorem 15%
18. Imply 15%
19. Model 15%
20. Transcendence 15%
21. Proper Forcing 14%
22. Modality 14%
23. Poset 13%
24. Imperfect 13%
25. Propositional Logic 13%
26. Strictly 12%
27. Set Theory 12%
28. Calculus 9%
29. Inner Models 8%
30. Baire Property 8%
31. Analogue 7%
32. Range of data 7%
33. Measurability 7%
34. Preorder 7%
35. Closed 7%
36. Stationary Set 6%
37. Strengthening 6%
38. Restriction 6%
39. Baire Space 6%
40. Henri Léon Lebésgue 6%
41. Polish Space 6%
42. Diverge 5%
43. Large Cardinals 5%
44. Minimal Set 5%
45. Nonexistence 5%