MathOverflow
Profile Activity
Main user
Network profile
35,028
reputation
1
16
15

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

10
answers
4
questions
~22k
people reached

Communities (69)

Top network posts

Top tags (23)

Score 36
Posts 5
Posts % 36
Score 28
Posts 5
Score 15
Posts 2
Score 15
Posts 2
Score 13
Posts 2
Score 13
Posts 1
View all tags →

Top posts (14)

All Questions Answers
Votes Newest
13 Is it possible to temporarily comment out part of a post? Dec 16 '20
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 '20
6 Moderation tools Jun 25 '13
6 How can this question have more downvotes than views? Nov 10 '20
5 Help improve tagging! Jun 26 '14
View all questions and answers →

Badges (32)

Gold

1

Rarest

Silver

16

Rarest

Bronze

15

Rarest

View all badges →