Epimorphisms, definability and cardinalities (Q2307302)

The paper is a contribution to abstract algebraic logic, in particular to connections between epimorphisms and the Beth property. There are many definitions. The epimorphism surjective property states that for a class K of structures, an epimorphism between two members of K is surjective. The Beth property is formulated for an abstract derivablity notion $\vdash$ and associated model notion, in terms of homomorphisms. The main theorem for these notions is that under some assumptions, $\vdash$ has the Beth property if and only if in a certain prevariety of models, every epimorphism is surjective.