Jewels of Institution-Independent Model Theory Export

@incollection{Diaconescu2006, abstract = {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 Goguen and Rod Burstall in late 1970's. In the final part we discuss some philosophical roots of institution-independent methodologies.}, author = {Diaconescu, R\u{a}zvan}, citeulike-article-id = {1757441}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11780274_5}, doi = {10.1007/11780274_5}, journal = {Algebra, Meaning and Computation}, keywords = {category\_theory, confirmation, institutions, model\_theory, transfer}, pages = {65--98}, posted-at = {2007-10-11 22:33:45}, priority = {2}, title = {Jewels of Institution-Independent Model Theory}, url = {http://dx.doi.org/10.1007/11780274_5}, year = {2006} }

TY - CHAP ID - Diaconescu2006 L3 - citeulike-article-id:1757441 N2 - 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 Goguen and Rod Burstall in late 1970’s. In the final part we discuss some philosophical roots of institution-independent methodologies. JF - Algebra, Meaning and Computation EP - 98 TI - Jewels of Institution-Independent Model Theory SP - 65 KW - category_theory KW - confirmation KW - institutions KW - model_theory KW - transfer AU - Diaconescu, Răzvan PY - 2006/// UR - http://dx.doi.org/10.1007/11780274_5 ER -