scientific article; zbMATH DE number 3248030

zbMath0154.26202MaRDI QIDQ5534937

John C. Shepherdson

Publication date: 1965

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

zbMATH Keywords

set theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Number theory (11-XX)

Related Items

Diophantine equations in fragments in arithmetic, Hilbert's tenth problem for weak theories of arithmetic, Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\), Diophantine induction, Some results on cut-elimination, provable well-orderings, induction and reflection, Unprovability results for clause set cycles