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

DOI10.2307/2274065zbMATH Open0622.03026OpenAlexW4244938275MaRDI QIDQ3758816FDOQ3758816

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

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

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)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Additive structure in uncountable models for a fixed completion of P

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)