On Algebras of Distributions of Binary Isolating Formulas for Theories of Abelian Groups and Their Ordered Enrichments

We describe algebras of distributions of binary isolating formulas for theories of abelian groups and some of their ordered enrichments. The base of this description is the general theory of algebras of isolating formulas. We also take into account the specificity of the basedness of theories of abe...

Full description

Saved in:
Bibliographic Details
Published in:Russian mathematics 2018-04, Vol.62 (4), p.1-12
Main Authors: Baikalova, K. A., Emel’yanov, D. Yu, Kulpeshov, B. Sh, Palyutin, E. A., Sudoplatov, S. V.
Format: Article
Language:English
Subjects:
Algebra
Enrichment
Group theory
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We describe algebras of distributions of binary isolating formulas for theories of abelian groups and some of their ordered enrichments. The base of this description is the general theory of algebras of isolating formulas. We also take into account the specificity of the basedness of theories of abelian groups on Szmielew invariants. We give Cayley tables for algebras that correspond to theories of basic abelian groups and their ordered enrichments and propose a technique for transforming algebras for theories of basic abelian groups into algebras for arbitrary theories of abelian groups.
ISSN:1066-369X
1934-810X
DOI:10.3103/S1066369X18040011