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

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

7 votes
1 answer
229 views

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

7 votes
3 answers
400 views

Dedekind-"finiteness" for arbitrary limit cardinals

6 votes
1 answer
279 views

Are the following two "tree properties" equivalent?

6 votes
2 answers
273 views

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

6 votes
1 answer
238 views

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

5 votes
1 answer
182 views

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

5 votes
1 answer
224 views

Collapsing every cardinal outside the Prikry sequence

5 votes
1 answer
302 views

Function whose graph is a Borel relation

5 votes
1 answer
137 views

Maximality principle in symmetric extensions

5 votes
0 answers
192 views

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

5 votes
1 answer
475 views

Smallest size of a non-measurable set of reals

5 votes
1 answer
205 views

Relationship between "infinitely unequal" and "eventually different"

4 votes
1 answer
670 views

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

2 votes
2 answers
340 views

Amoeba forcing adds a null set covering all old null sets