MathOverflow
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek
  • Member for 12 years, 10 months
  • Last seen this week
Profile Activity
Stats
43,440
reputation
553k
reached
492
answers
2
questions
Communities
View all
About

I am a researcher at the Institute of Mathematics of the Czech Academy of Sciences. I work in the field of mathematical logic, specifically proof complexity (mainly subsystems of bounded arithmetic, but also propositional proof complexity) and nonclassical logics (admissible rules of modal, superintuitionistic, and other propositional logics).

Badges
View all badges
4
gold badges
134
silver badges
199
bronze badges
Top tags
View all tags
2,013
Score
235
Posts
48
Posts %
765
Score
77
Posts
16
Posts %
593
Score
79
Posts
16
Posts %
366
Score
43
Posts
9
Posts %
354
Score
56
Posts
11
Posts %
315
Score
39
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
44
Can ZFC prove it cannot derive an inconsistency in $n$ steps?
Jan 27, 2015
answer
38
What is the minimal density of a set A such that A+A = N?
Dec 4
answer
38
Additive Subgroups of the Reals.
Mar 29, 2011
answer
36
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
Jun 23, 2014
answer
35
Alternatives to the law of the excluded middle
May 3, 2021
answer
34
Can one show that the real field is not interpretable in the complex field without the axiom of choice?
Jul 13, 2021
answer
34
Do all the roots of the polynomial lie in the unit disk?
Jun 27, 2013
answer
33
How many morphisms from 1 to 1+1 can there be?
Apr 19, 2019
answer
31
Do you believe P=NP?
Apr 15, 2011
answer
30
A puzzle about finding three points $(x,y)$, $(x,z)$ and $(y,z)$ in a subset of a square.
Feb 25, 2011
Top Meta posts
6
19
44
Update on "Who owns my MathOverflow posts?"
24
Kitty can’t fix it — Old questions inaccessible for logged-in users, giving “unexpected error”
13
Numbering and cross referencing of equations in questions and answers
13
Is it possible to temporarily comment out part of a post?
9
How could I compute my "candidate score"?
Top network posts
View all network posts
41
Best way to remove fruit flies from your kitchen
40
Why are regular languages called "regular"?
39
New post summary designs on site home pages and greatest hits now; everywhere else eventually
37
(-a) × (-a) = a × a
35
Is there a natural problem on the naturals that is NP-complete?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.