MathOverflow
Profile Activity
Main user
Network profile
34,327
reputation
1
15
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).

9
answers
4
questions
~22k
people reached

Communities (68)

Top network posts

Top tags (21)

Score 23
Posts 4
Posts % 31
Score 15
Posts 4
Score 15
Posts 2
Score 15
Posts 2
Score 7
Posts 1
Score 7
Posts 1
View all tags →

Top posts (13)

All Questions Answers
Votes Newest
10 Numbering and cross referencing of equations in questions and answers Jun 15 '16
7 Best of MathOverflow, or papers inspired by MathOverflow May 2 '16
7 List of close reasons has changed? Dec 13 '19
7 Curious, Inquisitive, Socratic badges Jul 2 '14
7 Tabs on the front page Apr 28 '15
6 What happened to the colours? Feb 27
6 Moderation tools Jun 25 '13
6 How can this question have more downvotes than views? Nov 10
5 Help improve tagging! Jun 26 '14
5 List of recurrent technical problems involving MathJax Aug 20 '13
View all questions and answers →

Badges (30)

Gold

1

Rarest

Silver

15

Rarest

Bronze

14

Rarest

View all badges →