MathOverflow

Enlightened

 Enlightened
First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

earned this badge 20 times.
Consistency strength of strongly compact cardinal
Awarded Mar 23 at 8:56
Follow up question: Shelah's "Can you take Solovay's inaccessible away?"
Awarded Jan 10 at 21:30
Is the Tukey order well-founded
Awarded Dec 6, 2023 at 8:04
Are Berkeley cardinals easier to refute in ZFC than Reinhardt cardinals?
Awarded Nov 21, 2023 at 19:57
The consistency of $\Sigma_1$-elementary embeddings $j\colon V_{\lambda+2}\to V_{\lambda+2}$ over $\mathsf{ZFC}$
Awarded Nov 3, 2023 at 12:10
Consistency strength of some problems about singular cardinals
Awarded Oct 31, 2023 at 19:11
Natural set-theoretic principles implying the Ground Axiom
Awarded Oct 27, 2023 at 22:06
Is there a form of choice that can elude Kunen's inconsistency theorem?
Awarded Jan 13, 2023 at 9:17
Locating generic filters in the Lévy collapse
Awarded Feb 18, 2022 at 9:15
Elementary embeddings and replacement
Awarded May 15, 2021 at 9:20
If $U,D$ are $\kappa$-complete nonprincipal ultrafilters on $\kappa$ and $j_U(U) = j_D(D)$, is $U=D$?
Awarded Apr 17, 2021 at 5:57
What are the difficulties involved in proving that the Kunen inconsistency holds in $NGB$
Awarded Mar 17, 2021 at 21:46
Can $Ord$ have nontrivial second-order elementary self-embeddings?
Awarded Dec 16, 2020 at 1:37
Does $Π^1_{2n+1} = (Σ^1_{2n+1})^{M_{2n-1}}$?
Awarded Dec 11, 2020 at 3:35
What is the consistency strength of almost $\omega$-huge cardinals?
Awarded Nov 26, 2020 at 11:06
When do infinitary compactness numbers exist?
Awarded Oct 31, 2020 at 6:20
Intersection of two generic extensions
Awarded Sep 17, 2020 at 19:21
Is there a finitely generated group with the same structure as ZFC?
Awarded Aug 20, 2020 at 0:57
Is there a minimal inner model for determinacy?
Awarded Jul 27, 2020 at 9:46
What is the error in this disproof of the $\Omega$-conjecture?
Awarded Jan 2, 2017 at 19:24

Others with this badge