Hilbert's tenth problem for weak theories of arithmetic
From MaRDI portal
Publication:685070
DOI10.1016/0168-0072(93)90198-MzbMath0790.03056MaRDI QIDQ685070
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Hilbert's tenth problem; bounded existential induction; parameter- free bounded universal induction; weak theories of arithmetic
Related Items
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