New answers tagged foundations
1
vote
An axiomatic approach to the multiverse of sets
This might not precisely answer your question, but why not use topos theory? The category of (Grothendieck) topoi has as its objects generalized universes of sets whose internal logic does no not ...
0
votes
Smallest ordinal modelling $\aleph_1$?
About well-definedness of $X_1$, "being a model of ZFC" is definable since ZFC is a recursive theory, so we could construct some $\Sigma_1^0$ predicate $\textrm{isZFCAxiom}(e)$ for $e$ a ...
Top 50 recent answers are included
Related Tags
foundations × 253lo.logic × 150
set-theory × 115
ct.category-theory × 51
mathematical-philosophy × 41
reference-request × 25
soft-question × 25
model-theory × 16
type-theory × 16
proof-theory × 15
homotopy-type-theory × 13
axioms × 13
constructive-mathematics × 12
theories-of-arithmetic × 12
ho.history-overview × 11
ordinal-numbers × 7
computability-theory × 6
large-cardinals × 6
reverse-math × 6
metamathematics × 6
ordinal-analysis × 6
homotopy-theory × 5
higher-category-theory × 5
big-picture × 5
categorical-logic × 5