scientific article; zbMATH DE number 3248030

MaRDI QIDQ5534937zbMATH OpenFDO

Authors John Shepherdson

Publication date 1965

zbMATH Keywords

set theory

Mathematics Subject Classification ID

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

Cited in

(6)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5534937)