Related Tags
new-foundations × 53lo.logic × 42
set-theory × 33
type-theory × 7
foundations × 6
model-theory × 5
reference-request × 3
axiom-of-choice × 2
axioms × 2
homotopy-type-theory × 2
metamathematics × 2
ct.category-theory × 1
large-cardinals × 1
universal-algebra × 1
proof-theory × 1
constructive-mathematics × 1
symmetry × 1
constructibility × 1
automorphisms × 1
cardinal-arithmetic × 1
theories-of-arithmetic × 1
ordinal-analysis × 1
paradox × 1
elementary-theory-category-of-sets × 1