MathOverflow
Main user
Network profile
31,487
reputation
1
14
14

Emil Jeřábek

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).

6
answers
3
questions
~19k
people reached

Communities (65)

Top network posts

Top tags (14)

Score 17
Posts 3
Posts % 33
Score 15
Posts 2
Score 15
Posts 2
Score 8
Posts 3
Score 7
Posts 1
Score 5
Posts 4
View all tags →

Top posts (9) All Questions Answers | Votes Newest

10 Numbering and cross referencing of equations in questions and answers Jun 15 '16
7 Curious, Inquisitive, Socratic badges Jul 2 '14
7 Tabs on the front page Apr 28 '15
6 Moderation tools Jun 25 '13
6 Best of MathOverflow, or papers inspired by MathOverflow May 2 '16
5 Help improve tagging! Jun 26 '14
5 List of recurrent technical problems involving MathJax Aug 20 '13
5 Tabs misaligned May 9 '16
3 Site updates are live Oct 5 '15

Badges (29)

Gold

1

Rarest

Silver

14

Rarest

Bronze

14

Rarest

View all badges →