This tag is for set theory topics typically studied at the advanced undergraduate or graduate level. More elementary questions should use the tag instead.

Topics relevant to this tag include cofinality, axioms of ZFC, axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model theory, definability, infinite combinatorics, transfinite hierarchies; etc.

history | show excerpt | excerpt history