{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T23:44:03Z","timestamp":1764373443486},"reference-count":30,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,1,1]]},"DOI":"10.1215\/00294527-2018-0025","type":"journal-article","created":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T03:02:53Z","timestamp":1548730973000},"source":"Crossref","is-referenced-by-count":4,"title":["Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories"],"prefix":"10.1215","volume":"60","author":[{"given":"Alex","family":"Kruckman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"6","unstructured":"[6] Brooke-Taylor, A., and D. Testa, \u201cThe infinite random simplicial complex,\u201d preprint, <a href=\"arXiv:1308.5517v1\">arXiv:1308.5517v1<\/a> [math.LO]."},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Kantor, W. M., M. W. Liebeck, and H. D. Macpherson, \u201c$\\aleph_{0}$-categorical structures smoothly approximated by finite substructures,\u201d <i>Proceedings of the London Mathematical Society (3)<\/i>, vol. 59 (1989), pp. 439\u201363.","DOI":"10.1112\/plms\/s3-59.3.439"},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Ahlman, O., \u201cSimple structures axiomatized by almost sure theories,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 167 (2016), pp. 435\u201356.","DOI":"10.1016\/j.apal.2016.02.001"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Baldwin, J. T., <i>Categoricity<\/i>, vol. 50 of <i>University Lecture Series<\/i>, American Mathematical Society, Providence, 2009.","DOI":"10.1090\/ulect\/050"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Baldwin, J. T., M. Koerwien, and M. C. Laskowski, \u201cDisjoint amalgamation in locally finite AEC,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 82 (2017), pp. 98\u2013119.","DOI":"10.1017\/jsl.2016.25"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Blass, A., G. Exoo, and F. Harary, \u201cPaley graphs satisfy all first-order adjacency axioms,\u201d <i>Journal of Graph Theory<\/i>, vol. 5 (1981), pp. 435\u201339.","DOI":"10.1002\/jgt.3190050414"},{"key":"5","unstructured":"[5] Blass, A., and B. Rossman, \u201cExplicit graphs with extension properties,\u201d <i>Bulletin of the European Association for Theoretical Computer Science EATCS<\/i>, vol. 86 (2005), pp. 166\u201375."},{"key":"7","unstructured":"[7] Cameron, P. J., <i>Oligomorphic Permutation Groups<\/i>, vol. 152 of <i>London Mathematical Society Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 1990."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Casanovas, E., R. Pel\u00e1ez, and M. Ziegler, \u201cOn many-sorted $\\omega$-categorical theories,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 214 (2011), pp. 285\u201394.","DOI":"10.4064\/fm214-3-5"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Chatzidakis, Z., and E. Hrushovski, \u201cModel theory of difference fields,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 351 (1999), pp. 2997\u20133071.","DOI":"10.1090\/S0002-9947-99-02498-8"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Cherlin, G., \u201cCombinatorial problems connected with finite homogeneity,\u201d pp. 3\u201330 in <i>Proceedings of the International Conference on Algebra, Part 3 (Novosibirsk, 1989)<\/i>, edited by L. A. Bokut, A. I. Kostrikin, and L. Ershov, vol. 131 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 1992.","DOI":"10.1090\/conm\/131.3\/1175870"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Cherlin, G., \u201cTwo problems on homogeneous structures, revisited,\u201d pp. 319\u2013415 in <i>Model Theoretic Methods in Finite Combinatorics<\/i>, edited by M. Grohe and J. A. Makowsky, vol. 558 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 2011.","DOI":"10.1090\/conm\/558\/11055"},{"key":"12","unstructured":"[12] Cherlin, G., and E. Hrushovski, <i>Finite Structures with Few Types<\/i>, vol. 152 of <i>Annals of Mathematics Studies<\/i>, Princeton University Press, Princeton, 2003."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Chernikov, A., and N. Ramsey, \u201cOn model-theoretic tree properties,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 16 (2016).","DOI":"10.1142\/S0219061316500094"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] D\u017eamonja, M., and S. Shelah, \u201cOn $\\vartriangleleft^{*}$-maximality,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 125 (2004), pp. 119\u201358.","DOI":"10.1016\/j.apal.2003.11.001"},{"key":"15","unstructured":"[15] Erd\u0151s, P., D. J. Kleitman, and B. L. Rothschild, \u201cAsymptotic enumeration of $K_{n}$-free graphs,\u201d pp. 19\u201327 in <i>Colloquio Internazionale sulle Teorie Combinatorie, Tomo II (Rome, 1973)<\/i>, vol. 17 of <i>Atti dei Convegni Lincei<\/i>, Accademia Nazionale dei Lincei, Rome, 1976."},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Flajolet, P., and R. Sedgewick, <i>Analytic Combinatorics<\/i>, Cambridge University Press, Cambridge, 2009.","DOI":"10.1017\/CBO9780511801655"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Goodrick, J., B. Kim, and A. Kolesnikov, \u201cType-amalgamation properties and polygroupoids in stable theories,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 15 (2015).","DOI":"10.1142\/S021906131550004X"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Henson, C. W., \u201cA family of countable homogeneous graphs,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 38 (1971), pp. 69\u201383.","DOI":"10.2140\/pjm.1971.38.69"},{"key":"19","unstructured":"[19] Hodges, W., <i>Model Theory<\/i>, vol. 42 of <i>Encyclopedia of Mathematics and its Applications<\/i>, Cambridge University Press, Cambridge, 1993."},{"key":"20","unstructured":"[20] Hrushovski, E., \u201cGroupoids, imaginaries and internal covers,\u201d <i>Turkish Journal of Mathematics<\/i>, vol. 36 (2012), pp. 173\u201398."},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Kim, B., and H.-J. Kim, \u201cNotions around tree property 1,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 162 (2011), pp. 698\u2013709.","DOI":"10.1016\/j.apal.2011.02.001"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Kim, B., A. S. Kolesnikov, and A. Tsuboi, \u201cGeneralized amalgamation and $n$-simplicity,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 155 (2008), pp. 97\u2013114.","DOI":"10.1016\/j.apal.2008.03.005"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Kim, B., and A. Pillay, \u201cSimple theories,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 88 (1997), pp. 149\u201364.","DOI":"10.1016\/S0168-0072(97)00019-5"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Kim, B., and A. Pillay, \u201cFrom stability to simplicity,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 4 (1998), pp. 17\u201336.","DOI":"10.2307\/421004"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Kolesnikov, A. S., \u201c$n$-simple theories,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 131 (2005), pp. 227\u201361.","DOI":"10.1016\/j.apal.2004.06.001"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Macpherson, D., \u201cA survey of homogeneous structures,\u201d <i>Discrete Mathematics<\/i>, vol. 311 (2011), pp. 1599\u20131634.","DOI":"10.1016\/j.disc.2011.01.024"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Oberschelp, W., \u201cMonotonicity for structure numbers in theories without identity,\u201d pp. 297\u2013308 in <i>Combinatoire et repr\u00e9sentation du groupe sym\u00e9trique (Strasbourg, 1976)<\/i>, vol. 579 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1977.","DOI":"10.1007\/BFb0090025"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] Shelah, S., \u201cToward classifying unstable theories,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 80 (1996), pp. 229\u201355.","DOI":"10.1016\/0168-0072(95)00066-6"},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Thomas, S., \u201cReducts of random hypergraphs,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 80 (1996), pp. 165\u201393.","DOI":"10.1016\/0168-0072(95)00061-5"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2018-0025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:42Z","timestamp":1706648382000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-1\/Disjoint-n-Amalgamation-and-Pseudofinite-Countably-Categorical-Theories\/10.1215\/00294527-2018-0025.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,1]]},"references-count":30,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2019,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2018-0025","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,1,1]]}}}