Institution-independent Model Theory
| Author | : Razvan Diaconescu |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 377 |
| Release | : 2008-08-01 |
| ISBN-10 | : 9783764387082 |
| ISBN-13 | : 3764387084 |
| Rating | : 4/5 (82 Downloads) |
Book Synopsis Institution-independent Model Theory by : Razvan Diaconescu
Download or read book Institution-independent Model Theory written by Razvan Diaconescu and published by Springer Science & Business Media. This book was released on 2008-08-01 with total page 377 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
