Generations and quotients for algebras of distributions of binary formulas
Е. В. Овчинникова, Sergey Vladimirovich Sudoplatov · Lobachevskii Journal of Mathematics · 2015
We consider algebras and their quotients generating distributions of binary formulas of a theory. We prove that an arbitrary algebra for distributions of binary (isolating, semi-isolating) formulas, which is deterministic or without positive labels, can be obtained as a quotient of a free algebra. Similar results hold for graph representations of these algebras.