ω1-like recursively saturated models of Presburger's arithmetic

DOI10.2307/2274065zbMath0622.03026OpenAlexW4244938275MaRDI QIDQ3758816

Victor Harnik

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

zbMATH Keywords

Presburger arithmeticdiamond principlerecursively saturated models\(\omega _ 1\)-like modelscountable Scott setisomorphism types of structures

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (2)

Automorphisms of recursively saturated models of arithmetic ⋮ NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS

This page was built for publication: ω₁-like recursively saturated models of Presburger's arithmetic