Stack Exchange

Hannes Jakob

top accounts reputation activity subscriptions
Top Questions
8 votes

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

set-theory axiom-of-choice independence-results asked Apr 26, 2019 at 9:54
mathoverflow.net

7 votes

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

set-theory forcing asked Jan 27, 2021 at 17:50
mathoverflow.net

7 votes

Dedekind-"finiteness" for arbitrary limit cardinals

set-theory independence-results asked Jun 10, 2021 at 14:48
mathoverflow.net

6 votes

Are the following two "tree properties" equivalent?

set-theory lo.logic large-cardinals infinite-combinatorics asked Nov 16, 2021 at 16:36
mathoverflow.net

6 votes

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

set-theory large-cardinals asked Jan 17, 2022 at 11:09
mathoverflow.net

6 votes

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

reference-request set-theory forcing large-cardinals asked Feb 25 at 8:16
mathoverflow.net

5 votes

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

set-theory forcing infinite-combinatorics infinite-games asked Mar 9 at 20:52
mathoverflow.net

5 votes

Collapsing every cardinal outside the Prikry sequence

set-theory large-cardinals asked Oct 19 at 13:48
mathoverflow.net

5 votes

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

set-theory forcing cardinal-arithmetic asked May 11, 2022 at 10:16
mathoverflow.net

5 votes

Smallest size of a non-measurable set of reals

set-theory independence-results cardinal-characteristics asked Jan 10, 2020 at 21:20
mathoverflow.net

1 2

Top Answers