03076nam 2200661Ia 450 991045172390332120200520144314.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(PPN)128126477(Au-PeEL)EBL364464(CaPaEBR)ebr10245877(CaONFJC)MIL186259(EXLCZ)99100000000049201320081006d2008 uy 0engur|n|---|||||txtccrInstitution-independent model theory[electronic resource] /Răzvan Diaconescu1st ed. 2008.Basel ;Boston Birkhäuserc20081 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 mathematicalElectronic books.Model theory.Logic, Symbolic and mathematical.511.3511.34Diaconescu Răzvan950550MiAaPQMiAaPQMiAaPQBOOK9910451723903321Institution-independent model theory2149199UNINA04131nam 2200673Ia 450 991064283370332120230213211508.00-470-51328-41-282-34590-797866123459060-470-51329-2(CKB)1000000000377310(EBL)470473(OCoLC)609849385(SSID)ssj0000310915(PQKBManifestationID)11242174(PQKBTitleCode)TC0000310915(PQKBWorkID)10313036(PQKB)10773224(MiAaPQ)EBC470473(EXLCZ)99100000000037731019870625d1986 uy 0engur|n|---|||||txtccrSynthetic peptides as antigens[electronic resource]Chichester Wiley19861 online resource (320 p.)Ciba Foundation symposium ;119Editors: Ruth Porter (organizer) and Julie Whelan."Symposium on Synthetic Peptides as Antigens, held at the Ciba Foundation, London, 4-6 June 1985."0-471-99838-9 0-471-91203-4 Includes bibliographies and indexes.""Synthetic peptides as antigens""; ""Contents""; ""Contributors""; ""Introduction""; ""Regulation of in vivo immune responses: few principles and much ignorance""; ""Raising antibodies by coupling peptides to PPD and immunizing BCG-sensitized animals""; ""Selection by site-directed antibodies of small regions of peptides which are ordered in water""; ""Influence of local structure on the location of antigenic determinants in tobacco mosaic virus protein""; ""The importance of conformation and of equilibria in the interaction of globular proteins and their fragments with antibodies""""Three-dimensional analyses of the binding of synthetic chemotactic and opioid peptides in the Mcg light chain dimer""""The delineation of peptides able to mimic assembled epitopes""; ""Experimental basis for the development of a synthetic vaccine against Plasmodium falciparum malaria sporozoites""; ""Antigenic repeat structures in proteins of Plasmodium fakiparum""; ""Synthetic peptides with antigenic specificity for bacterial toxins""; ""Use of synthetic peptides as immunogens for developing a vaccine against human chorionic gonadotropin""""The use of synthetic peptides in the delineation of immunoglobulin antigenic epitopes and Fc effector functions""""Characterization of the human c-myc protein using antibodies prepared against synthetic peptides""; ""Epitope mapping of human recombinant interferon alpha molecules by monoclonal antibodies""; ""Final general discussion""; ""Chairmanâ€?s summing-up""; ""Index of contributors""; ""Subject index""Symposium on Synthetic Peptides as Antigens, held at the Ciba Foundation, London, 4-6 June 1985 The subject of this symposium was proposed by P. Dukor and D. G. Braun Editors: Ruth Porter (Organizer) and Julie Whelan G. L. Ada Introduction J. H. Humphrey Regulation of in vivo immune responses: few principles and much ignorance Discussion P. J. Lachmann, L. Strangeways, A. Vyakarnam and G. I. Evan Raising antibodies by coupling peptides to PPD and immunizing BCG-sensitized animals Discussion H. J. Dyson, K. J. Cross, J. Ostresh, R. A. Houghten, I. A. Wilson, P. E. Wright and R. A. LerneCiba Foundation symposium ;119.PeptidesCongressesPeptidesSynthesisCongressesAntigensCongressesPeptidesPeptidesSynthesisAntigens616.0792658.4010971Porter Ruth64811Whelan Julie322651Symposium on Synthetic Peptides as Antigens(1985 :Ciba Foundation)MiAaPQMiAaPQMiAaPQBOOK9910642833703321Synthetic peptides as antigens3005977UNINA