Concepedia

Jan Krajı́ček

JK

Statistics

Publications

47

Citations

3K

H-Index

31

Active since

1988

Affiliations

Czech Academy of Sciences, Institute of Mathematics(Current)

Charles University

Mathematical Institute of the Slovak Academy of Sciences

Czech Academy of Sciences, Institute of Computer Science

University of Illinois Urbana-Champaign

Jan Krajı́ček is an author at Czech Academy of Sciences, Institute of Mathematics specializing in computer science, mathematics, and computing.

ORCID

Publications per year

1988–2019

47

Publications

47

Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

Jan Krajı́ček · Journal of Symbolic Logic · 1997 · 299 citations

, , +14

Propositional proof systems, the consistency of first order theories and the complexity of computations

Jan Krajı́ček, Pavel Pudlák · Journal of Symbolic Logic · 1989 · 202 citations

, , +11

Bounded arithmetic and the polynomial hierarchy

Jan Krajı́ček, Pavel Pudlák, Gaisi Takeuti · Annals of Pure and Applied Logic · 1991 · 177 citations

, , +11

On the weak pigeonhole principle

Jan Krajı́ček · Fundamenta Mathematicae · 2001 · 167 citations · Full text

, , +15

Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs

Paul Beame, Russell Impagliazzo, Jan Krajı́ček et al. · Proceedings of the London Mathematical Society · 1996 · 165 citations

, , +10

1–5 of 47