Unprovability threshold for the planar graph minor theorem

Andrey Bovykin. Unprovability threshold for the planar graph minor theorem. Annals of Pure and Applied Logic, 162(3):175-181, 2010. [doi]

Abstract

Abstract is missing.