A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
A variety 93 is called solutionally complete if any system of algebraic equations over an algebra A in 93 has a solution in A provided it is solvable in 93 and has at most one solution in any extension of A in 93. 93 is called solutionally compatible if every solvable system of equations over an algebra in 93 is also solvable over any extension of that algebra. It is shown that solutional compatibility is equivalent with the amalgamation property and that a weaker form of the strongdoi:10.1017/s1446788700021005 fatcat:ehsi36glyzel5nn3tzdtb5gr7e