Related Tags
intuitionism × 54lo.logic × 41
constructive-mathematics × 20
set-theory × 9
proof-theory × 9
reference-request × 7
model-theory × 6
modal-logic × 6
mathematical-philosophy × 5
type-theory × 5
computability-theory × 4
ct.category-theory × 3
soft-question × 3
lattice-theory × 3
forcing × 2
topos-theory × 2
foundations × 2
linear-logic × 2
realizability × 2
co.combinatorics × 1
pr.probability × 1
real-analysis × 1
gn.general-topology × 1
measure-theory × 1
mp.mathematical-physics × 1