Abstract

A fast consistency prover is a consistent poly-time axiomatized theory
that has short proofs of the finite consistency statements of any other
poly-time axiomatized theory. Krajícek and Pudlák proved in [5] that
the existence of an optimal propositional proof system is equivalent to
the existence of a fast consistency prover. It is an easy
... read more