{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:34:31Z","timestamp":1774798471743,"version":"3.50.1"},"publisher-location":"Cham","reference-count":72,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319066851","type":"print"},{"value":"9783319066868","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06686-8_3","type":"book-chapter","created":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T01:30:40Z","timestamp":1401672640000},"page":"23-38","source":"Crossref","is-referenced-by-count":7,"title":["The Lattice of Definability. Origins, Recent Developments, and Further Directions"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Semenov","sequence":"first","affiliation":[]},{"given":"Sergey","family":"Soprunov","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Uspensky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"347","volume":"12","author":"J.W. Addison Jr.","year":"1965","unstructured":"Addison Jr., J.W.: The undefinability of the definable. Notices Amer. Math. Soc.\u00a012, 347 (1965)","journal-title":"Notices Amer. Math. Soc."},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/0021-8693(92)90130-E","volume":"151","author":"G. Ahlbrandt","year":"1992","unstructured":"Ahlbrandt, G., Ziegler, M.: Invariant subgroups of V V. J. Algebra\u00a0151(1), 26\u201338 (1992)","journal-title":"J. Algebra"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1051\/ita:2007044","volume":"42","author":"A. B\u00e8s","year":"2008","unstructured":"B\u00e8s, A., C\u00e9gielski, P.: Weakly maximal decidable structures. RAIRO - Theoretical Informatics and Applications\u00a042(1), 137\u2013145 (2008)","journal-title":"RAIRO - Theoretical Informatics and Applications"},{"issue":"5","key":"3_CR4","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s10958-009-9399-x","volume":"158","author":"A. B\u00e8s","year":"2009","unstructured":"B\u00e8s, A., C\u00e9gielski, P.: Nonmaximal decidable structures. Journal of Mathematical Sciences\u00a0158(5), 615\u2013622 (2009)","journal-title":"Journal of Mathematical Sciences"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E.W. Beth","year":"1953","unstructured":"Beth, E.W.: On Padoa\u2019s method in the theory of definition. Indag. Math.\u00a015, 330\u2013339 (1953)","journal-title":"Indag. Math."},{"key":"3_CR6","unstructured":"Bodirsky, M., Macpherson, D.: Reducts of structures and maximal-closed permutation groups. arXiv:1310.6393. (2013)"},{"key":"3_CR7","unstructured":"Boole, G.: The mathematical analysis of logic. Philosophical Library (1847)"},{"key":"3_CR8","unstructured":"Bodirsky, M., Pinsker, M., Pongr\u00e1cz, A.: The 42 reducts of the random ordered graph. arXiv:1309.2165 (2013)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Bodirsky, M., Pinsker, M., Tsankov, T.: Decidability of definability. In: 26th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE (2011)","DOI":"10.1109\/LICS.2011.11"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/BF02764883","volume":"14","author":"J.R. Buchi","year":"1973","unstructured":"Buchi, J.R., Danhof, K.J.: Definibility in normal theories. Israel Journal of Mathematics\u00a014(3), 248\u2013256 (1973)","journal-title":"Israel Journal of Mathematics"},{"key":"3_CR11","first-page":"1","volume":"339","author":"P.J. Cameron","year":"2007","unstructured":"Cameron, P.J.: Aspects of infinite permutation groups. London Mathematical Society Lecture Note Series\u00a0339, 1 (2007)","journal-title":"London Mathematical Society Lecture Note Series"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01214702","volume":"148","author":"P.J. Cameron","year":"1976","unstructured":"Cameron, P.J.: Transitivity of permutation groups on unordered sets. Mathematische Zeitschrift\u00a0148(2), 127\u2013139 (1976)","journal-title":"Mathematische Zeitschrift"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2269808","volume":"31","author":"C.C. Elgot","year":"1966","unstructured":"Elgot, C.C., Rabin, M.O.: Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. J. Symb. Log.\u00a031(2), 169\u2013181 (1966)","journal-title":"J. Symb. Log."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Frasnay, C.: Quelques probl\u00e8mes combinatoires concernant les ordres totaux et les relations monomorphes. Annales de l\u2019 institut Fourier 15(2). Institut Fourier (1965)","DOI":"10.5802\/aif.220"},{"key":"3_CR15","unstructured":"Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle. (1879); van Heijenoort J. (trans.) Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. From Frege to G\u00f6del: A Source Book in Mathematical Logic, 3\u201382 (1879-1931)"},{"key":"3_CR16","series-title":"The Basic Laws of Arithmetic, by M. Furth","volume-title":"Grundgesetze der Arithmetik, Jena: Verlag Hermann Pohle, Band I\/II","author":"G. Frege","year":"1964","unstructured":"Frege, G.: Grundgesetze der Arithmetik, Jena: Verlag Hermann Pohle, Band I\/II. The Basic Laws of Arithmetic, by M. Furth. U. of California Press, Berkeley (1964)"},{"key":"3_CR17","first-page":"253","volume":"1900","author":"D. Hilbert","year":"1900","unstructured":"Hilbert, D.: Mathematische probleme. Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse\u00a01900, 253\u2013297 (1900)","journal-title":"Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse"},{"key":"3_CR18","unstructured":"Hodges, W.: Model Theory (Draft July 20, 2000), http:\/\/wilfridhodges.co.uk\/history07.pdf"},{"key":"3_CR19","unstructured":"Hodges, W.: Tarski on Padoa\u2019s method (2007), http:\/\/wilfridhodges.co.uk\/history06.pdf"},{"key":"3_CR20","volume-title":"Model theory, Encyclopedia of Mathematics and its Applications","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model theory, Encyclopedia of Mathematics and its Applications, vol.\u00a042. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1967426","volume":"8","author":"E.V. Huntington","year":"1906","unstructured":"Huntington, E.V.: The Fundamental Laws of Addition and Multiplication in Elementary Algebra. The Annals of Mathematics\u00a08(1), 1\u201344 (1906)","journal-title":"The Annals of Mathematics"},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1935-1501800-1","volume":"38","author":"E.V. Huntington","year":"1935","unstructured":"Huntington, E.V.: Inter-Relations Among the Four Principal Types of Order. Transactions of the American Mathematical Society\u00a038(1), 1\u20139 (1935)","journal-title":"Transactions of the American Mathematical Society"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1090\/S0002-9947-1902-1500598-9","volume":"3","author":"E.V. Huntington","year":"1902","unstructured":"Huntington, E.V.: A complete set of postulates for the theory of absolute continuous magnitude. Transactions of the American Mathematical Society\u00a03(2), 264\u2013279 (1902)","journal-title":"Transactions of the American Mathematical Society"},{"key":"3_CR24","first-page":"178","volume":"6","author":"E.V. Huntington","year":"1904","unstructured":"Huntington, E.V.: The continuum as a type of order: an exposition of the model theory. Ann. Math.\u00a06, 178\u2013179 (1904)","journal-title":"Ann. Math."},{"key":"3_CR25","unstructured":"Duporcq, E. (ed.): Compte rendu du deuxi\u00e8me Congr\u00e8s international des math\u00e9maticiens: tenu \u00e0 Paris du 6 au 12 ao\u00fbt 1900: proc\u00e8s-verbaux et communications. Gauthier-Villars (1902)"},{"key":"3_CR26","unstructured":"International Congress of Philosophy. 1900\u20131903. Biblioth\u00e8que du Congr\u00e8s International de Philosophie. Four volumes. Paris: Librairie Armand Colin"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Junker, M., Ziegler, M.: The 116 reducts of (\u211a,\u2009<\u2009,a). Journal of Symbolic Logic, 861\u2013884 (2008)","DOI":"10.2178\/jsl\/1230396752"},{"key":"3_CR28","unstructured":"Kaplan, I., Simon, P.: The affine and projective groups are maximal. arXiv:1310.8157 (2013)"},{"key":"3_CR29","unstructured":"Klein, F.: Vergleichende betrachtungen \u00fcber neuere geometrische forsuchungen. A. Deichert (1872)"},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0304-3975(00)00113-4","volume":"257","author":"I. Korec","year":"2001","unstructured":"Korec, I.: A list of arithmetical structures complete with respect to the first-order definability. Theoretical Computer Science\u00a0257(1), 115\u2013151 (2001)","journal-title":"Theoretical Computer Science"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Langford, C.H.: Some theorems on deducibility. Annals of Mathematics Second Series\u00a028(1\/4), 16\u201340 (1926\u20131927)","DOI":"10.2307\/1968352"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Langford, C.H.: Theorems on Deducibility (Second paper). Annals of Mathematics, Second Series 28(1\/4), 459\u2013471 (1926\u20131927)","DOI":"10.2307\/1968390"},{"key":"3_CR33","unstructured":"Lindenbaum, A., Tarski, A.: \u00dcber die Beschr\u00e4nktheit der Ausdrucksmittel deduktiver Theorien. Ergebnisse eines Mathematischen Kolloquiums, fascicule 7 (1934\u20131935) (Engl. trans.: On the Limitations of the Means of Expression of Deductive Theories. In: Corcoran, J. (ed.) Alfred Tarski: Logic, Semantics, Metamathematics, Hackett, Indianapolis, 384\u2013392 (1935))"},{"issue":"4","key":"3_CR34","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BF01458217","volume":"76","author":"L. L\u00f6wenheim","year":"1915","unstructured":"L\u00f6wenheim, L.: \u00dcber m\u00f6glichkeiten im relativkalk\u00fcl. Mathematische Annalen\u00a076(4), 447\u2013470 (1915)","journal-title":"Mathematische Annalen"},{"issue":"15","key":"3_CR35","doi-asserted-by":"publisher","first-page":"1599","DOI":"10.1016\/j.disc.2011.01.024","volume":"311","author":"D. Macpherson","year":"2011","unstructured":"Macpherson, D.: A survey of homogeneous structures. Discrete Mathematics\u00a0311(15), 1599\u20131634 (2011)","journal-title":"Discrete Mathematics"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Marker, D., Peterzil, Y.A., Pillay, A.: Additive reducts of real closed fields. The Journal of Symbolic Logic, 109\u2013117 (1992)","DOI":"10.2307\/2275179"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Marker, D., Pillay, A.: Reducts of (C,\u2009+\u2009,\u00b7) which contain +. Journal of Symbolic Logic, 1243\u20131251 (1990)","DOI":"10.2307\/2274485"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Mostowski, A.: On direct products of theories. Journal of Symbolic Logic, 1\u201331 (1952)","DOI":"10.2307\/2267454"},{"key":"3_CR39","first-page":"220","volume":"48","author":"A.A. Muchnik","year":"1992","unstructured":"Muchnik, A.A.: Games on infinite trees and automata with dead-ends. A new proof for the decidability of the monadic second order theory of two successors. Bull. EATCS\u00a048, 220\u2013267 (1992)","journal-title":"Bull. EATCS"},{"issue":"3","key":"3_CR40","doi-asserted-by":"publisher","first-page":"1433","DOI":"10.1016\/S0304-3975(02)00047-6","volume":"290","author":"A.A. Muchnik","year":"2003","unstructured":"Muchnik, A.A.: The definable criterion for definability in Presburger arithmetic and its applications. Theoretical Computer Science\u00a0290(3), 1433\u20131444 (2003)","journal-title":"Theoretical Computer Science"},{"key":"3_CR41","unstructured":"Peacock, G.: Report on the recent progress and present state of certain branches of analysis. British Association for the Advancement of Science (1833)"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Peirce, C.S.: Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole\u2019s calculus of logic. Memoirs of the American Academy of Arts and Sciences, 317\u2013378 (1873)","DOI":"10.2307\/25058006"},{"issue":"2","key":"3_CR43","doi-asserted-by":"publisher","first-page":"180","DOI":"10.2307\/2369451","volume":"7","author":"C.S. Peirce","year":"1885","unstructured":"Peirce, C.S.: On the algebra of logic: A contribution to the philosophy of notation. American Journal of Mathematics\u00a07(2), 180\u2013196 (1885)","journal-title":"American Journal of Mathematics"},{"issue":"3","key":"3_CR44","doi-asserted-by":"publisher","first-page":"955","DOI":"10.2307\/2275107","volume":"58","author":"Y. Peterzil","year":"1993","unstructured":"Peterzil, Y.: Reducts of some structures over the reals. Journal of Symbolic Logic\u00a058(3), 955\u2013966 (1993)","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR45","first-page":"345","volume":"15","author":"M. Pieri","year":"1908","unstructured":"Pieri, M.: La geometria elementare istituita sulle nozioni \u2018punto\u2019 \u00e9 \u2018sfera\u2019. Memorie di Matematica e di Fisica della Societ\u00e0 Italiana delle Scienze\u00a015, 345\u2013450 (1908)","journal-title":"Memorie di Matematica e di Fisica della Societ\u00e0 Italiana delle Scienze"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Presburger, M.: \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. Sprawozdanie z 1 Kongresu Matematyk\u00f3w Krajow Slowianskich, Ksiaznica Atlas. pp. 92-10 (Translated: On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation. History and Philosophy of Logic 12, 225\u2013233 (1930))","DOI":"10.1080\/014453409108837187"},{"key":"3_CR47","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society\u00a0141, 1\u201335 (1969)","journal-title":"Transactions of the American Mathematical Society"},{"issue":"4","key":"3_CR48","doi-asserted-by":"crossref","first-page":"331","DOI":"10.4064\/aa-9-4-331-340","volume":"9","author":"R. Rado","year":"1964","unstructured":"Rado, R.: Universal graphs and universal functions. Acta Arithmetica\u00a09(4), 331\u2013340 (1964)","journal-title":"Acta Arithmetica"},{"issue":"1","key":"3_CR49","doi-asserted-by":"publisher","first-page":"44","DOI":"10.5840\/monist18989117","volume":"9","author":"E. Schr\u00f6der","year":"1898","unstructured":"Schr\u00f6der, E.: On Pasigraphy. Its Present State and the Pasigraphic Movement in Italy. The Monist\u00a09(1), 44\u201362 (1898)","journal-title":"The Monist"},{"key":"3_CR50","unstructured":"Schr\u00f6der, E.: Vorlesungen \u00fcber die Algebra der Logik, Volumes 1 to 3. Teubner, Leipzig. Reprinted by Chelsea, New York (1966)"},{"key":"#cr-split#-3_CR51.1","unstructured":"Semenov, A.L.: Finiteness Conditions for Algebras of Relations. Trudy Matematicheskogo Instituta im. V.A. Steklova 242, 103-107 (2003)"},{"key":"#cr-split#-3_CR51.2","unstructured":"English version: Proceedings of the Steklov Institute of Mathematics 242, 92-96 (2003)"},{"issue":"2","key":"3_CR52","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1070\/IM1980v015n02ABEH001252","volume":"15","author":"A.L. Semenov","year":"1980","unstructured":"Semenov, A.L.: On certain extensions of the arithmetic of addition of natural numbers. Izvestiya: Mathematics\u00a015(2), 401\u2013418 (1980)","journal-title":"Izvestiya: Mathematics"},{"issue":"2","key":"3_CR53","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00967164","volume":"18","author":"A.L. Semenov","year":"1977","unstructured":"Semenov, A.L.: Predicates that are regular in two positional systems are definable in Presburger arithmetic. Siberian Math. J.\u00a018(2), 403\u2013418 (1977)","journal-title":"Siberian Math. J."},{"issue":"1","key":"3_CR54","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1134\/S0081543811060162","volume":"274","author":"A. Semenov","year":"2011","unstructured":"Semenov, A., Soprunov, S.: Finite quantifier hierarchies in relational algebras. Proceedings of the Steklov Institute of Mathematics\u00a0274(1), 267\u2013272 (2011)","journal-title":"Proceedings of the Steklov Institute of Mathematics"},{"key":"3_CR55","unstructured":"Semenov, A.L., Soprunov, S.F.: Remark on Svenonius theorem. arXiv:1301.2412 (2013)"},{"key":"3_CR56","unstructured":"Semenov, A.L., Soprunov, S.F.: Lattice of relational algebras definable in integers with successor. arXiv:1201.4439 (2012)"},{"key":"3_CR57","unstructured":"Skolem, T.: Logisch-kombinatorische Untersuchungen \u00fcber die Erfullbarkeit oder Beweisbarkeit mathematischer Sdtze nebst einem Theorem \u00fcber dichte Mengen. Videnskapsselskapets skrifter. I. Matematisk-naturvidenskabelig klasse 4 (1920)"},{"key":"3_CR58","unstructured":"Skolem, T.: \u00dcber gewisse Satzfunktionen in der Arithmetik. Skrifter utgit av Videnskapsselskapet i Kristiania, I. klasse 7 (1930)"},{"issue":"6","key":"3_CR59","doi-asserted-by":"publisher","first-page":"475","DOI":"10.4169\/000298910X492781","volume":"117","author":"J.T. Smith","year":"2010","unstructured":"Smith, J.T.: Definitions and Nondefinability in Geometry. The American Mathematical Monthly\u00a0117(6), 475\u2013489 (2010)","journal-title":"The American Mathematical Monthly"},{"key":"3_CR60","unstructured":"Soprunov, S.: Decidable expansions of structures. Vopr. Kibern.\u00a0134, 175\u2013179 (1988) (in Russian)"},{"issue":"3","key":"3_CR61","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1111\/j.1755-2567.1959.tb00301.x","volume":"25","author":"L.. Svenonius","year":"1959","unstructured":"Svenonius, L.: A theorem on permutations in models. Theoria\u00a025(3), 173\u2013178 (1959)","journal-title":"Theoria"},{"issue":"1","key":"3_CR62","doi-asserted-by":"publisher","first-page":"11","DOI":"10.2977\/prims\/1195195654","volume":"3","author":"H. Tanaka","year":"1967","unstructured":"Tanaka, H.: Some results in the effective descriptive set theory. Publications of the Research Institute for Mathematical Sciences\u00a03(1), 11\u201352 (1967)","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"3_CR63","unstructured":"Tarski, A.: The Concept of Truth in Formalized Languages. In: Alfred Tarski: Logic, Semantics, Metamathematics. Trans. J. H. Woodger, second edition ed. and introduced by John Corcoran, Hackett, Indianapolis, 152\u2013278 (1983)"},{"key":"3_CR64","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry Report R-109 (second revised edn.). The Rand Corporation, Santa Monica, CA (1951)","DOI":"10.1525\/9780520348097"},{"key":"#cr-split#-3_CR65.1","unstructured":"Tarski, A.: Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1 (1935)"},{"key":"#cr-split#-3_CR65.2","unstructured":"reprinted in Tarski 2, 51-198 (1986)"},{"issue":"1","key":"3_CR66","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/BF00172286","volume":"5","author":"A. Tarski","year":"1935","unstructured":"Tarski, A.: Einige methodologifche Unterfuchungen \u00fcber die Definierbarkeit der Begriffe. Erkenntnis\u00a05(1), 80\u2013100 (1935)","journal-title":"Erkenntnis"},{"issue":"2","key":"3_CR67","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1080\/01445348608837096","volume":"7","author":"A. Tarski","year":"1986","unstructured":"Tarski, A.: What are logical notions? History and Philosophy of Logic\u00a07(2), 143\u2013154 (1986)","journal-title":"History and Philosophy of Logic"},{"issue":"2","key":"3_CR68","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0168-0072(95)00061-5","volume":"80","author":"S. Thomas","year":"1996","unstructured":"Thomas, S.: Reducts of random hypergraphs. Annals of Pure and Applied Logic\u00a080(2), 165\u2013193 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"3_CR69","doi-asserted-by":"publisher","first-page":"176","DOI":"10.2307\/2274912","volume":"56","author":"S. Thomas","year":"1991","unstructured":"Thomas, S.: Reducts of the random graph. Journal of Symbolic Logic\u00a056(1), 176\u2013181 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR70","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-94-011-2080-7_27","volume-title":"Random structures and zero-one laws. Finite and infinite combinatorics in sets and logic","author":"P. Winkler","year":"1993","unstructured":"Winkler, P.: Random structures and zero-one laws. Finite and infinite combinatorics in sets and logic, pp. 399\u2013420. Springer, Netherlands (1993)"}],"container-title":["Lecture Notes in Computer Science","Computer Science - Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06686-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T07:27:39Z","timestamp":1649143659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06686-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319066851","9783319066868"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06686-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}