Search

There is a well-established correspondence between interpolation and amalgamation for algebraizable logics that satisfy certain additional assumptions. In this paper, we introduce the Robinson property of a logic and show that a conditionally algebraizable logic without any additional assumptions has the Robinson property if and only if the corresponding class of Lindenbaum–Tarski algebras has the amalgamation property. Moreover, we give the logical characterization of the strong amalgamation property, solving an open problem of Andréka–Németi–Sain. It is also shown that given the mentioned extra assumptions the Robinson property implies the interpolation property. As conditionally algebraizable logics cover algebraizable logics as well as various quantifier logics such as classical first order logic, our results yield a generalization of some of the results concerning interpolation and amalgamation. [ABSTRACT FROM AUTHOR]

Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when directly applied to classical algebras, subobject independence is not entirely satisfactory. The sole purpose of this note is to introduce the notion of subalgebra independence, which is a slight variation of subobject independence, yet this modification enables us to connect subalgebra independence to more traditional notions of independence. Apart from drawing connections between subalgebra independence and coproducts and congruences, we mainly illustrate the notion by discussing examples. [ABSTRACT FROM AUTHOR]