New posts in Set Theory

Are uncountable products of $\mathbb{R}$ always non-sequential?

Advantages of finite axiomatizability

The relationship between large cardinals and program termination

Why doesn't the independence of the continuum hypothesis immediately imply that ZFC is unsatisfactory?

Forcing homeomorphism

Can the existence of certain natural numbers or sets of natural numbers imply large cardinals?

Worldly vs Inaccessible Cardinals, why different?

When is a model a generic extension of some smaller model?

Axiom of Regularity allows for this set be an element of itself

For every cardinal $\kappa$ does there exist a Boolean algebra that has exactly $\kappa$ many ultrafilters?