This itself is a technique I’ve never seen before. Might be interesting to think about whether it has any other applications.
It reminds me of this. Given two sets of polynomials S and T, a set of polynomials whose vanishing set is the union of vanishing sets of these two is {st|s∈S,t∈T}. For the axioms from the post, E has the class of models that is the union of the classes of models for A, B, and C.
It reminds me of this. Given two sets of polynomials S and T, a set of polynomials whose vanishing set is the union of vanishing sets of these two is {st|s∈S,t∈T}. For the axioms from the post, E has the class of models that is the union of the classes of models for A, B, and C.