On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments
algebra of distributions of binary isolating formulas
scientific article; zbMATH DE number 6955640
scientific article