{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:07:21Z","timestamp":1759147641228},"reference-count":25,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1215\/00294527-3768177","type":"journal-article","created":{"date-parts":[[2016,11,25]],"date-time":"2016-11-25T03:00:47Z","timestamp":1480042847000},"source":"Crossref","is-referenced-by-count":4,"title":["Computing the Number of Types of Infinite Length"],"prefix":"10.1215","volume":"58","author":[{"given":"Will","family":"Boney","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"5","unstructured":"[BG] Boney, W., and R. Grossberg, \u201cForking in short and tame abstract elementary classes,\u201d preprint, available at <a href=\"arXiv:1306.6562v10\">arXiv:1306.6562v10<\/a> [math.LO]."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[B2] 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":"2","doi-asserted-by":"crossref","unstructured":"[BK] Baldwin, J. T., and A. Kolesnikov, \u201cCategoricity, amalgamation, and tameness,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 170 (2009), pp. 411\u201343.","DOI":"10.1007\/s11856-009-0035-8"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[BKS] Baldwin, J. T., A. Kolesnikov, and S. Shelah, \u201cThe amalgamation spectrum,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 74 (2009), pp. 914\u201328.","DOI":"10.2178\/jsl\/1245158091"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[Bo] Boney, W., \u201cTameness from large cardinal axioms,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 79 (2014), pp. 1092\u2013119.","DOI":"10.1017\/jsl.2014.30"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[G1] Grossberg, R., \u201cClassification theory for abstract elementary classes,\u201d pp. 165\u2013204 in <i>Logic and Algebra<\/i>, edited by Y. Zhang, vol. 302 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 2002.","DOI":"10.1090\/conm\/302\/05080"},{"key":"7","unstructured":"[G2] Grossberg, R., <i>A Course in Model Theory<\/i>, in preparation."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[GV1] Grossberg, R., and M. VanDieren, \u201cCategoricity from one successor cardinal in tame abstract elementary classes,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 6 (2006), pp. 181\u2013201.","DOI":"10.1142\/S0219061306000554"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[GV2] Grossberg, R., and M. VanDieren, \u201cGalois-stability for tame abstract elementary classes,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 6 (2006), pp. 25\u201348.","DOI":"10.1142\/S0219061306000487"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[GVV] Grossberg, R., M. VanDieren, and A. Villaveces, \u201cUniqueness of limit models in classes with amalgamation,\u201d <i>Mathematical Logic Quarlerly<\/i>, vol 62 (2016), pp. 367\u201382.","DOI":"10.1002\/malq.201500033"},{"key":"11","unstructured":"[H] Hodges, W., <i>Model Theory<\/i>, vol. 42 of <i>Encyclopedia of Mathematics and its Applications<\/i>, Cambridge University Press, Cambridge, 1993."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[JS] Jarden, A., and S. Shelah, \u201cNon-forking frames in abstract elementary classes,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 164 (2013), pp. 135\u201391.","DOI":"10.1016\/j.apal.2012.09.007"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[K1] Keisler, H. J., \u201cLogic with the quantifier \u2018there exist uncountably many\u2019,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 1 (1970), pp. 1\u201393.","DOI":"10.1016\/S0003-4843(70)80005-5"},{"key":"14","unstructured":"[K2] Keisler, H. J., <i>Model Theory for Infinitary Logic<\/i>, vol. 62 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1971."},{"key":"15","doi-asserted-by":"crossref","unstructured":"[K3] Keisler, H. J., \u201cSix classes of theories,\u201d <i>Journal of the Australian Mathematical Society Series A<\/i>, vol. 21 (1976), pp. 257\u201366.","DOI":"10.1017\/S1446788700018541"},{"key":"16","unstructured":"[P] Pillay, A., <i>An Introduction to Stability Theory<\/i>, vol. 8 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1983."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[S1] Shelah, S., \u201cClassification of nonelementary classes, II: Abstract elementary classes,\u201d pp. 419\u201397 in <i>Classification Theory (Chicago, Ill., 1985)<\/i>, edited by J. T. Baldwin, vol. 1292 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1987.","DOI":"10.1007\/BFb0082243"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[S2] Shelah, S., \u201cUniversal classes,\u201d pp. 264\u2013418 in <i>Classification Theory (Chicago, Ill., 1985)<\/i>, edited by J. Baldwin, vol. 1292 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1987.","DOI":"10.1007\/BFb0082242"},{"key":"19","unstructured":"[S3] Shelah, S., <i>Classification Theory and the Number of Nonisomorphic Models<\/i>, 2nd edition, vol. 92 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1990."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[S4] Shelah, S., \u201cCategoricity of an abstract elementary class in two successive cardinals,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 126 (2001), pp. 29\u2013128.","DOI":"10.1007\/BF02784150"},{"key":"21","unstructured":"[S5] Shelah, S., <i>Classification Theory for Abstract Elementary Classes, I<\/i>, vol. 18 of <i>Studies in Logic (London)<\/i>, College Publications, London, 2009; <i>II<\/i>, vol. 20."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[SH] Shelah, S., and B. Hart, \u201cCategoricity over $P$ for first order $T$ or categoricity for $\\phi\\in{L}_{\\omega_{1}\\omega}$ can stop at $\\aleph_{k}$ while holding for $\\aleph_{0},\\ldots,\\aleph_{k-1}$,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 70 (1990), pp. 219\u201335.","DOI":"10.1007\/BF02807869"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[SM] Shelah, S., and M. Makkai, \u201cCategoricity of theories in $L_{\\kappa \\omega}$, with $\\kappa$ a compact cardinal,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 47 (1990), pp. 41\u201397.","DOI":"10.1016\/0168-0072(90)90016-U"},{"key":"24","unstructured":"[V] VanDieren, M., \u201cCategoricity and stability in abstract elementary classes,\u201d Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, Pa., 2002."},{"key":"25","unstructured":"[W] Wilf, H. S., <i>generatingfunctionology<\/i>, 2nd edition, Academic Press, Boston, 1994."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3768177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:06Z","timestamp":1706648346000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-58\/issue-1\/Computing-the-Number-of-Types-of-Infinite-Length\/10.1215\/00294527-3768177.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":25,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3768177","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}