scientific article; zbMATH DE number 4045724

MaRDI QIDQ3783277zbMATH OpenFDO

Authors Victor Harnik

Publication date 1987

zbMATH Keywords

models of arithmeticmodels of Presburger arithmeticrecursively saturated models

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• ω₁-like recursively saturated models of Presburger's arithmetic
• scientific article; zbMATH DE number 4112569
• Rigid models of Presburger arithmetic
• Additive structure in uncountable models for a fixed completion of P
• Definable groups in models of Presburger arithmetic

Cited in

(8)

• A model of intuitionistic analysis in which -definable discrete sets are subcountable
• Additive structure in uncountable models for a fixed completion of P
• ω₁-like recursively saturated models of Presburger's arithmetic
• scientific article; zbMATH DE number 4112569 (Why is no real title available?)
• There are no intermediate structures between the group of integers and Presburger arithmetic
• A wild model of linear arithmetic and discretely ordered modules
• Rigid models of Presburger arithmetic
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself

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 Q3783277)