{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T19:24:18Z","timestamp":1759778658443},"reference-count":9,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,11,1]]},"DOI":"10.1215\/00294527-2019-0026","type":"journal-article","created":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T02:00:57Z","timestamp":1567735257000},"source":"Crossref","is-referenced-by-count":1,"title":["The Marker\u2013Steinhorn Theorem via Definable Linear Orders"],"prefix":"10.1215","volume":"60","author":[{"given":"Erik","family":"Walsberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Chernikov, A., and P. Simon, \u201cExternally definable sets and dependent pairs,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 194 (2013), pp. 409\u201325.","DOI":"10.1007\/s11856-012-0061-9"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Chernikov, A., and P. Simon, \u201cExternally definable sets and dependent pairs, II,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 367 (2015), pp. 5217\u201335.","DOI":"10.1090\/S0002-9947-2015-06210-2"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Marker, D., and C. Steinhorn, \u201cDefinable types in o-minimal theories,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 59 (1994), pp. 185\u201398.","DOI":"10.2307\/2275260"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Onshuus, A., and C. Steinhorn, \u201cOn linearly ordered structures of finite rank,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 9 (2009), pp. 201\u201339.","DOI":"10.1142\/S0219061309000896"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Ramakrishnan, J., \u201cDefinable linear orders definably embed into lexicographic orders in o-minimal structures,\u201d <i>Proceedings of the American Mathematical Society<\/i>, vol. 141 (2013), pp. 1809\u201319.","DOI":"10.1090\/S0002-9939-2012-11424-8"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Shelah, S., \u201cDependent first order theories, continued,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 173 (2009), pp. 1\u201360.","DOI":"10.1007\/s11856-009-0082-1"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Tressl, M., \u201cValuation theoretic content of the Marker\u2013Steinhorn theorem,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 69 (2004), pp. 91\u201393.","DOI":"10.2178\/jsl\/1080938828"},{"key":"8","unstructured":"[8] van den Dries, L., <i>Tame Topology and O-Minimal Structures<\/i>, vol. 248of <i>London Mathematical Society Lecture Note Series<\/i>, Cambridge University Press, Cambridge, 1998."},{"key":"9","unstructured":"[9] van den Dries, L., \u201cLimit sets in o-minimal structures,\u201d pp. 172-215 in <i>Proceedings of a RAAG Summer School, O-Minimal Structures (Lisbon 2003)<\/i>, edited by M. Edmundo, D. Richardson, and A. J. Wilkie, <i>Lecture Notes in Real Algebraic and Analytic Geometry<\/i>, Cuvillier, G\u00f6ttingen, 2005."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:57Z","timestamp":1706648397000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-4\/The-MarkerSteinhorn-Theorem-via-Definable-Linear-Orders\/10.1215\/00294527-2019-0026.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,1]]},"references-count":9,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2019,11,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0026","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,11,1]]}}}