Elliot Glazer's user avatar
Elliot Glazer's user avatar
Elliot Glazer's user avatar
Elliot Glazer
  • Member for 6 years, 10 months
  • Last seen this week
22 votes

What notable theorems cannot be automatically proven without choice using Shoenfield absoluteness?

14 votes
Accepted

Is Global Choice conservative over Zermelo with Choice?

13 votes
Accepted

Consistency of a strange (choice-wise) set of reals

12 votes
Accepted

Is every set being cardinal definable consistent with ZF + negation of Choice?

12 votes
Accepted

Consistency of a strong Fubini type theorem for measure zero sets

12 votes

What are some reasonable-sounding statements that are independent of ZFC?

12 votes
Accepted

Is this set theory equivalent to ZFC?

11 votes
Accepted

Is "There exists an unbounded non-measurable set but no bounded non-measurable set" consistent with $\mathsf{ZF}$?

11 votes
Accepted

How much choice is necessary to prove this statement?

11 votes
Accepted

Does ZF minus infinity imply collection?

11 votes
Accepted

Is $\in$-induction provable in first order Zermelo set theory?

11 votes
Accepted

What can be the measure of a Vitali set?

9 votes
Accepted

Can one exhibit an explicit Kuratowski infinite set without invoking Replacement?

9 votes
Accepted

Can we make ZF − infinity + “all ordinals are finite” as strong as ZFC?

9 votes
Accepted

Example of a $\Pi^2_2$ sentence?

9 votes
Accepted

Can a Vopenka cardinal be supercompact?

8 votes
Accepted

Products of Cohen forcings

8 votes

If $A, B$ is a non-trivial partition of $S^1$, is it possible that $R_\theta(A) \cap B$ has measure zero for all rotations $R_\theta$?

7 votes
Accepted

Ideal-like filter on a ring not generated by ring ideals

7 votes
Accepted

The Parity Principle and $\mathbf{C}_2$ (choice for $2$-sets)

6 votes
Accepted

How hard is it to get "absolutely" no amorphous sets?

6 votes
Accepted

Stronger negation of AC given by rejecting "infinite hat" puzzles

5 votes
Accepted

Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$

5 votes
Accepted

The difference between Baire 2 and 'effectively Baire 2'

4 votes

Gently changing measure

4 votes
Accepted

Strong form of $\mathtt{PSP}$ for $K_\sigma$ sets

4 votes

Consistency of embedding cardinals in linear orderings

4 votes
Accepted

Is there a maximal translation-invariant extension of Lebesgue measure?

3 votes

If $X$ a subset of ordinals, is $M[X]$ a generic extension?

3 votes

Is "the purely probabilistic version of Freiling's axiom of symmetry" disprovable in ZFC?