On the Relationship Between Matiyasevich's and Smorynski's Theorems

DOI10.7561/SACS.2019.1.101MaRDI QIDQ5089608

Apoloniusz Tyszka, Agnieszka Peszek

Publication date: 19 July 2022

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

recursively enumerable setMatiyasevich's theoremcomputable setDavis-Putnam-Robinson-Matiyasevich theoremHilbert's Tenth Problem for solutions in a subring of \(\mathbb{Q}\)Smoryński's theorem

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

This page was built for publication: On the Relationship Between Matiyasevich's and Smorynski's Theorems