ω1-like recursively saturated models of Presburger's arithmetic
From MaRDI portal
Publication:3758816
DOI10.2307/2274065zbMath0622.03026OpenAlexW4244938275MaRDI QIDQ3758816
Publication date: 1986
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274065
Presburger arithmeticdiamond principlerecursively saturated models\(\omega _ 1\)-like modelscountable Scott setisomorphism types of structures
Related Items (2)
Automorphisms of recursively saturated models of arithmetic ⋮ NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS
This page was built for publication: ω1-like recursively saturated models of Presburger's arithmetic