Related Tags
realizability × 26lo.logic × 20
computability-theory × 13
constructive-mathematics × 8
topos-theory × 5
ct.category-theory × 4
set-theory × 4
discrete-geometry × 3
proof-theory × 3
theories-of-arithmetic × 3
mg.metric-geometry × 2
model-theory × 2
convex-polytopes × 2
computer-science × 2
foundations × 2
polytopes × 2
intuitionism × 2
gt.geometric-topology × 1
soft-question × 1
higher-category-theory × 1
stacks × 1
simplicial-complexes × 1
type-theory × 1
symmetry × 1
constructibility × 1