scientific article; zbMATH DE number 1163947

MaRDI QIDQ4395571zbMATH OpenFDO

Authors W. Łenski

Publication date 2 March 1999

zbMATH Keywords

elimination of quantifiersordered Abelian groupslogics with Ramsey-quantifiersmodel theory of non-Archimedean ordered groups

Mathematics Subject Classification ID

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

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)

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

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)