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 theory2149199UNINA03905nam 2200673 a 450 991078287130332120230721005248.00-292-79407-X10.7560/718319(CKB)1000000000720626(OCoLC)309914257(CaPaEBR)ebrary10273732(SSID)ssj0000259637(PQKBManifestationID)11217267(PQKBTitleCode)TC0000259637(PQKBWorkID)10187010(PQKB)11401464(MiAaPQ)EBC3443359(MdBmJHUP)muse2210(Au-PeEL)EBL3443359(CaPaEBR)ebr10273732(DE-B1597)588502(OCoLC)1286806700(DE-B1597)9780292794078(EXLCZ)99100000000072062620080610d2008 ub 0engurcn|||||||||txtccrThe Tira de Tepechpan[electronic resource] negotiating place under Aztec and Spanish rule /Lori Boornazian Diel1st ed.Austin University of Texas Press20081 online resource (187 p.)Bibliographic Level Mode of Issuance: Monograph0-292-71831-4 Includes bibliographical references (p. 145-154) and index.Introduction -- The Tira de Tepechpan : its structure, contributors, and history -- Pre-imperial history -- Imperial history -- Colonial history of painter A -- Colonial histories of painters B, C, and D -- The alphabetic annotations -- Indigenous histories as strategies for survival -- Appendix. Transcription and translation of annotator I's glosses.Created in Tepechpan, a relatively minor Aztec city in Central Mexico, the Tira de Tepechpan records important events in the city's history from 1298 through 1596. Most of the history is presented pictographically. A line of indigenous year signs runs the length of the Tira, with images above the line depicting events in Tepechpan and images below the line recording events at Tenochtitlan, capital of the Aztec empire and later the seat of Spanish rule. Written annotations amplify some of the images. In this volume, which includes color plates of the entire Tira, Lori Boornazian Diel investigates the motives behind the creation and modification of the Tira in the second half of the sixteenth century. She identifies the Tira's different contributors and reconciles their various histories by asking why these painters and annotators, working at different times, recorded the events that they did. Comparing the Tira to other painted histories from Central Mexico, Diel demonstrates that the main goal of the Tira was to establish the antiquity, autonomy, and prestige of Tepechpan among the Central Mexican city-states that vied for power and status in the preconquest and colonial worlds. Offering the unique point of view of a minor city with grand ambitions, this study of the Tira reveals imperial strategy from the grassroots up, showing how a subject city negotiated its position under Aztec and Spanish control.AztecsMexicoTepexpanHistoryChronologyAztec artMexicoTepexpanAztecsFirst contact with other peoplesTepexpan (Mexico)HistoryChronologyMexicoHistoryTo 1810MexicoHistorySpanish colony, 1540-1810SpainColoniesAmericaAdministrationAztecsHistoryAztec artAztecsFirst contact with other peoples.972/.02Diel Lori Boornazian1970-1539525MiAaPQMiAaPQMiAaPQBOOK9910782871303321The Tira de Tepechpan3790470UNINA