scientific article; zbMATH DE number 4112569

zbMATH Open0679.03011MaRDI QIDQ3835447FDOQ3835447

Authors: A. A. Ivanov 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

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

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)