proof-theory Questions
2 | Last 7 Days | 50% unanswered |
3 | Last 30 Days | 33.3% unanswered |
351 | All Time | 25.1% unanswered |
Top proof-theory Answerers
Top proof-theory Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
proof-theory × 351lo.logic × 270
set-theory × 46
theories-of-arithmetic × 39
computability-theory × 38
reference-request × 32
ordinal-analysis × 31
model-theory × 26
reverse-math × 26
computational-complexity × 21
ordinal-numbers × 19
foundations × 17
constructive-mathematics × 16
metamathematics × 16
type-theory × 13
ho.history-overview × 10
mathematical-philosophy × 10
decidability × 9
intuitionism × 9
proof-complexity × 9
co.combinatorics × 8
soft-question × 8
formal-proof × 8
nt.number-theory × 7
large-cardinals × 7