03012nam 2200649Ia 450 991096858540332120251116230619.01-281-86259-297866118625963-7643-8708-410.1007/978-3-7643-8708-2(CKB)1000000000492013(EBL)364464(OCoLC)288440391(SSID)ssj0000180082(PQKBManifestationID)11177436(PQKBTitleCode)TC0000180082(PQKBWorkID)10149169(PQKB)11379634(DE-He213)978-3-7643-8708-2(MiAaPQ)EBC364464(Au-PeEL)EBL364464(CaPaEBR)ebr10245877(CaONFJC)MIL186259(PPN)128126477(EXLCZ)99100000000049201320081006d2008 uy 0engur|n|---|||||txtccrInstitution-independent model theory /Razvan Diaconescu1st ed. 2008.Basel ;Boston Birkhauserc20081 online resource (386 p.)Studies in universal logicDescription based upon print version of record.3-7643-8707-6 Includes bibliographical references and index.Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming.A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.Studies in universal logic.Model theoryLogic, Symbolic and mathematicalModel theory.Logic, Symbolic and mathematical.511.3511.34Diaconescu Răzvan1791069MiAaPQMiAaPQMiAaPQBOOK9910968585403321Institution-Independent Model Theory4327917UNINA