{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:36Z","timestamp":1706649036934},"reference-count":13,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1960443","type":"journal-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T13:56:35Z","timestamp":1361454995000},"source":"Crossref","is-referenced-by-count":1,"title":["The Nonabsoluteness of Model Existence in Uncountable Cardinals for L\u03c91,\u03c9"],"prefix":"10.1215","volume":"54","author":[{"given":"Sy-David","family":"Friedman","sequence":"first","affiliation":[]},{"given":"Tapani","family":"Hyttinen","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Koerwien","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Baldwin, J. T., \u201cAmalgamation, absoluteness and categoricity,\u201d pp. 22\u201350 in <i>Proceedings of the 11th Asian Logic Conference<\/i>, World Science Publishing, Hackensack, N.J., 2012.","DOI":"10.1142\/9789814360548_0002"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Barwise, J., \u201cThe role of the omitting types theorem in infinitary logic,\u201d <i>Archiv f\u00fcr Mathematische Logik und Grundlagenforschung<\/i>, vol. 21 (1981), pp. 55\u201368.","DOI":"10.1007\/BF02011633"},{"key":"3","unstructured":"[3] Chang, C. C., and H. J. Keisler, <i>Model Theory<\/i>, 3rd edition, vol. 73 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1990."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Cummings, J., M. Foreman, and M. Magidor, \u201cSquares, scales and stationary reflection,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 1 (2001), pp. 35\u201398.","DOI":"10.1142\/S021906130100003X"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Gao, S., \u201cOn automorphism groups of countable structures,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 63 (1998), pp. 891\u201396.","DOI":"10.2307\/2586718"},{"key":"6","unstructured":"[6] Gregory, J., \u201cElementary extensions and uncountable models for infinitary finite quantifier language fragments,\u201d <i>Notices of the American Mathematical Society<\/i>, vol. 17 (1970), pp. 967\u201368."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Grossberg, R., and S. Shelah, \u201cOn the number of nonisomorphic models of an infinitary theory which has the infinitary order property, I,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 51 (1986), pp. 302\u201322.","DOI":"10.2307\/2274053"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Hjorth, G., \u201cKnight\u2019s model, its automorphism group, and characterizing the uncountable cardinals,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 2 (2002), pp. 113\u201344.","DOI":"10.1142\/S0219061302000084"},{"key":"9","unstructured":"[9] Jech, T., <i>Set Theory<\/i>, 3rd millennium edition, revised and expanded, <i>Springer Monographs in Mathematics<\/i>, Springer, Berlin, 2003."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Jensen, R. B., \u201cThe fine structure of the constructible hierarchy,\u201d with a section by Jack Silver, <i>Annals of Mathematical Logic<\/i>, vol. 4 (1972), pp. 229\u2013308.","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"11","unstructured":"[11] Keisler, H. J., <i>Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers<\/i>, vol. 62of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1971."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Malitz, J., \u201cThe Hanf number for complete $L_{\\omega_{1},\\omega}$-sentences,\u201d pp. 166\u201381 in <i>The Syntax and Semantics of Infinitary Languages<\/i>, edited by J. Barwise, vol. 72 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1968.","DOI":"10.1007\/BFb0079689"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Specker, E., \u201cSur un probl\u00e8me de Sikorski,\u201d <i>Colloquium Mathematicum<\/i>, vol. 2 (1949), pp. 9\u201312.","DOI":"10.4064\/cm-2-1-9-12"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1960443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:03Z","timestamp":1706648283000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-2\/The-Nonabsoluteness-of-Model-Existence-in-Uncountable-Cardinals-for-L%cf%891%cf%89\/10.1215\/00294527-1960443.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":13,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1960443","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}