An Institution-Independent Proof of the Beth Definability Theorem

A few results generalising well-known conventional model theory ones have been obtained in the framework of institutions these last two decades (for instance Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalised institution-independent version of the Beth definability theorem.