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

This user has not participated in any 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
8 Tabs on the front page Apr 28 '15
7 What happened to the colours? Feb 27 '20
7 Moderation tools Jun 25 '13
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
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 (31)

Gold

1

Rarest

Silver

15

Rarest

Bronze

15

Rarest

View all badges →