Diophantine correct non-standard models in the isols
From MaRDI portal
Publication:2527825
DOI10.2307/1970455zbMath0158.25104OpenAlexW2313398169MaRDI QIDQ2527825
Publication date: 1966
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1970455
Related Items
Hyper-torre isols ⋮ Embeddings of and into Nerode semirings ⋮ Torre models in the isols ⋮ An Almost Everywhere Direct Power ⋮ Elementary Differences Between the Isols and the Co-Simple Isols ⋮ The positive properties of isolic integers ⋮ Nonrecursive combinatorial functions ⋮ On the Minimality of Tame Models in the Isols ⋮ Myhill's work in recursion theory ⋮ Eight problems about Nerode semirings (recursive ultrapowers) ⋮ On co-simple isols and their intersection types ⋮ Unnamed Item ⋮ Nonrecursive Relations Among the Isols ⋮ Sub-arithmetical ultrapowers: A survey ⋮ Combinatorial Isols and the Arithmetic of Dekker Semirings ⋮ Recursive Fibers of RST Isols ⋮ Models of arithmetic in \(A\)-isols ⋮ Existentially Incomplete Tame Models and a Conjecture of Ellentuck