Abstract
In this note we show that Bollobás’ theorem on the trace of sets has polynomial-size Frege proofs.
Citation
Toshiyasu Arai. Noriko H. Arai. Akihiro Nozaki. "Polynomal-size Frege proofs of Bollobás’ theorem on the trace of sets." Proc. Japan Acad. Ser. A Math. Sci. 84 (8) 159 - 161, October 2008. https://doi.org/10.3792/pjaa.84.159
Information
