Publication:4161318
From MaRDI portal
zbMath0382.03037MaRDI QIDQ4161318
Publication date: 1977
03H15: Nonstandard models of arithmetic
03D80: Applications of computability and recursion theory
03D25: Recursively (computably) enumerable sets and degrees
11D99: Diophantine equations
11U10: Nonstandard arithmetic (number-theoretic aspects)
11U99: Connections of number theory and logic
Related Items
A direct method for simulating partial recursive functions by Diophantine equations, Some diophantine forms of gödel's theorem