scientific article; zbMATH DE number 1163947

zbMATH Open0907.03016MaRDI QIDQ4395571FDOQ4395571

Authors: W. Łenski 

Publication date: 2 March 1999

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

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

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)

Cited In (8)

• Modules and infinitary logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the property of decomposability of functions of k-valued logic related to summation of n-dependent random variables in a finite Abelian group
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)