In this note we show that Bollobás’ theorem on the trace of sets has polynomial-size Frege proofs.
Proc. Japan Acad. Ser. A Math. Sci.
84(8):
159-161
(October 2008).
DOI: 10.3792/pjaa.84.159