{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:46:59Z","timestamp":1770274019843,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540601784","type":"print"},{"value":"9783540447207","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60178-3_99","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:49:43Z","timestamp":1330260583000},"page":"480-502","source":"Crossref","is-referenced-by-count":10,"title":["Preservation theorems in finite model theory"],"prefix":"10.1007","author":[{"given":"Eric","family":"Rosen","sequence":"first","affiliation":[]},{"given":"Scott","family":"Weinstein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","unstructured":"F. Afrati, S. Cosmadakis, and M. Yannakakis. On datalog vs. polynomial time. In Proceedings of the 10th ACM Symposium on Principles of Database Systems, 1991."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"M. Ajtai and Y. Gurevich. Datalog vs. first-order logic. In Proceedings of the 30th IEEE Symposium on Foundations of Computer Science, pages 142\u2013146, 1989.","DOI":"10.1109\/SFCS.1989.63469"},{"key":"24_CR3","unstructured":"H. Andreka, J. van Benthem, and I. Nemeti. Submodel preservation theorems in finite variable fragments. In A. Ponse, M. de Rijke, and Y. Venema, editors, Modal Logic and Process Algebra. Cambridge University Press, 1994."},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"292","DOI":"10.2307\/2272133","volume":"42","author":"J. Barwise","year":"1977","unstructured":"J. Barwise. On Moschovakis closure ordinals. Journal of Symbolic Logic, 42:292\u2013296, 1977.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"A. Dawar, S. Lindell, and S. Weinstein. Infinitary logic and inductive definability over finite structures. Information and Computation, to appear.","DOI":"10.1006\/inco.1995.1084"},{"issue":"1","key":"24_CR6","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1017\/S0022481200051756","volume":"41","author":"R. Fagin","year":"1976","unstructured":"R. Fagin. Probabilities on finite models. Journal of Symbolic Logic, 41(1):50\u201358, March 1976.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02759729","volume":"2","author":"H. Gaifman","year":"1964","unstructured":"H. Gaifman. Concerning measures in first-order calculi. Israel Journal of Mathematics, 2:1\u201318, 1964.","journal-title":"Israel Journal of Mathematics"},{"key":"24_CR8","unstructured":"E. Gr\u00e4del and J. Tyszkiewicz, editors. Problems in Finite Model Theory. Available via anonymous ftp from ftp.informatik.rwth-aachen.de, version of May 25, 1994."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Y. Gurevich. Toward logic tailored for computational complexity. In M. Richter et al., editors, Computation and Proof Theory, pages 175\u2013216. Springer Lecture Notes in Mathematics, 1984.","DOI":"10.1007\/BFb0099486"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Y. Gurevich. On finite model theory (extended abstract). In S. R. Buss and P. J. Scott, editors, Feasible Mathematics, pages 211\u2013219. Birkhauser, 1990.","DOI":"10.1007\/978-1-4612-3466-1_12"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/0022-0000(82)90011-3","volume":"25","author":"N. Immerman","year":"1982","unstructured":"N. Immerman. Upper and lower bounds for first-order expressibility. Journal of Computer and System Sciences, 25:76\u201398, 1982.","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Ph. G. Kolaitis and M. Y. Vardi. On the expressive power of datalog: tools and a case study. In Proceedings of the 9th ACM Symposium on Principles of Database Systems, pages 61\u201371, 1990.","DOI":"10.1145\/298514.298542"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Ph. G. Kolaitis and M. Y. Vardi. Fixpoint logic vs. infinitary logic in finite-model theory. In Proceedings of the 7th IEEE Symposium on Logic in Computer Science, pages 46\u201357, 1992.","DOI":"10.1109\/LICS.1992.185518"},{"issue":"2","key":"24_CR14","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/0890-5401(92)90021-7","volume":"98","author":"P. G. Kolaitis","year":"1992","unstructured":"Ph. G. Kolaitis and M. Y. Vardi. Infinitary logics and 0-1 laws. Information and Computation, 98(2):258\u2013294, 1992.","journal-title":"Information and Computation"},{"key":"24_CR15","first-page":"376","volume":"58","author":"L. Lo","year":"1993","unstructured":"Libo Lo. Preservation theorems of finite models (abstract). Journal of Symbolic Logic, 58:376, 1993.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"24_CR16","doi-asserted-by":"crossref","first-page":"641","DOI":"10.2307\/2273594","volume":"47","author":"B. Poizat","year":"1982","unstructured":"B. Poizat. Deux ou trois choses que je sais de L\nn. Journal of Symbolic Logic, 47(3):641\u2013658, 1982.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR17","unstructured":"E. Rosen. Finite model theory and finite variable logics, 1995. In preparation."},{"issue":"1","key":"24_CR18","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2964569","volume":"24","author":"W. Tait","year":"1959","unstructured":"W. Tait. A counterexample to a conjecture of Scott and Suppes. Journal of Symbolic Logic, 24(1):15\u201316, 1959.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic and Computational Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60178-3_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:32:48Z","timestamp":1619559168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60178-3_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601784","9783540447207"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60178-3_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}