Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts - doi # 2014-05 Article type Journal