LEADER 03076nam 2200661Ia 450 001 9910451723903321 005 20200520144314.0 010 $a1-281-86259-2 010 $a9786611862596 010 $a3-7643-8708-4 024 7 $a10.1007/978-3-7643-8708-2 035 $a(CKB)1000000000492013 035 $a(EBL)364464 035 $a(OCoLC)288440391 035 $a(SSID)ssj0000180082 035 $a(PQKBManifestationID)11177436 035 $a(PQKBTitleCode)TC0000180082 035 $a(PQKBWorkID)10149169 035 $a(PQKB)11379634 035 $a(DE-He213)978-3-7643-8708-2 035 $a(MiAaPQ)EBC364464 035 $a(PPN)128126477 035 $a(Au-PeEL)EBL364464 035 $a(CaPaEBR)ebr10245877 035 $a(CaONFJC)MIL186259 035 $a(EXLCZ)991000000000492013 100 $a20081006d2008 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aInstitution-independent model theory$b[electronic resource] /$fRa?zvan Diaconescu 205 $a1st ed. 2008. 210 $aBasel ;$aBoston $cBirkha?user$dc2008 215 $a1 online resource (386 p.) 225 1 $aStudies in universal logic 300 $aDescription based upon print version of record. 311 $a3-7643-8707-6 320 $aIncludes bibliographical references and index. 327 $aCategories -- 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. 330 $aA 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. 410 0$aStudies in universal logic. 606 $aModel theory 606 $aLogic, Symbolic and mathematical 608 $aElectronic books. 615 0$aModel theory. 615 0$aLogic, Symbolic and mathematical. 676 $a511.3 676 $a511.34 700 $aDiaconescu$b Ra?zvan$0950550 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910451723903321 996 $aInstitution-independent model theory$92149199 997 $aUNINA LEADER 01321nam 2200349 n 450 001 996392937003316 005 20221108062458.0 035 $a(CKB)1000000000686344 035 $a(EEBO)2240941472 035 $a(UnM)99867867 035 $a(EXLCZ)991000000000686344 100 $a19940531d1660 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe English Episcopacy and liturgy asserted by the great refomers abroad$b[electronic resource] $eand the most glorious and royal martyr the late King his opinion and suffrage for them$fPublished by a private gentleman for the publique good 210 $aLondon $cprinted by Tho. Leach, for Henry Seile, over against St. Dunstans Church, in Fleetstreet$d1660 215 $a[2], 48 p 300 $aBy Sir Edmund Peirce. 300 $aAnnotation on Thomason copy: "July 14". 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aEpiscopacy$vEarly works to 1800 615 0$aEpiscopacy 700 $aPeirce$b Edmund$cSir,$fd. 1667.$01003037 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996392937003316 996 $aThe English Episcopacy and liturgy asserted by the great refomers abroad$92378087 997 $aUNISA