MathOverflow

Good Answer

 Good Answer
Answer score of 25 or more. This badge can be awarded multiple times.

earned this badge 39 times.
Are $\mathbb{C}$ and $\overline{\mathbb{Q}}_p$ isomorphic?
Awarded Sep 7, 2022 at 0:16
Pi1-sentence independent of ZF, ZF+Con(ZF), ZF+Con(ZF)+Con(ZF+Con(ZF)), etc.?
Awarded Apr 2, 2022 at 21:17
Which topological spaces admit a nonstandard metric?
Awarded Nov 26, 2021 at 20:21
Which are the rigid suborders of the real line?
Awarded Apr 9, 2021 at 18:23
Cauchy reals and Dedekind reals satisfy "the same mathematical theorems"
Awarded Jul 18, 2019 at 13:10
Internal logic of the topos of simplicial sets
Awarded Apr 8, 2019 at 21:25
Why do roots of polynomials tend to have absolute value close to 1?
Awarded Dec 5, 2018 at 19:45
What can be proven in Peano arithmetic but not Heyting arithmetic?
Awarded Dec 2, 2018 at 3:00
Has decidability got something to do with primes?
Awarded Nov 4, 2018 at 22:50
Does the Brouwer fixed point theorem admit a constructive proof?
Awarded May 5, 2018 at 8:16
How much should the average mathematician know about foundations?
Awarded Mar 24, 2018 at 20:27
Nelson's program to show inconsistency of ZF
Awarded Nov 1, 2017 at 3:11
Recent claim that inaccessibles are inconsistent with ZF
Awarded Oct 19, 2017 at 17:16
Thinking and Explaining
Awarded Mar 5, 2017 at 5:43
Forcing as a new chapter of Galois Theory?
Awarded Jan 26, 2017 at 12:49
Does $\operatorname{Con}\sf(ZF)$ imply $\operatorname{Con}\sf(ZF + \operatorname{Aut}{\bf C = Z/\mathrm 2Z})$?
Awarded Dec 1, 2016 at 17:48
Who needs Replacement anyway?
Awarded Aug 21, 2016 at 20:22
Why is this new result such a big deal?
Awarded May 28, 2016 at 10:24
What's a magical theorem in logic?
Awarded May 15, 2016 at 19:43
Using consistency to create new axioms in set theory
Awarded Apr 11, 2016 at 17:29
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
Awarded Jan 20, 2016 at 10:06
Reasons to believe Vopenka's principle/huge cardinals are consistent
Awarded Oct 20, 2015 at 16:05
Reductio ad absurdum or the contrapositive?
Awarded Oct 9, 2015 at 4:17
What are some mathematical concepts that were (pretty much) created from scratch and do not owe a debt to previous work?
Awarded Apr 14, 2015 at 9:51
How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?
Awarded Jan 20, 2015 at 5:03
Propositional Logic, First-Order Logic, and Higher-Order Logics
Awarded Nov 27, 2014 at 5:24
Inverse Ackermann - primitive recursive or not?
Awarded May 12, 2014 at 10:48
Which mathematicians have influenced you the most?
Awarded Jun 7, 2013 at 7:50
Which spaces are inverse limits of discrete spaces ?
Awarded Jun 6, 2013 at 1:50
What is the definition of "canonical"?
Awarded Jun 5, 2012 at 13:50
Most 'unintuitive' application of the Axiom of Choice?
Awarded Mar 30, 2012 at 10:05
Proof that pi is transcendental that doesn't use the infinitude of primes
Awarded Dec 26, 2011 at 15:35
"Transitivity" of the Stone-Cech compactification
Awarded Apr 14, 2011 at 20:50
What are some examples of colorful language in serious mathematics papers?
Awarded Nov 5, 2010 at 3:20
What are some examples of colorful language in serious mathematics papers?
Awarded Sep 3, 2010 at 21:05
explicit big linearly independent sets
Awarded Jul 1, 2010 at 17:50
How many orders of infinity are there?
Awarded Jun 20, 2010 at 15:20
What is the high-concept explanation on why real numbers are useful in number theory?
Awarded May 25, 2010 at 2:50
In what rigorous sense are Sperner's Lemma and the Brouwer Fixed Point Theorem equivalent?
Awarded May 24, 2010 at 9:50

Others with this badge