Related Tags
bounded-arithmetic × 25lo.logic × 22
computational-complexity × 11
model-theory × 10
proof-theory × 6
theories-of-arithmetic × 5
constructive-mathematics × 3
reference-request × 2
set-theory × 1
measure-theory × 1
prime-numbers × 1
sequences-and-series × 1
integration × 1
harmonic-analysis × 1
computability-theory × 1
open-problems × 1
alternative-proof × 1
wave-equation × 1
intuitionism × 1
periodic-functions × 1
ultrafinitism × 1
linear-matrix-inequalities × 1
proof-complexity × 1