Skip to main content
MathOverflow
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek's user avatar
Emil Jeřábek
  • Member for 13 years, 10 months
  • Last seen this week
Profile Activity
Stats
47,081
reputation
603k
reached
523
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
147
silver badges
208
bronze badges
Top tags
View all tags
2,237
Score
253
Posts
48
Posts %
801
Score
81
Posts
15
Posts %
631
Score
83
Posts
16
Posts %
387
Score
60
Posts
11
Posts %
368
Score
42
Posts
8
Posts %
332
Score
42
Posts
8
Posts %
Top posts
View all questions and answers
answer
46
Can ZFC prove it cannot derive an inconsistency in $n$ steps?
Jan 27, 2015
answer
38
Can one show that the real field is not interpretable in the complex field without the axiom of choice?
Jul 13, 2021
answer
38
What is the minimal density of a set A such that A+A = N?
Dec 4, 2023
answer
37
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
Jun 23, 2014
answer
37
Additive Subgroups of the Reals.
Mar 29, 2011
answer
35
Alternatives to the law of the excluded middle
May 3, 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
30
A puzzle about finding three points $(x,y)$, $(x,z)$ and $(y,z)$ in a subset of a square.
Feb 25, 2011
answer
30
Do you believe P=NP?
Apr 15, 2011
Top Meta posts
7
23
44
Update on "Who owns my MathOverflow posts?"
24
Kitty can’t fix it — Old questions inaccessible for logged-in users, giving “unexpected error”
17
Possible MathJax upgrade
13
Is it possible to temporarily comment out part of a post?
13
Numbering and cross referencing of equations in questions and answers
Top network posts
View all network posts
41
Why are regular languages called "regular"?
41
Best way to remove fruit flies from your kitchen
39
New post summary designs on site home pages and greatest hits now; everywhere else eventually
38
(-a) × (-a) = a × a
36
Is there a natural problem on the naturals that is NP-complete?