An Institution-Independent Proof of the Beth Definability Theorem
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)