forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.
Stats
created |
6 years ago |
viewed |
280 times |
editors |
1 |
Top Answerers
more »Recent Hot Answers
What is the largest Laver table which has been computed?A question on subsets of $\omega_1$
Can epsilon-induction be derived from the transitive closure operator?
Is it consistent that the gaps between cardinals $\kappa$ and $2^\kappa$ “get larger and larger”?
Precipitous ideals and GCH
more »
Related Tags
lo.logic × 909
forcing × 416
large-cardinals × 302
axiom-of-choice × 197
reference-request × 193
descriptive-set-theory × 143
model-theory × 132
gn.general-topology × 132
measure-theory × 96
ct.category-theory × 85
co.combinatorics × 66
computability-theory × 62
order-theory × 55
ultrafilters × 54
math-philosophy × 53
foundations × 48
soft-question × 43
real-analysis × 38
ho.history-overview × 35
continuum-hypothesis × 34
boolean-algebras × 32
graph-theory × 31
ordinal-numbers × 30
nt.number-theory × 28
more related tags