Skip to main content
MathOverflow
Elliot Glazer's user avatar
Elliot Glazer's user avatar
Elliot Glazer's user avatar
Elliot Glazer
  • Member for 7 years, 7 months
  • Last seen this week
Profile Activity

44 Answers

Score Activity Newest
22 votes

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

15 votes
Accepted

Is Global Choice conservative over Zermelo with Choice?

13 votes
Accepted

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

13 votes

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

13 votes

Is it consistent with ZFC that the real line is approachable by sets with no accumulation points?

12 votes
Accepted

Is this set theory equivalent to ZFC?

12 votes
Accepted

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

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

11 votes
Accepted

What can be the measure of a Vitali set?

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?

10 votes
Accepted

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

10 votes

Do the surreal numbers enjoy the transfer principle in ZFC?

9 votes
Accepted

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

9 votes
Accepted

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

9 votes
Accepted

Can a Vopenka cardinal be supercompact?

9 votes
Accepted

Building the real from Dedekind finite sets

9 votes
Accepted

Must strange sequences wear Russellian socks?

9 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$?

8 votes
Accepted

Products of Cohen forcings

7 votes
Accepted

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

7 votes
Accepted

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

7 votes
Accepted

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

6 votes

Does Well-Ordered Interval Power Set "WOIPS" principle , prove $\sf AC$ in $\sf ZFA$?

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

A surjection from square onto power: Is limit Hartogs/Lindenbaum number necessary?

5 votes
Accepted

Gently changing measure

1
2