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