current community
chat
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Emil Jeřábek
Meta User
Network Profile
Reputation
21,745
21.7k
13.3k
4.8k
2012
2013
2014
2015
Top tag
lo.logic
Next privilege
25,000 Rep.
Access to site analytics
Badges
2
60
94
Newest
Enlightened
Next badge
17/25
Electorate
Impact
~
220k
people reached
158 posts edited
111 helpful flags
4,817 votes cast
summary
answers
questions
tags
badges
favorites
bounties
reputation
all actions
313
Answers
newest
activity
votes
33
Additive Subgroups of the Reals.
Mar 29 '11 at 15:51
31
Do all the roots of the polynomial lie in the unit disk?
Jun 27 '13 at 15:55
30
A puzzle about finding three points $(x,y)$, $(x,z)$ and $(y,z)$ in a subset of a square.
Feb 25 '11 at 16:36
29
Can ZFC prove it cannot derive an inconsistency in $n$ steps?
Jan 27 at 14:37
28
Do you believe P=NP?
Apr 15 '11 at 17:47
25
Countable group with uncountable number of subgroups $< 2^{\aleph_0}$
Jun 17 at 15:17
20
Can we find CH in the analytical hierarchy?
Sep 18 at 17:31
20
Probability, that a graph G does not contain a cycle
Mar 2 '11 at 14:30
19
Special infinitary relations and ultrafilters
Apr 7 '11 at 15:21
18
The NP version of Matiyasevich's theorem
Jul 20 '11 at 13:46
18
Transcendental numbers: yet another classification
Mar 29 '11 at 15:05
17
Even XOR Odd Infinities?
Jan 23 '13 at 14:17
17
What metatheory proves $\mathsf{ACA}_0$ conservative over PA?
Apr 10 '13 at 12:26
17
Are there examples of nonconstructive metaproofs?
Jun 8 '11 at 15:58
17
Countable Dense Sub-Groups of the Reals…
Jun 8 '11 at 13:47
16
Is factorial definable using a $\Delta_0$ formula?
Feb 25 at 13:05
15
The (un)decidability of Robinson-Arithmetic-without-Multiplication?
Jul 25 '14 at 11:36
15
Are there “non-constructive” sets in second-order arithmetic?
May 16 '14 at 16:24
15
Morse-Kelley set theory consistency strength
Feb 1 '12 at 16:24
15
Sums of binomials with even coefficients
Nov 4 '11 at 16:49
15
More on Lebesgue non-measurability
Aug 3 '11 at 11:12
15
Fast evaluation of polynomials
Jul 4 '11 at 16:09
15
Starting PhD at the age of 25
Mar 29 '11 at 18:49
14
Continued Fractions from Digit Streams
Aug 26 at 11:19
14
Is it easy to produce hard-to-color graphs?
May 30 '14 at 15:48
14
The set of Godel numbers of true sentences.
Aug 14 '12 at 15:41
14
Am I allowed to do non-rigorous numerical analysis?
Oct 19 '11 at 13:42
14
Formalizing Euclid's proof of the infinitude of primes
Sep 21 '11 at 13:22
13
Does Fermat's last theorem hold in the ordinals?
Dec 9 '13 at 14:56
13
Is there a 0-1 law for the theory of groups?
Dec 6 '13 at 21:46
MathOverflow works best with JavaScript enabled