An Institution-independent Proof of the Beth Definability Theorem |
| |
| Authors: | M. Aiguier F. Barbier |
| |
| Affiliation: | (1) IBISC FRE CNRS 2873, Université d’évry-Val d’éssonne, 523 pl. des Terrasses, F-91000 évry, France;(2) IBISC FRE CNRS 2873, Université d’évry-Val d’éssonne, 523 pl. des Terrasses, F-91000 évry, France |
| |
| Abstract: | A few results generalizing well-known classical model theory ones have been obtained in institution theory these last two decades (e.g. Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalized institution-independent version of the Beth definability theorem. Presented by Robert Goldblatt |
| |
| Keywords: | Beth definability Craig interpolation institution theory morphisms and comorphisms inclusive category |
| 本文献已被 SpringerLink 等数据库收录！ |
|
