Hannes Jakob's user avatar
Hannes Jakob's user avatar
Hannes Jakob's user avatar
Hannes Jakob
  • Member for 4 years, 10 months
  • Last seen this week
8 votes
1 answer
446 views

Relationship between AC, WO, and Zorn's lemma in ZF-Powerset

7 votes
1 answer
237 views

Are generic filters that produce the same forcing extension related by a ground-model automorphism?

7 votes
3 answers
411 views

Dedekind-"finiteness" for arbitrary limit cardinals

7 votes
1 answer
245 views

Proof (or reference) about the cc-ness of termspace forcing

6 votes
1 answer
282 views

Are the following two "tree properties" equivalent?

6 votes
2 answers
277 views

What is known about the least cardinal where $\kappa$ fails to be supercompact?

5 votes
0 answers
195 views

Does this proof by Shelah use any "hidden assumptions"?

5 votes
1 answer
485 views

Smallest size of a non-measurable set of reals

5 votes
1 answer
207 views

Relationship between "infinitely unequal" and "eventually different"

5 votes
1 answer
188 views

Are the completeness Games $G_{\lambda+1}(P)$ and $G_{\lambda^+}(P)$ equivalent for INC?

5 votes
1 answer
231 views

Collapsing every cardinal outside the Prikry sequence

5 votes
0 answers
205 views

Questions about very fat sets

5 votes
1 answer
311 views

Function whose graph is a Borel relation

5 votes
1 answer
137 views

Maximality principle in symmetric extensions

4 votes
1 answer
683 views

Is every element of $\omega_1$ the rank of some Borel set?

2 votes
2 answers
350 views

Amoeba forcing adds a null set covering all old null sets