ENGLISH

Institution-independent Model Theory

By Razvan Diaconescu

Book information

Publisher
Birkhäuser
Year
2008
ISBN
3764387076, 9783764387075
Language
english
Format
PDF
Filesize
3 MB (3035418 bytes)
Series
Studies in Universal Logic
Pages
377\377
Topic
Mathematics Logic
Time added
2011-04-20 14:05:05

Description

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.

Similar books