Hilbert's tenth problem for weak theories of arithmetic

DOI10.1016/0168-0072(93)90198-MMaRDI QIDQ685070zbMATH OpenFDO

Authors Richard 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)

Recommendations

• Undecidability in number theory
• scientific article; zbMATH DE number 1261118
• scientific article; zbMATH DE number 1531933
• Hilbert's tenth problem for fixed \(d\) and \(n\)
• Hilbert's Tenth Problem over number fields, a survey

Cites work

• scientific article; zbMATH DE number 3702663 (Why is no real title available?)
• scientific article; zbMATH DE number 3710174 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 3248030 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• Bounded existential induction
• Diophantine induction
• On Diophantine equations solvable in models of open induction
• Parameter-Free Universal Induction
• Representability of recursively enumerable sets in formal theories
• Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?

Cited in

(6)

• Hilbert's Second Problem (the consistency of arithmetic)
• scientific article; zbMATH DE number 7566048 (Why is no real title available?)
• On the bounded version of Hilbert's tenth problem
• Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
• Division by zero
• Restricted polynomial induction versus parameter free ordinary induction

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

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