scientific article

zbMath1187.03049MaRDI QIDQ3656422

Andrey Bovykin

Publication date: 13 January 2010

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

The strength of infinitary Ramseyan principles can be accessed by their densities, Unprovability threshold for the planar graph minor theorem, The scope of Gödel's first incompleteness theorem, Unnamed Item, Laver's results and low-dimensional topology, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS