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).
4
answers
2
questions
~1k
people reached
 Prague
 math.cas.cz/~jerabek
 Member for 4 years, 9 months
 90 profile views
 Last seen 1 hour ago
Communities (22)
Top Network Posts
 33Additive Subgroups of the Reals.
 31Do all the roots of the polynomial lie in the unit disk?
 30Is there a natural problem on the naturals that is NPcomplete?
 30A puzzle about finding three points $(x,y)$, $(x,z)$ and $(y,z)$ in a subset of a square.
 29Can ZFC prove it cannot derive an inconsistency in $n$ steps?
 27Why are regular languages called "regular"?
 25Countable group with uncountable number of subgroups $< 2^{\aleph_0}$
 View more network posts →
Top Tags (12)
support
Score 9
Posts 2
Posts % 33
badges
Score 9
Posts 1
discussion
Score 8
Posts 2
Badges (18)
Gold
—

Silver
7
Rarest

Bronze
11
Rarest
