MathOverflow

Necromancer

 Necromancer
Answer a question more than 60 days later with score of 5 or more. This badge can be awarded multiple times.

earned this badge 29 times.
Intermediate submodels without Boolean algebras
Awarded May 19, 2023 at 19:10
Could groups be used instead of sets as a foundation of mathematics?
Awarded Nov 15, 2022 at 15:56
How to prove projective determinacy (PD) from I0?
Awarded Feb 11, 2020 at 1:15
Nonessential use of large cardinals
Awarded Jan 2, 2019 at 7:25
$GCH$ and special Aronszajn trees
Awarded Oct 3, 2018 at 4:10
Is tree property inconsistent with Berkeley cardinals in the absence of Axiom of Choice?
Awarded Feb 17, 2018 at 21:24
What sort of cardinal number is the Löwenheim–Skolem number for second-order logic?
Awarded Feb 10, 2018 at 21:00
What are the known implications of "There exists a Reinhardt cardinal" in the theory "ZF + j"?
Awarded Nov 2, 2017 at 13:30
What sort of large cardinal can $\aleph_1$ be without the axiom of choice?
Awarded Oct 18, 2017 at 6:25
What are some very important papers published in non-top journals?
Awarded Aug 15, 2017 at 21:53
collapsing successor of singular
Awarded Jul 23, 2017 at 9:00
Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?
Awarded Nov 9, 2016 at 7:19
Axiomatizations of the real exponential field
Awarded May 3, 2016 at 0:27
Slim Kurepa tree at a singular strong limit cardinal of uncountable cofinality
Awarded Apr 21, 2016 at 5:41
Can Suslin (or Aronszajn) lines ever be orderings of abelian groups?
Awarded Dec 6, 2015 at 23:26
Does every Aronszajn tree has a Suslin or a Special subtree?
Awarded Nov 15, 2015 at 2:34
Can the first ordinal in which $V\neq HOD$ be $\aleph_\omega$?
Awarded Oct 22, 2015 at 9:50
Forcing as a replacement of induction and diagonal arguments
Awarded Jun 25, 2015 at 9:03
Proofs of the uncountability of the reals
Awarded Apr 22, 2015 at 15:03
Is there a "large powerset axiom" so extreme that it disproves the existence of strongly inaccessible cardinals?
Awarded Apr 5, 2015 at 13:02
Solutions to the Continuum Hypothesis
Awarded Mar 24, 2015 at 1:03
Can infinity shorten proofs a lot?
Awarded Mar 12, 2015 at 19:27
Applications of forcing in model theory
Awarded Mar 12, 2015 at 5:55
Singularizing forcing of "small" cardinality?
Awarded Feb 17, 2015 at 18:44
Short proof of $\frak p=t$
Awarded Feb 12, 2015 at 19:43
Can all $\aleph_2$-dense subsets of $\mathbb{R}$ be isomorphic?
Awarded Jan 31, 2015 at 14:10
Examples of ZFC theorems proved via forcing
Awarded Dec 29, 2013 at 11:03
Resembling the Levy Collapse
Awarded Dec 9, 2013 at 14:59
Failure of the GCH
Awarded Aug 2, 2013 at 9:17

Others with this badge