池上 大祐

Mathematics

1. Forcing 100%
2. Dynamic Logic 44%
3. Second-order Logic 43%
4. Determinacy 41%
5. Axiom 38%
6. Regularity Properties 34%
7. Reducibility 34%
8. Quasi-order 33%
9. Real Line 29%
10. Subset 26%
11. Game 25%
12. Logic 25%
13. Epistemic Logic 24%
14. Class 23%
15. Infinite Games 23%
16. Fixed point 22%
17. Equivalence Theorem 20%
18. Transcendence 19%
19. Proper Forcing 19%
20. Modality 18%
21. Poset 18%
22. Imperfect 18%
23. Propositional Logic 17%
24. Model 17%
25. Strictly 17%
26. Set Theory 16%
27. Calculus 12%
28. Analogue 10%
29. Range of data 9%
30. Preorder 9%
31. Closed 9%
32. Stationary Set 8%
33. Restriction 8%
34. Polish Space 7%
35. Diverge 7%
36. Large Cardinals 7%
37. Minimal Set 6%
38. Nonexistence 6%
39. Linear Order 6%
40. Structural Properties 6%
41. Reverse 6%
42. Closed set 6%
43. Open set 5%
44. Target 5%
45. Hierarchy 5%
46. Modulo 5%
47. Inclusion 5%