On models of arithmetic—Answers to two problems raised by H. Gaifman
From MaRDI portal
Publication:4081241
DOI10.2307/2272268zbMath0319.02050OpenAlexW2151524380MaRDI QIDQ4081241
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272268
Model-theoretic algebra (03C60) Applications of computability and recursion theory (03D80) Other model constructions (03C30) Diophantine equations (11D99) Nonstandard models (03H99)
Related Items
Recursively saturated nonstandard models of arithmetic, Duality, non-standard elements, and dynamic properties of r.e. sets, P, NP, Co-NP and weak systems of arithmetic, Unnamed Item, On expandability of models of Peano arithmetic. II
Cites Work