Institution-independent Model Theory (Studies in Universal Logic)
Book Details
Author(s)Razvan Diaconescu
PublisherBirkhäuser
ISBN / ASIN3764387076
ISBN-139783764387075
AvailabilityUsually ships in 24 hours
Sales Rank3,331,207
MarketplaceUnited States 🇺🇸
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.
