New posts in Set Theory

Where in the analytic hierarchy is the theory of true set theory?

Why does Tao use the word *metatheory* in this context?

What is mathematical logic?

"There is no well-ordered uncountable set of real numbers"

Every infinite set contains a countable subset

Why ZFC+FOL cannot uniquely describe/characterize R or N?

What's behind the word "size issues"?

What is the definition of function in ZF/ZFC?

Type of set theory in Halmos' naive set theory.

Is every commutative ring having the invariant basis number property equivalent to AC?