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