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

DOI10.2307/2274065MaRDI QIDQ3758816zbMATH OpenOpenAlexFDO

Authors Victor Harnik

Publication date 1986

Published in 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

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

Recommendations

• scientific article; zbMATH DE number 4045724
• scientific article; zbMATH DE number 4112569
• scientific article; zbMATH DE number 32280
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• Additive structure in uncountable models for a fixed completion of P

Cited in

(11)

• Additive structure in uncountable models for a fixed completion of P
• scientific article; zbMATH DE number 4112569 (Why is no real title available?)
• scientific article; zbMATH DE number 32280 (Why is no real title available?)
• NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS
• A note on the multiplicative semigroup of models of Peano arithmetic
• Degrees of Recursively Saturated Models
• $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA
• Rigid models of Presburger arithmetic
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• scientific article; zbMATH DE number 4045724 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3758816)