MathOverflow
Profile Activity
Main user
Network profile
35,423
reputation
1
17
16

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

11
answers
4
questions
~23k
people reached

Communities (69)

Top network posts

Top tags (26)

Score 38
Posts 6
Posts % 40
Score 36
Posts 5
Score 17
Posts 2
Score 15
Posts 2
Score 15
Posts 2
Score 13
Posts 2
View all tags →

Top posts (15)

All Questions Answers
Votes Newest
13 Is it possible to temporarily comment out part of a post? Dec 16 '20
10 How could I compute my “candidate score”? Apr 13
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
View all questions and answers →

Badges (34)

Gold

1

Rarest

Silver

17

Rarest

Bronze

16

Rarest

View all badges →

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.