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

75 Answers

Score Activity Newest
23 votes
Accepted

Is there a form of choice that can elude Kunen's inconsistency theorem?

21 votes
Accepted

Are Berkeley cardinals easier to refute in ZFC than Reinhardt cardinals?

20 votes

A better way to explain forcing?

18 votes
Accepted

Is there a minimal inner model for determinacy?

18 votes
Accepted

Is there a finitely generated group with the same structure as ZFC?

17 votes
Accepted

Can $Ord$ have nontrivial second-order elementary self-embeddings?

17 votes
Accepted

Must there be a proper class of Reinhardt cardinals if there is a Reinhardt cardinal?

16 votes

Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory

15 votes
Accepted

What is the error in this disproof of the $\Omega$-conjecture?

15 votes
Accepted

How much Dependent Choice is provable in $Z_2$? And what about Projective Determinacy?

14 votes
Accepted

Consistency strength of strongly compact cardinal

13 votes
Accepted

Natural set-theoretic principles implying the Ground Axiom

13 votes
Accepted

Intersection of two generic extensions

13 votes

A “paradox” about the inner model problem

12 votes
Accepted

When do infinitary compactness numbers exist?

12 votes
Accepted

Does $Π^1_{2n+1} = (Σ^1_{2n+1})^{M_{2n-1}}$?

12 votes
Accepted

Consistency strength of some problems about singular cardinals

11 votes
Accepted

Is the Tukey order well-founded

11 votes
Accepted

Follow up question: Shelah's "Can you take Solovay's inaccessible away?"

11 votes
Accepted

If $U,D$ are $\kappa$-complete nonprincipal ultrafilters on $\kappa$ and $j_U(U) = j_D(D)$, is $U=D$?

11 votes
Accepted

Elementary embeddings and replacement

11 votes
Accepted

What is the consistency strength of almost $\omega$-huge cardinals?

10 votes
Accepted

When do two ultrafilters yield isomorphic ultrapowers?

10 votes
Accepted

What are the difficulties involved in proving that the Kunen inconsistency holds in $NGB$

10 votes
Accepted

The consistency of $\Sigma_1$-elementary embeddings $j\colon V_{\lambda+2}\to V_{\lambda+2}$ over $\mathsf{ZFC}$

10 votes
Accepted

Locating generic filters in the Lévy collapse

9 votes
Accepted

Compatibility of $\mathsf{SVC}$ and Reinhardtness

9 votes

Large cardinals in ZF + DC + AD

9 votes
Accepted

Raising the index of accessibility

9 votes
Accepted

Uniqueness of countable version of $L[U]$?

1
2 3