{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:23Z","timestamp":1740141503836,"version":"3.37.3"},"reference-count":38,"publisher":"Oxford University Press (OUP)","issue":"1","funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["257039","681988"],"award-info":[{"award-number":["257039","681988"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"name":"German Science Foundation","award":["622397"],"award-info":[{"award-number":["622397"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["I836-N23","P27600"],"award-info":[{"award-number":["I836-N23","P27600"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"crossref","award":["SFB 878"],"award-info":[{"award-number":["SFB 878"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003549","name":"Hungarian Scientific Research Fund","doi-asserted-by":"crossref","award":["K109185"],"award-info":[{"award-number":["K109185"]}],"id":[{"id":"10.13039\/501100003549","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Research, Development and Innovation Fund of Hungary","award":["FK 124814","PD 125160"],"award-info":[{"award-number":["FK 124814","PD 125160"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,2,1]]},"DOI":"10.1093\/logcom\/exx043","type":"journal-article","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T12:10:28Z","timestamp":1510920628000},"page":"133-163","source":"Crossref","is-referenced-by-count":6,"title":["The universal homogeneous binary tree"],"prefix":"10.1093","volume":"28","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Algebra, TU Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Bradley-Williams","sequence":"additional","affiliation":[{"name":"Mathematisches Institut der Heinrich-Heine-Universit\u00e4t, Universit\u00e4tsstr, D\u00fcsseldorf, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Pinsker","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Diskrete Mathematik und Geometrie, FG Algebra, TU Wien, Austria"},{"name":"Department of Algebra, Charles University, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Pongr\u00e1cz","sequence":"additional","affiliation":[{"name":"Department of Algebra and Number Theory, University of Debrecen, Debrecen, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2018,2,1]]},"reference":[{"volume-title":"Relations Related to Betweenness: Their Structure and Automorphisms","year":"1998","author":"Adeleke","key":"key\n\t\t\t\t20180227091052_C1"},{"volume-title":"The Reducts of Some Infinite Homogeneous Graphs and Tournaments","year":"1997","author":"Bennett","key":"key\n\t\t\t\t20180227091052_C2"},{"key":"key\n\t\t\t\t20180227091052_C3","first-page":"90","article-title":"On the scope of the universal-algebraic approach to constraint satisfaction","volume-title":"Proceedings of the Annual Symposium on Logic in Computer Science (LICS)","author":"Bodirsky"},{"key":"key\n\t\t\t\t20180227091052_C4","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0004-3702(03)00075-4","article-title":"Point algebras for temporal reasoning: algorithms and complexity","volume":"149","author":"Broxvall","year":"2003","journal-title":"Artificial Intelligence"},{"journal-title":"Journal of Symbolic Logic","article-title":"The reducts of the homogeneous binary branching C-relation","author":"Bodirsky","key":"key\n\t\t\t\t20180227091052_C5"},{"key":"key\n\t\t\t\t20180227091052_C6","first-page":"20: 1","article-title":"The complexity of phylogeny constraint satisfaction","volume-title":"In 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)","author":"Bodirsky","year":"2016"},{"key":"key\n\t\t\t\t20180227091052_C7","first-page":"287","article-title":"Pure dominance constraints","author":"Bodirsky","year":"2002","journal-title":"In Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS)"},{"key":"key\n\t\t\t\t20180227091052_C8","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.artint.2006.12.004","article-title":"Determining the consistency of partial tree descriptions","volume":"171","author":"Bodirsky","year":"2007","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180227091052_C9","first-page":"1","article-title":"The complexity of temporal constraint satisfaction problems","volume":"57","author":"Bodirsky","year":"2009"},{"key":"key\n\t\t\t\t20180227091052_C10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-3(1:2)2007","article-title":"Cores of countably categorical structures","volume":"3","author":"Bodirsky","year":"2007","journal-title":"Logical Methods in Computer Science"},{"article-title":"Complexity classification in infinite-domain constraint satisfaction","year":"2012","author":"Bodirsky","key":"key\n\t\t\t\t20180227091052_C11"},{"key":"key\n\t\t\t\t20180227091052_C12","article-title":"Ramsey classes: examples and constructions","author":"Bodirsky","year":"2015","journal-title":"In Surveys in Combinatorics. London Mathematical Society Lecture Note Series 424"},{"key":"key\n\t\t\t\t20180227091052_C13","first-page":"489","volume":"558","author":"Bodirsky","year":"2011","journal-title":"Reducts of Ramsey structures"},{"key":"key\n\t\t\t\t20180227091052_C14","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s11856-014-1042-y","article-title":"Minimal functions on the random graph","volume":"200","author":"Bodirsky","year":"2014","journal-title":"Israel Journal of Mathematics"},{"key":"key\n\t\t\t\t20180227091052_C15","first-page":"655","article-title":"Schaefer\u2019s theorem for graphs","author":"Bodirsky","year":"2015","journal-title":"Journal of the ACM, 62, 52 pages (article number 19). A conference version appeared in the Proceedings of STOC 2011"},{"key":"key\n\t\t\t\t20180227091052_C16","first-page":"591","article-title":"The 42 reducts of the random ordered graph","volume":"111","author":"Bodirsky","year":"2015","journal-title":"Proceedings of the LMS"},{"key":"key\n\t\t\t\t20180227091052_C17","first-page":"1036","article-title":"Decidability of definability","volume":"78","author":"Bodirsky","year":"2013","journal-title":"Journal of Symbolic Logic, A conference version appeared in the Proceedings of LICS 2011"},{"key":"key\n\t\t\t\t20180227091052_C18","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01214702","article-title":"Transitivity of permutation groups on unordered sets","volume":"148","author":"Cameron","year":"1976","journal-title":"Mathematische Zeitschrift"},{"key":"key\n\t\t\t\t20180227091052_C19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511549809","volume-title":"Oligomorphic Permutation Groups","author":"Cameron","year":"1990"},{"key":"key\n\t\t\t\t20180227091052_C20","first-page":"pp. 163","article-title":"On determining the consistency of partial descriptions of trees","author":"Cornell","year":"1994","journal-title":"Proceedings of the ACL"},{"key":"key\n\t\t\t\t20180227091052_C21","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1112\/plms\/s3-58.3.454","article-title":"Automorphism groups of infinite semilinear orders (I)","volume":"58","author":"Droste","year":"1989","journal-title":"Proceedings of the London Mathematical Society"},{"key":"key\n\t\t\t\t20180227091052_C22","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1112\/plms\/s3-58.3.479","article-title":"Automorphism groups of infinite semilinear orders (II)","volume":"58","author":"Droste","year":"1989","journal-title":"Proceedings of the London Mathematical Society"},{"key":"key\n\t\t\t\t20180227091052_C23","doi-asserted-by":"crossref","first-page":"721","DOI":"10.4153\/CJM-1991-041-7","article-title":"Automorphism groups of homogeneous semilinear orders: normal subgroups and commutators","volume":"43","author":"Droste","year":"1991","journal-title":"Canadian Journal of Mathematics"},{"key":"key\n\t\t\t\t20180227091052_C24","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1006365012997","article-title":"On homogeneous semilattices and their automorphism groups","volume":"16","author":"Droste","year":"1999","journal-title":"Order"},{"key":"key\n\t\t\t\t20180227091052_C25","doi-asserted-by":"crossref","DOI":"10.1090\/memo\/0334","article-title":"Structure of partially ordered sets with transitive automorphism groups","volume":"57","author":"Droste","year":"1985","journal-title":"AMS Memoir"},{"key":"key\n\t\t\t\t20180227091052_C26","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1112\/plms\/s3-54.3.517","article-title":"Partially ordered sets with transitive automorphism groups","volume":"54","author":"Droste","year":"1987","journal-title":"Proceedings of the London Mathematical Society"},{"key":"key\n\t\t\t\t20180227091052_C27","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s10462-004-5899-8","article-title":"Relation algebras and their application in temporal and spatial reasoning","volume":"23","author":"D\u00fcntsch","year":"2005","journal-title":"Artificial Intelligence Review"},{"key":"key\n\t\t\t\t20180227091052_C28","article-title":"Some recent developments in Ramsey theory","volume-title":"In Combinatorics (Proc. Advanced Study Inst., Breukelen, 1974), Part 2: Graph Theory; Foundations, Partitions and Combinatorial Geometry, pp. 61\u201376. Math. Centre Tracts, No. 56. Math.","author":"Graham","year":"1974"},{"key":"key\n\t\t\t\t20180227091052_C29","first-page":"1","article-title":"Relation algebras of intervals","volume":"83","author":"Hirsch","year":"1996","journal-title":"Artificial Intelligence Review"},{"key":"key\n\t\t\t\t20180227091052_C30","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"Hodges","year":"1993"},{"volume-title":"A Shorter Model Theory","year":"1997","author":"Hodges","key":"key\n\t\t\t\t20180227091052_C31"},{"key":"key\n\t\t\t\t20180227091052_C32","doi-asserted-by":"crossref","first-page":"861","DOI":"10.2178\/jsl\/1230396752","article-title":"The 116 reducts of $(\\mathbb{Q},<,a)$","volume":"74","author":"Junker","year":"2008","journal-title":"Journal of Symbolic Logic"},{"volume-title":"Vorlesungen \u00fcber Pascaltheorie, vol. 6 of Arbeitsberichte des Instituts f\u00fcr Mathematische Maschinen und Datenverarbeitung","year":"1973","author":"Leeb","key":"key\n\t\t\t\t20180227091052_C33"},{"key":"key\n\t\t\t\t20180227091052_C34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.37236\/4910","article-title":"Permutations on the random permutation","volume":"22","author":"Linman","year":"2015","journal-title":"Electronic Journal of Combinatorics"},{"key":"key\n\t\t\t\t20180227091052_C35","doi-asserted-by":"crossref","first-page":"1472","DOI":"10.1016\/j.apal.2017.01.009","article-title":"Reducts of the Henson graphs with a constant","volume":"168","author":"Pongr\u00e1cz","year":"2017","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180227091052_C36","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.aim.2014.08.008","article-title":"Reducts of the random partial order","volume":"267","author":"Pach","year":"2014","journal-title":"Advances in Mathematics"},{"key":"key\n\t\t\t\t20180227091052_C37","doi-asserted-by":"crossref","first-page":"176","DOI":"10.2307\/2274912","article-title":"Reducts of the random graph","volume":"56","author":"Thomas","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180227091052_C38","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0168-0072(95)00061-5","article-title":"Reducts of random hypergraphs","volume":"80","author":"Thomas","year":"1996","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/1\/133\/24188610\/exx043.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T01:56:34Z","timestamp":1603331794000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/1\/133\/4824836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,1]]},"references-count":38,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,2,1]]},"published-print":{"date-parts":[[2018,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx043","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2018,2]]},"published":{"date-parts":[[2018,2,1]]}}}