{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T19:11:07Z","timestamp":1711566667502},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T00:00:00Z","timestamp":1277251200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s00153-010-0193-8","type":"journal-article","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T02:41:54Z","timestamp":1277174514000},"page":"693-723","source":"Crossref","is-referenced-by-count":6,"title":["Saturated models in institutions"],"prefix":"10.1007","volume":"49","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]},{"given":"Marius","family":"Petria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,23]]},"reference":[{"key":"193_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally Presentable and Accessible Categories, Volume 189 of London Mathematical Society Lecture Notes","author":"J. Adamek","year":"1994","unstructured":"Adamek J., Rosick\u00fd J.: Locally Presentable and Accessible Categories, Volume 189 of London Mathematical Society Lecture Notes. Cambridge University Press, Cambridge (1994)"},{"key":"193_CR2","first-page":"361","volume":"13","author":"H. Andr\u00e9ka","year":"1978","unstructured":"Andr\u00e9ka H., N\u00e9meti I.: \u0141o\u015b lemma holds in every category. Stud. Sci. Math. Hung. 13, 361\u2013376 (1978)","journal-title":"Stud. Sci. Math. Hung."},{"issue":"2","key":"193_CR3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano E., Bidoit M., Kirchner H., Krieg-Br\u00fcckner B., Mosses P., Sannella D., Tarlecki A.: CASL: the common algebraic specification language. Theor. Comput. Sci. 286(2), 153\u2013196 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"193_CR4","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Hennicker, R.: On the integration of the observability and reachability concepts. In: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS\u20192002), Lecture Notes in Computer Science, vol. 2303, pp. 21\u201336 (2002)","DOI":"10.1007\/3-540-45931-6_3"},{"key":"193_CR5","doi-asserted-by":"crossref","unstructured":"Borzyszkowski, T.: Higher-order logic and theorem proving for structured specifications. In: Choppy, C., Bert, D., Mosses, P. (eds.) Workshop on Algebraic Development Techniques 1999, LNCS, vol. 1827, pp. 401\u2013418 (2000)","DOI":"10.1007\/978-3-540-44616-3_23"},{"key":"193_CR6","volume-title":"Model Theory","author":"C.-C. Chang","year":"1990","unstructured":"Chang C.-C., Keisler H.J.: Model Theory. North Holland, Amsterdam (1990)"},{"issue":"1\u20131","key":"193_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.jlap.2005.09.004","volume":"67","author":"C. C\u00eerstea","year":"2006","unstructured":"C\u00eerstea C.: An institution of modal logics for coalgebras. Log. Algebraic Program. 67(1\u20131), 87\u2013113 (2006)","journal-title":"Log. Algebraic Program."},{"key":"193_CR8","unstructured":"Codescu, M., G\u0103in\u0103, D.: Preservation by saturation in institutions. Private communication"},{"issue":"2","key":"193_CR9","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11787-008-0035-1","volume":"2","author":"M. Codescu","year":"2008","unstructured":"Codescu M., G\u0103in\u0103 D.: Birkhoff completeness in institutions. Log. Univ. 2(2), 277\u2013309 (2008)","journal-title":"Log. Univ."},{"key":"193_CR10","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: Extra theory morphisms for institutions: logical semantics for multi-paradigm languages. Applied Categorical Structures 6(4):427\u2013453, 1998. A preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in (1997)","DOI":"10.1023\/A:1008607717635"},{"issue":"3\u20134","key":"193_CR11","first-page":"321","volume":"55","author":"R. Diaconescu","year":"2003","unstructured":"Diaconescu R.: Institution-independent ultraproducts. Fund. Inform. 55(3\u20134), 321\u2013348 (2003)","journal-title":"Fund. Inform."},{"issue":"5","key":"193_CR12","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","volume":"14","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu R.: Elementary diagrams in institutions. J. Log. Comput. 14(5), 651\u2013674 (2004)","journal-title":"J. Log. Comput."},{"issue":"1","key":"193_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/B:STUD.0000034185.62660.d6","volume":"77","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu R.: An institution-independent proof of Craig interpolation theorem. Stud. Log. 77(1), 59\u201379 (2004)","journal-title":"Stud. Log."},{"key":"193_CR14","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: Jewels of institution-independent model theory. In: Futatsugi, K., Meseguer, J., Jouannaud, J.-P. (eds.) Algebra, Meaning and Computation (a festschrift in honour of Professor Joseph Goguen), LNCS, vol. 4060, pp. 65\u201398. Springer-Verlag Berlin Heidelberg (2006)","DOI":"10.1007\/11780274_5"},{"issue":"3","key":"193_CR15","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/logcom\/exi082","volume":"16","author":"R. Diaconescu","year":"2006","unstructured":"Diaconescu R.: Proof systems for institutional logic. J. Log. Comput. 16(3), 339\u2013357 (2006)","journal-title":"J. Log. Comput."},{"issue":"2","key":"193_CR16","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.ipl.2008.04.001","volume":"108","author":"R. Diaconescu","year":"2008","unstructured":"Diaconescu R.: A categorical study on the finiteness of specifications. Inf. Process. Lett. 108(2), 75\u201380 (2008)","journal-title":"Inf. Process. Lett."},{"key":"193_CR17","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user (2008)"},{"key":"193_CR18","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing, vol. 6","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu R., Futatsugi K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing, vol. 6. World Scientific, Singapore (1998)"},{"key":"193_CR19","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environments, pp. 83\u2013130. Cambridge, 1993. Proceedings of a Workshop held in Edinburgh, Scotland, May (1991)"},{"issue":"4","key":"193_CR20","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1017\/S0960129500001067","volume":"6","author":"J.L. Fiadeiro","year":"1996","unstructured":"Fiadeiro J.L., Costa J.F.: Mirror, mirror in my hand: a duality between specifications and models of process behaviour. Math. Struct. Comput. Sci. 6(4), 353\u2013373 (1996)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"193_CR21","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen J., Burstall R.: Institutions: abstract model theory for specification and programming. J. Assoc. Comput. Mach. 39(1), 95\u2013146 (1992)","journal-title":"J. Assoc. Comput. Mach."},{"key":"193_CR22","doi-asserted-by":"crossref","unstructured":"Goguen, J., Diaconescu, R.: Towards an algebraic semantics for the object paradigm. In: Ehrig, H., Orejas, F. (eds.) Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol. 785, pp. 1\u201334. Springer (1994)","DOI":"10.1007\/3-540-57867-6_1"},{"key":"193_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer G.: Universal Algebra. Springer, New York (1979)"},{"key":"193_CR24","unstructured":"G\u0103in\u0103, D., Petria, M.: Completeness by forcing. J. Log. Comput. (To appear)"},{"issue":"6","key":"193_CR25","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1093\/logcom\/exl006","volume":"16","author":"D. G\u0103in\u0103","year":"2006","unstructured":"G\u0103in\u0103 D., Popescu A.: An institution-independent generalization of Tarski\u2019s elementary chain theorem. J. Log. Comput. 16(6), 713\u2013735 (2006)","journal-title":"J. Log. Comput."},{"issue":"1","key":"193_CR26","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11225-007-9022-4","volume":"85","author":"D. G\u0103in\u0103","year":"2007","unstructured":"G\u0103in\u0103 D., Popescu A.: An institution-independent proof of Robinson consistency theorem. Stud. Log. 85(1), 41\u201373 (2007)","journal-title":"Stud. Log."},{"key":"193_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0346-0330-0","volume-title":"Introduction to Cardinal Arithmetic","author":"M. Holz","year":"1999","unstructured":"Holz M., Steffens K., Weitz E.: Introduction to Cardinal Arithmetic. Birkh\u00e4user, Boston (1999)"},{"key":"193_CR28","volume-title":"Introduction to Higher Order Categorical Logic, vol. 7","author":"L. Joachim","year":"1986","unstructured":"Joachim L., Scott P.: Introduction to Higher Order Categorical Logic, vol. 7. Cambridge Studies in Advanced Mathematics, Cambridge (1986)"},{"key":"193_CR29","unstructured":"Lamo, Y.: The Institution of Multialgebras\u2014A General Framework for Algebraic Software Development. PhD thesis, University of Bergen (2003)"},{"key":"193_CR30","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane S.: Categories for the Working Mathematician. 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"193_CR31","doi-asserted-by":"crossref","first-page":"250","DOI":"10.4153\/CJM-1978-024-5","volume":"30","author":"G. Matthiessen","year":"1978","unstructured":"Matthiessen G.: Regular and strongly finitary structures over strongly algebroidal categories. Can. J. Math. 30, 250\u2013261 (1978)","journal-title":"Can. J. Math."},{"issue":"1","key":"193_CR32","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"193_CR33","doi-asserted-by":"crossref","first-page":"37","DOI":"10.7146\/math.scand.a-10648","volume":"11","author":"M. Morley","year":"1962","unstructured":"Morley M., Vaught R.: Homogeneous universal models. Math. Scand. 11, 37\u201357 (1962)","journal-title":"Math. Scand."},{"key":"193_CR34","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/S0304-3975(01)00369-3","volume":"286","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski T.: Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. 286, 367\u2013475 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"193_CR35","first-page":"59","volume":"3","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski T., Diaconescu R., Tarleck A.: What is a logic translation?. \u00a0Log. Univ. 3(1), 59\u201394 (2009)","journal-title":"\u00a0Log. Univ."},{"key":"193_CR36","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-7643-7304-0_7","volume-title":"Logica Universalis","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski T., Goguen J., Diaconescu R., Tarlecki A.: What is a logic?. In: B\u00e9ziau, J.-Y. (eds) Logica Universalis, pp. 113\u2013133. Birkh\u00e4user Boston, Basel (2005)"},{"issue":"3","key":"193_CR37","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.2178\/jsl\/1154698588","volume":"71","author":"M. Petria","year":"2006","unstructured":"Petria M., Diaconescu R.: Abstract beth definability in institutions. J. Symb. Log. 71(3), 1002\u20131028 (2006)","journal-title":"J. Symb. Log."},{"key":"193_CR38","first-page":"165","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella D., Tarlecki A.: Specifications in an arbitrary institution. Inf. Control 76, 165\u2013210 (1988)","journal-title":"Inf. Control"},{"key":"193_CR39","unstructured":"Schr\u00f6der, L., Mossakowski, T., L\u00fcth, C.: Type class polymorphism in an institutional framework. In: Fiadeiro, J. (ed.) Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Lecture Notes in Computer Science, vol. 3423, pp. 234\u2013248. Springer, Berlin, 2004"},{"key":"193_CR40","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF02771574","volume":"10","author":"S. Shelah","year":"1971","unstructured":"Shelah S.: Every two elementary equivalent models have isomorphic ultrapowers. Isr. J. Math. 10, 224\u2013233 (1971)","journal-title":"Isr. J. Math."},{"key":"193_CR41","doi-asserted-by":"crossref","unstructured":"Tarlecki, A.: Bits and pieces of the theory of institution. In: Pitt, D., Abramsky, S. Poign\u00e9, A., Rydeheard, D. (eds.) Proceedings, Summer Workshop on Category Theory and Computer Programming, Lecture Notes in Computer Science, vol. 240, pp. 334\u2013360. Springer (1986)","DOI":"10.1007\/3-540-17162-2_132"},{"key":"193_CR42","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1986","unstructured":"Tarlecki A.: On the existence of free models in abstract algebraic institutions. Theor. Comput. Sci. 37, 269\u2013304 (1986)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"193_CR43","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0022-0000(86)90057-7","volume":"33","author":"A. Tarlecki","year":"1986","unstructured":"Tarlecki A.: Quasi-varieties in abstract algebraic institutions. J. Comput. Syst. Sci. 33(3), 333\u2013360 (1986)","journal-title":"J. Comput. Syst. Sci."},{"key":"193_CR44","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., van Rijke, M. (eds.) Proceedings, International Conference on Frontiers of Combining Systems (FroCoS\u201998), pp. 337\u2013360. Research Studies Press (2000)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0193-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0193-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0193-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T18:39:23Z","timestamp":1711564763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0193-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,23]]},"references-count":44,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["193"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0193-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,23]]}}}