An Institution-Independent Proof of the Beth Definability Theorem
Abstract
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.
Origin : Files produced by the author(s)