ordinal-analysis Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
55 | All Time | 30.9% unanswered |
Top ordinal-analysis Answerers
Last 30 Days
Top ordinal-analysis Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
ordinal-analysis × 55lo.logic × 46
proof-theory × 31
ordinal-numbers × 27
set-theory × 17
theories-of-arithmetic × 11
foundations × 9
computability-theory × 5
reverse-math × 4
reference-request × 2
model-theory × 2
constructive-mathematics × 2
ct.category-theory × 1
order-theory × 1
examples × 1
posets × 1
mathematical-philosophy × 1
notation × 1
type-theory × 1
axioms × 1
constructibility × 1
induction × 1
intuitionism × 1
new-foundations × 1
formal-proof × 1