New posts in Set Theory

Origin of Grothendieck universes

Assuming the falsity of continuum hypothesis is added as an axiom, how do we produce sets with cardinality in-between $\Bbb N$ and $\Bbb R$?

Do any proofs/properties rely on the distinction between some uncountable size and a larger uncountable size, in order for the proof/property to hold?

Given $\lambda$ regular cardinal, $\left(\kappa^{<\lambda}\right)^{<\lambda}=\kappa^{<\lambda}$?

CH holds in V if and only if CH is actually true, for V a model of ZFC2

There is a $\Sigma^1_1$ universal set and this is not Borel. Where did we use the axiom of choice?

AST is conservative over ZF

Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?

Are we still Researching the Foundations of Math?

The least universal cardinal has countable cofinality