Skip to main content
Elliot Glazer's user avatar
Elliot Glazer's user avatar
Elliot Glazer's user avatar
Elliot Glazer
  • Member for 9 years, 4 months
  • Last seen this week
11 votes

Can we prove the existence of $A\cup B$ without the union axiom?

5 votes

Minimum number of axioms for ZFC set theory

5 votes
Accepted

Ordered pairs in NBG set theory

4 votes
Accepted

Axiom of Dependent Choice and the von Neumann Universe

4 votes
Accepted

Union of countable sets contained in each other is not necessarily countable

4 votes
Accepted

Is countable choice enough to prove that there are continuum-many Borel sets?

4 votes
Accepted

Does the existence of a minimal cover for a subset of reals need some form of choice?

4 votes

Combinatorial proof, without axiom of choice, that for any set $A$, there is no surjection from $A^2$ to $3^A$

4 votes
Accepted

Cantor-Bendixson theorem and AC

3 votes
Accepted

Can we prove the existence of a non-measurable subset using an uncountable well-ordered subset without $\sf DC$?

3 votes
Accepted

Uncountable closed set of reals biject with reals without replacement or choice

3 votes

Current accepted axiomatic set theory

3 votes

Are there more than 2 digits that occur infinitely often in the decimal expansion of $\sqrt{2}$?

2 votes
Accepted

Levy collapse gone bad

2 votes
Accepted

A Silver-like forcing on $\omega_1$

1 vote

A theory which seems to have proof-theoretic ordinal $\omega_1^{CK}$

1 vote

$M$ contains all ordinals

1 vote

Logic and set theory using only uniquely defined items