Institution-independent Model Theory
by Razvan Diaconescu /
2008 / English / PDF
2.9 MB Download
This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called institution theory. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.