{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:24Z","timestamp":1784484144591,"version":"3.55.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_7","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:22Z","timestamp":1784482162000},"page":"109-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computable Cofinal Fra\u00efss\u00e9 Limits"],"prefix":"10.1007","author":[{"given":"Nathanael","family":"Ackerman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cameron","family":"Freer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mostafa","family":"Mirabi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"7_CR1","unstructured":"Ackerman, N., Freer, C., Mirabi, M.: Computable weak Fra\u00efss\u00e9 limits. In preparation (2026)"},{"key":"7_CR2","unstructured":"Ackerman, N., Freer, C., Mirabi, M.: On the computability of cofinal Fra\u00efss\u00e9 limits (2026). https:\/\/arxiv.org\/abs\/2601.22435"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.3233\/COM-170070","volume":"6","author":"F Adams","year":"2017","unstructured":"Adams, F., Cenzer, D.: Computability and categoricity of weakly ultrahomogeneous structures. Computability 6(4), 365\u2013389 (2017)","journal-title":"Computability"},{"issue":"10","key":"7_CR4","doi-asserted-by":"publisher","first-page":"2059","DOI":"10.4171\/jems\/483","volume":"16","author":"O Angel","year":"2014","unstructured":"Angel, O., Kechris, A.S., Lyons, R.: Random orderings and unique ergodicity of automorphism groups. J. Eur. Math. Soc. (JEMS) 16(10), 2059\u20132095 (2014)","journal-title":"J. Eur. Math. Soc. (JEMS)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.tcs.2018.05.010","volume":"737","author":"G Badia","year":"2018","unstructured":"Badia, G., Noguera, C.: Fra\u00efss\u00e9 classes of graded relational structures. Theor. Comput. Sci. 737, 81\u201390 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR6","unstructured":"Barto\u0161, A., Bice, T., Barbosa, K.D., Kubi\u015b, W.: The weak Ramsey property and extreme amenability (2021). https:\/\/arxiv.org\/abs\/2110.01694"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bodirsky, M., Jonsson, P., Van\u00a0Pham, T.: The complexity of phylogeny constraint satisfaction problems. ACM Trans. Comput. Log. 18(3), Art. 23, 42 (2017)","DOI":"10.1145\/3105907"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Boja\u0144czyk, M., Segoufin, L., Toru\u0144czyk, S.: Verification of database-driven systems via amalgamation. In: Hull, R., Fan, W. (eds.) Proceedings of 32nd Symposium Principles of Database Systems (PODS 2013), pp. 63\u201374. ACM (2013)","DOI":"10.1145\/2463664.2465228"},{"key":"7_CR9","unstructured":"Calais, J.: Relation et multirelation pseudo-homog\u00e8nes. C. R. Acad. Sci. Paris S\u00e9r. A-B 265, A2\u2013A4 (1967)"},{"key":"7_CR10","unstructured":"Calais, J.: Relations pseudo-homog\u00e8nes, application \u00e0 la th\u00e9orie des arbres. C. R. Acad. Sci. Paris S\u00e9r. A-B 266, A324\u2013A326 (1968)"},{"issue":"1\u20133","key":"7_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0012-365X(91)90329-Z","volume":"95","author":"PJ Cameron","year":"1991","unstructured":"Cameron, P.J.: The age of a relational structure. Disc. Math. 95(1\u20133), 49\u201367 (1991)","journal-title":"Disc. Math."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Cenzer, D., Adams, F., Ng, K.M.: Computability and categoricity of weakly homogeneous Boolean algebras and $$p$$-groups. In: Aspects of Computation and Automata Theory with Applications, pp. 141\u2013158. World Scientific (2024)","DOI":"10.1142\/9789811278631_0006"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.artint.2004.02.003","volume":"156","author":"M Cristani","year":"2004","unstructured":"Cristani, M., Hirsch, R.: The complexity of constraint satisfaction problems for small relation algebras. Artif. Intell. 156(2), 177\u2013196 (2004)","journal-title":"Artif. Intell."},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"66","DOI":"10.2178\/jsl\/1294170990","volume":"76","author":"BF Csima","year":"2011","unstructured":"Csima, B.F., Harizanov, V.S., Miller, R., Montalb\u00e1n, A.: Computability of Fra\u00efss\u00e9 limits. J. Symb. Logic 76(1), 66\u201393 (2011)","journal-title":"J. Symb. Logic"},{"key":"7_CR15","unstructured":"Dasilva\u00a0Barbosa, K.: Ramsey Degree Theory of Ordered and Directed Sets. Ph.D. thesis, University of Toronto (2022)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Droste, M., G\u00f6bel, R.: Universal domains in the theory of denotational semantics of programming languages. In: Proceedings of 5th Symposium Logic in Computer Science (LICS \u201990), pp. 19\u201334. IEEE Computer Society (1990)","DOI":"10.1109\/LICS.1990.113730"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1017\/S0960129500000177","volume":"3","author":"M Droste","year":"1993","unstructured":"Droste, M., G\u00f6bel, R.: Universal domains and the amalgamation property. Math. Struct. Comput. Sci. 3(2), 137\u2013159 (1993)","journal-title":"Math. Struct. Comput. Sci."},{"key":"7_CR18","unstructured":"Drzewiecka, M., Ivanov, A., Mokry, B.: Generics in invariant subsets of some highly homogeneous permutation groups (2023)"},{"issue":"6","key":"7_CR19","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1016\/j.apal.2019.01.003","volume":"170","author":"E Fokina","year":"2019","unstructured":"Fokina, E., Harizanov, V., Turetsky, D.: Computability-theoretic categoricity and Scott families. Ann. Pure Appl. Logic 170(6), 699\u2013717 (2019)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s00224-012-9419-y","volume":"52","author":"WL Fouch\u00e9","year":"2013","unstructured":"Fouch\u00e9, W.L.: Martin-L\u00f6f randomness, invariant measures and countable homogeneous structures. Theory Comput. Syst. 52(1), 65\u201379 (2013)","journal-title":"Theory Comput. Syst."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Fra\u00efss\u00e9, R.: Sur l\u2019extension aux relations de quelques propri\u00e9t\u00e9s des ordres. Ann. Sci. \u00c9cole Norm. Sup. 71(4), 363\u2013388 (1954)","DOI":"10.24033\/asens.1027"},{"key":"7_CR22","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. 42. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/s00039-005-0503-1","volume":"15","author":"AS Kechris","year":"2005","unstructured":"Kechris, A.S., Pestov, V.G., Todorcevic, S.: Fra\u00efss\u00e9 limits, Ramsey theory, and topological dynamics of automorphism groups. Geom. Funct. Anal. 15(1), 106\u2013189 (2005)","journal-title":"Geom. Funct. Anal."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Kechris, A.S., Rosendal, C.: Turbulence, amalgamation, and generic automorphisms of homogeneous structures. Proc. Lond. Math. Soc. (3) 94(2), 302\u2013350 (2007)","DOI":"10.1112\/plms\/pdl007"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Khoussainov, B., Nies, A., Rubin, S., Stephan, F.: Automatic structures: richness and limitations. In: Proceedings of 19th IEEE Symposium Logic in Computer Science (LICS 2004), pp. 44\u201353. IEEE Computer Society (2004)","DOI":"10.1109\/LICS.2004.1319599"},{"issue":"2","key":"7_CR26","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1002\/malq.202100037","volume":"68","author":"A Krawczyk","year":"2022","unstructured":"Krawczyk, A., Kruckman, A., Kubi\u015b, W., Panagiotopoulos, A.: Examples of weak amalgamation classes. MLQ Math. Log. Q. 68(2), 178\u2013188 (2022)","journal-title":"MLQ Math. Log. Q."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Krawczyk, A., Kubi\u015b, W.: Games with finitely generated structures. Ann. Pure Appl. Logic 172(10), 103016, 13 (2021)","DOI":"10.1016\/j.apal.2021.103016"},{"key":"7_CR28","unstructured":"Kruckman, A.: Notes on generalized Fra\u00efss\u00e9 theory (2015). https:\/\/math.berkeley.edu\/~kruckman\/fraisse.pdf"},{"key":"7_CR29","unstructured":"Kruckman, A.: Infinitary Limits of Finite Structures. Ph.D. thesis, University of California, Berkeley (2016)"},{"issue":"2","key":"7_CR30","first-page":"27","volume":"38","author":"W Kubi\u015b","year":"2022","unstructured":"Kubi\u015b, W.: Weak Fra\u00efss\u00e9 categories. Theory Appl. Categ. 38(2), 27\u201363 (2022)","journal-title":"Theory Appl. Categ."},{"issue":"5\u20136","key":"7_CR31","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/s00153-021-00807-1","volume":"61","author":"M Malicki","year":"2022","unstructured":"Malicki, M.: Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups. Arch. Math. Logic 61(5\u20136), 685\u2013704 (2022)","journal-title":"Arch. Math. Logic"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Panagiotopoulos, A., Tent, K.: Universality vs genericity and $$C_4$$-free graphs. Eur. J. Combin. 106, 103590, 12 (2022)","DOI":"10.1016\/j.ejc.2022.103590"},{"key":"7_CR33","unstructured":"Steiner, R.M.: Reducibility, Degree Spectra, and Lowness in Algebraic Structures. Ph.D. thesis, City University of New York (2012)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Truss, J.K.: Generic automorphisms of homogeneous structures. Proc. London Math. Soc. (3) 65(1), 121\u2013141 (1992)","DOI":"10.1112\/plms\/s3-65.1.121"}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:25Z","timestamp":1784482165000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}