Department of Mathematics
Server

The concept of conservative extension from first order logic is adapted for the case of equational logic. It is known in first order logic that a union of conservative extensions is conservative This property does not hold in equational logic. In this talk I will show sufficient conditions for the previous property to hold in equational logic, if we are dealing with extensions by implicitly defined operations.