{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T05:50:13Z","timestamp":1768801813278,"version":"3.49.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030480059","type":"print"},{"value":"9783030480066","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-48006-6_9","type":"book-chapter","created":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T10:03:21Z","timestamp":1590141801000},"page":"118-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Convergence and Nonconvergence Laws for Random Expansions of Product Structures"],"prefix":"10.1007","author":[{"given":"Anuj","family":"Dawar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Gr\u00e4del","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Hoelzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,23]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abu Zaid, F., Dawar, A., Gr\u00e4del, E., Pakusa, W.: Definability of summation problems for Abelian groups and semigroups. In: Proceedings of 32th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS) (2017)","DOI":"10.1109\/LICS.2017.8005082"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(85)80027-9","volume":"67","author":"A Blass","year":"1985","unstructured":"Blass, A., Gurevich, Y., Kozen, D.: A zero-one law for logic with a fixed point operator. Inf. Control 67, 70\u201390 (1985)","journal-title":"Inf. Control"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-94-009-2639-4_10","volume-title":"NATO Advanced Study Institute on Algorithms and Order","author":"K Compton","year":"1989","unstructured":"Compton, K.: 0\u20131 laws in logic and combinatorics. In: Rival, I. (ed.) NATO Advanced Study Institute on Algorithms and Order, pp. 353\u2013383. Kluwer, Alphen aan den Rijn (1989)"},{"key":"9_CR4","series-title":"Springer Monographs in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28788-4","volume-title":"Finite Model Theory","author":"H-D Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. SMM. Springer, Heidelberg (1995). \nhttps:\/\/doi.org\/10.1007\/3-540-28788-4"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1017\/S0022481200051756","volume":"41","author":"R Fagin","year":"1976","unstructured":"Fagin, R.: Probabilities on finite models. J. Symb. Logic 41, 50\u201358 (1976)","journal-title":"J. Symb. Logic"},{"key":"9_CR6","first-page":"17","volume":"2","author":"Y Glebskii","year":"1969","unstructured":"Glebskii, Y., Kogan, D., Liogon\u2019kii, M., Talanov, V.: Range and degree of realizability of formulas in the restricted predicate calculus. Kibernetika 2, 17\u201328 (1969)","journal-title":"Kibernetika"},{"key":"9_CR7","first-page":"90","volume":"46","author":"Y Gurevich","year":"1992","unstructured":"Gurevich, Y.: Zero-one laws. Logic Comput. Sci. Column EATCS Bull. 46, 90\u2013106 (1992)","journal-title":"Logic Comput. Sci. Column EATCS Bull."},{"key":"9_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)"},{"key":"9_CR9","unstructured":"Kaufmann, M.: A counterexample to the 0-1 law for existential monadic second-order logic. In: Internal Note. Computational Logic Inc. (1988)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/0890-5401(92)90021-7","volume":"98","author":"P Kolaitis","year":"1992","unstructured":"Kolaitis, P., Vardi, M.: Infinitary logics and 0-1 laws. Inf. Comput. 98, 258\u2013294 (1992)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Fields of Logic and Computation III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-48006-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T10:06:30Z","timestamp":1590141990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-48006-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030480059","9783030480066"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-48006-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"23 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}