Hilbert's tenth problem for weak theories of arithmetic

DOI10.1016/0168-0072(93)90198-MzbMath0790.03056MaRDI QIDQ685070

Richard W. Kaye

Publication date: 22 September 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Hilbert's tenth problembounded existential inductionparameter- free bounded universal inductionweak theories of arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Related Items (2)

Restricted polynomial induction versus parameter free ordinary induction ⋮ Division by zero

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine induction
• On Diophantine equations solvable in models of open induction
• Bounded existential induction
• Parameter-Free Universal Induction
• Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?
• Representability of recursively enumerable sets in formal theories

This page was built for publication: Hilbert's tenth problem for weak theories of arithmetic