Hilbert's tenth problem for weak theories of arithmetic

DOI10.1016/0168-0072(93)90198-MzbMATH Open0790.03056MaRDI QIDQ685070FDOQ685070

Authors: Richard Kaye 

Publication date: 22 September 1993

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Diophantine equations solvable in models of open induction
• Title not available (Why is that?)
• Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?
• Title not available (Why is that?)
• Diophantine induction
• Title not available (Why is that?)
• Bounded existential induction
• Parameter-Free Universal Induction
• Title not available (Why is that?)
• Representability of recursively enumerable sets in formal theories

Cited In (6)

• Hilbert's Second Problem (the consistency of arithmetic)
• Title not available (Why is that?)
• 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)