Related Tags
lo.logic × 22ultrafinitism × 22
theories-of-arithmetic × 12
mathematical-philosophy × 7
foundations × 7
constructive-mathematics × 4
model-theory × 3
proof-theory × 2
reverse-math × 2
nt.number-theory × 1
reference-request × 1
ct.category-theory × 1
set-theory × 1
computational-complexity × 1
big-picture × 1
ordinal-analysis × 1
bounded-arithmetic × 1