Jewels of institution-independent model theory

被引:0
|
作者
Diaconescu, Razvan
机构
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper is dedicated to Joseph Goguen, my beloved teacher and friend, on the ocassion of his 65th anniversary. It is a survey of institution-independent model theory as it stands today, the true form of abstract model theory which is based on the concept of institution. Institution theory was co-fathered by Joseph Coguen and Rod Burstall in late 1970's. In the final part we discuss some philosophical roots of institution-independent methodologies.
引用
收藏
页码:65 / 98
页数:34
相关论文
共 50 条