scientific article; zbMATH DE number 3593551
From MaRDI portal
Publication:4161318
zbMath0382.03037MaRDI QIDQ4161318
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonstandard models of arithmetic (03H15) Applications of computability and recursion theory (03D80) Recursively (computably) enumerable sets and degrees (03D25) Diophantine equations (11D99) Nonstandard arithmetic (number-theoretic aspects) (11U10) Connections of number theory and logic (11U99)
Related Items (2)
A direct method for simulating partial recursive functions by Diophantine equations ⋮ Some diophantine forms of gödel's theorem
This page was built for publication:
