Publication:3656422
From MaRDI portal
zbMath1187.03049MaRDI QIDQ3656422
Publication date: 13 January 2010
Related Items
Unnamed Item, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Laver's results and low-dimensional topology, Unprovability threshold for the planar graph minor theorem, The scope of Gödel's first incompleteness theorem, The strength of infinitary Ramseyan principles can be accessed by their densities