scientific article; zbMATH DE number 4112569

MaRDI QIDQ3835447zbMATH OpenFDO

Authors A. A. Ivanov

Publication date 1986

zbMATH Keywords

Presburger arithmeticrecursively saturated model

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Quantifier elimination, model completeness, and related topics (03C10) Nonstandard models of arithmetic (03H15)

Recommendations

• ω₁-like recursively saturated models of Presburger's arithmetic
• scientific article; zbMATH DE number 4045724
• Additive structure in uncountable models for a fixed completion of P
• Publication:4508549
• scientific article; zbMATH DE number 32280

Cited in

(9)

• Additive structure in uncountable models for a fixed completion of P
• scientific article; zbMATH DE number 1512851 (Why is no real title available?)
• A wild model of linear arithmetic and discretely ordered modules
• ω₁-like recursively saturated models of Presburger's arithmetic
• Expansions of Presburger arithmetic with the exchange property
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• scientific article; zbMATH DE number 4031630 (Why is no real title available?)
• Rigid models of Presburger arithmetic
• scientific article; zbMATH DE number 4045724 (Why is no real title available?)

This page was built for publication:

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