{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:39:16Z","timestamp":1775464756717,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,11,18]],"date-time":"2016-11-18T00:00:00Z","timestamp":1479427200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s00153-016-0517-4","type":"journal-article","created":{"date-parts":[[2016,11,18]],"date-time":"2016-11-18T09:06:52Z","timestamp":1479460012000},"page":"119-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Definable types in the theory of closed ordered differential fields"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8049-210X","authenticated-orcid":false,"given":"Quentin","family":"Brouette","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,18]]},"reference":[{"key":"517_CR1","unstructured":"Brouette, Q.: Differential algebra, ordered fields and model theory. Ph.D. Thesis, Mons (2015)"},{"issue":"1","key":"517_CR2","first-page":"193","volume":"106","author":"F Delon","year":"1989","unstructured":"Delon, F.: D\u00e9finissabilit\u00e9 avec param\u00e8tres ext\u00e9rieurs dans $$\\mathbb{Q}_p$$ Q p et $$\\mathbb{R}$$ R . Proc. Am. Math. Soc. 106(1), 193\u2013198 (1989)","journal-title":"Proc. Am. Math. Soc."},{"key":"517_CR3","doi-asserted-by":"crossref","unstructured":"van den Dries, L.: Tarski\u2019s problem and Pfaffian functions. In: Logic Colloquium \u201984 (Manchester, 1984), Studies in Logic and the Foundations of Mathematics, vol. 120, pp. 59\u201390. North-Holland, Amsterdam (1986)","DOI":"10.1016\/S0049-237X(08)70457-9"},{"key":"517_CR4","doi-asserted-by":"crossref","unstructured":"Marker, D.: Model theory of differential fields. In: Marker, D., Messmer, M., Pillay, A. (eds.) Model Theory of Fields, Lecture Notes in Logic, ASL, 2nd edn. (2006)","DOI":"10.1201\/9781439864418"},{"issue":"1","key":"517_CR5","doi-asserted-by":"crossref","first-page":"185","DOI":"10.2307\/2275260","volume":"59","author":"D Marker","year":"1994","unstructured":"Marker, D., Steinhorn, C.: Definable types in O-minimal theories. J. Symb. Logic 59(1), 185\u2013198 (1994)","journal-title":"J. Symb. Logic"},{"issue":"4","key":"517_CR6","doi-asserted-by":"crossref","first-page":"1400","DOI":"10.2307\/2275712","volume":"59","author":"A Pillay","year":"1994","unstructured":"Pillay, A.: Definability of types, and pairs of O-minimal structures. J. Symb. Logic 59(4), 1400\u20131409 (1994)","journal-title":"J. Symb. Logic"},{"issue":"17\u201318","key":"517_CR7","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1016\/j.crma.2011.08.003","volume":"349","author":"F Point","year":"2011","unstructured":"Point, F.: Ensembles d\u00e9finissables dans les corps ordonn\u00e9s diff\u00e9rentiellement clos. C. R. Math. Acad. Sci. Paris 349(17\u201318), 929\u2013933 (2011)","journal-title":"C. R. Math. Acad. Sci. Paris"},{"issue":"1","key":"517_CR8","doi-asserted-by":"crossref","first-page":"82","DOI":"10.2307\/2271951","volume":"43","author":"M Singer","year":"1978","unstructured":"Singer, M.: The model theory of ordered differential fields. J. Symb. Logic 43(1), 82\u201391 (1978)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0517-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0517-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0517-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T15:13:00Z","timestamp":1568560380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0517-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,18]]},"references-count":8,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["517"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0517-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,18]]}}}