3 citations · 3 across the 1 of their papers we have counts for
1 paper
Ilya V. Shulepov, Sergey V. Sudoplatov
We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for…