New posts in Set Theory

Categoricity of second order theories - precisely what does it mean?

What exactly is a function?

How to prove there exists an uncountable well-ordered set without using axiom of replacement

Cambridge Tripos 2015: Zorn's Lemma Proof Requiring Axiom of Choice

Why is Axiom of Choice "a convenient and safe labour-saving device"?

Why is Axiom of Pairing needed?

Does every cover of a set have a minimal subcover?

Commutativity of Ordinal Multiplication

In what sense are inaccessible cardinals inaccessible?

What kind of "infinite sets" do constructivists use?