MathOverflow

Nice Answer

 Nice Answer
Answer score of 10 or more. This badge can be awarded multiple times.

earned this badge 729 times.
Product of ultrafilters, is it an ultrafilter?
Awarded Jul 20, 2017 at 16:00
Category theory from MK class theory perspective?
Awarded Jul 15, 2017 at 4:21
Trouble with models of PA and ZFC
Awarded Jun 19, 2017 at 20:47
Definitions of ordinal besides von Neumann & Frege-Russel?
Awarded Jun 17, 2017 at 18:05
totally ordered chain in the powerset with big cardinality
Awarded May 24, 2017 at 16:41
Transitive models and CH
Awarded May 13, 2017 at 3:40
Is determinacy on an infinite Dedekind finite set consistent?
Awarded May 7, 2017 at 13:51
Anti-large cardinal principles
Awarded Apr 25, 2017 at 8:27
When is the graph of a function a dense set?
Awarded Apr 24, 2017 at 19:12
A principle of mathematical induction for partially ordered sets with infima?
Awarded Apr 21, 2017 at 11:51
The set of largest numbers definable by formulas in different lengths
Awarded Apr 16, 2017 at 5:44
Are there complexity classes with provably no complete problems?
Awarded Apr 12, 2017 at 21:19
Going beyond the surreal numbers
Awarded Apr 9, 2017 at 1:13
The example of mechanical system that has a Mobius strip as their configuration space
Awarded Apr 2, 2017 at 4:48
How to make countably closed forcing "nice" without choice
Awarded Mar 26, 2017 at 14:34
Forcing mildly over a worldly cardinal.
Awarded Mar 25, 2017 at 15:54
If I exchange infinitely many digits of $\pi$ and $e$, are the two resulting numbers transcendental?
Awarded Mar 23, 2017 at 18:38
$< \aleph_1-$support Product of Cohen forcings
Awarded Mar 7, 2017 at 21:35
$\kappa$-homogeneous topological spaces
Awarded Feb 12, 2017 at 23:25
Applications of logic to group theory?
Awarded Feb 11, 2017 at 16:17
The transcendence degree of $\mathbb R$ after adding a Cohen
Awarded Jan 25, 2017 at 16:49
Determined, finite games
Awarded Jan 25, 2017 at 15:18
The most outrageous (or ridiculous) conjectures in mathematics
Awarded Jan 17, 2017 at 20:39
Memorable ordinals
Awarded Jan 13, 2017 at 13:08
Choosing subsets of $\mathbb R$ of cardinality $\frak c$, who wins?
Awarded Jan 3, 2017 at 21:07
Can all lines in the euclidian plane be ordinary?
Awarded Dec 29, 2016 at 15:48
Platonic Truth and 1st Order Predicate Logic
Awarded Dec 28, 2016 at 12:13
Languages beyond enumerable
Awarded Nov 25, 2016 at 22:09
Meta-undecidability
Awarded Nov 24, 2016 at 6:33
Are proper classes objects?
Awarded Nov 17, 2016 at 9:15
Mutually generics
Awarded Nov 12, 2016 at 20:40
Is there any set theory $T$ such that $T$ plus true arithmetic is complete with respect to statements in set theory?
Awarded Nov 6, 2016 at 10:42
Is there a perfect set of ground model reals in the Cohen extension?
Awarded Oct 15, 2016 at 8:06
Ramsey Theorem for the class ORD
Awarded Oct 5, 2016 at 14:43
What do named "tricks" share?
Awarded Sep 13, 2016 at 3:18
Is there a database for tracking the dependencies of mathematical theorems?
Awarded Sep 9, 2016 at 7:17
The Halting Problem and Church's Thesis
Awarded Sep 8, 2016 at 15:28
Do set-theorists use informal set theory as their meta-theory when talking about models of ZFC?
Awarded Sep 4, 2016 at 4:39
A rare property of Hausdorff spaces
Awarded Aug 9, 2016 at 15:04
What is the idea behind stationary sets?
Awarded Jul 29, 2016 at 13:54
Why do we need a transitive model in forcing arguments?
Awarded Jul 20, 2016 at 15:59
Do there exist non-PIDs in which every countably generated ideal is principal?
Awarded Jul 13, 2016 at 0:24
Is it inconsistent for a model of set theory to contain its own first order theory?
Awarded Jun 27, 2016 at 14:35
A specific Model of ZFC
Awarded Apr 28, 2016 at 6:28
Adapting arguments and plagiarism
Awarded Apr 25, 2016 at 21:48
Definability in HOD
Awarded Apr 23, 2016 at 7:17
Is injectivity of $2^{(\ldots)}$ weaker than $\mathsf{GCH}$?
Awarded Apr 21, 2016 at 17:09
Can Assumptions about forcing produce Mice?
Awarded Apr 13, 2016 at 1:47
The Kunen inconsistency and definable classes
Awarded Apr 9, 2016 at 5:03
Which model of computation is "the best"?
Awarded Mar 12, 2016 at 0:29
A search for theorems which appear to have very few, if any hypotheses
Awarded Feb 17, 2016 at 15:50
Are these two quotients of $\omega^\omega$ isomorphic?
Awarded Feb 14, 2016 at 20:56
Is platonism regarding arithmetic consistent with the multiverse view in set theory?
Awarded Feb 14, 2016 at 14:20
Is there a consistent arithmetically definable extension of PA that proves its own consistency?
Awarded Feb 13, 2016 at 13:14
Why hasn't mereology succeeded as an alternative to set theory?
Awarded Jan 26, 2016 at 15:21
Ring with three binary operations
Awarded Jan 20, 2016 at 1:35
Should axiomatic set theory be translated into graph theory?
Awarded Jan 7, 2016 at 1:40
What is the relationship between Turing Machines and Gödel's Incompleteness Theorem?
Awarded Dec 30, 2015 at 22:13
Are all Hawaiian Earrings homeomorphic?
Awarded Dec 30, 2015 at 15:55
End Extension models of $I\Delta_0$
Awarded Dec 26, 2015 at 16:39
1
…
3 4
5
6 7
…
13

Others with this badge