scientific article; zbMATH DE number 1163947

MaRDI QIDQ4395571zbMATH OpenFDO

Authors W. Łenski

Publication date 2 March 1999

zbMATH Keywords

elimination of quantifierslogics with Ramsey-quantifiersmodel theory of non-Archimedean ordered groupsordered Abelian groups

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Review text

All known model-theoretic results on ordered algebraic structures are restricted to the class of Archimedean structures. In the reviewed paper, it is shown that logics with Ramsey-quantifiers yield natural applications in non-Archimedean ordered groups, too. The solution of the problem of determining these ordered Abelian groups which admit elimination of quantifiers in logics with Ramsey-quantifiers is presented. Such logics admit canonical extensions of the basic model-theoretic properties and ``reflect much better the algebraic structure than first-order logic does. For the entire collection see [Zbl 0885.00035].

Recommendations

• scientific article; zbMATH DE number 4093435
• scientific article; zbMATH DE number 3845546
• The complexity of bounded quantifiers in some ordered abelian groups
• scientific article; zbMATH DE number 3974951
• A monadic logic of ordered abelian groups
• Decompositions of decidable abelian groups
• scientific article; zbMATH DE number 3900728
• Decidability and computability of certain torsion-free abelian groups
• scientific article; zbMATH DE number 2209838
• Publication:4735177

Cited in

(8)

• The complexity of bounded quantifiers in some ordered abelian groups
• Modules and infinitary logics
• scientific article; zbMATH DE number 3845546 (Why is no real title available?)
• scientific article; zbMATH DE number 4168740 (Why is no real title available?)
• scientific article; zbMATH DE number 3900728 (Why is no real title available?)
• scientific article; zbMATH DE number 3974951 (Why is no real title available?)
• scientific article; zbMATH DE number 4093435 (Why is no real title available?)
• On the property of decomposability of functions of k-valued logic related to summation of n-dependent random variables in a finite Abelian group

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