{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T16:30:33Z","timestamp":1770741033961,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2017,12,26]],"date-time":"2017-12-26T00:00:00Z","timestamp":1514246400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002661","name":"Fonds De La Recherche Scientifique - FNRS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s00153-017-0607-y","type":"journal-article","created":{"date-parts":[[2017,12,26]],"date-time":"2017-12-26T02:21:24Z","timestamp":1514254884000},"page":"809-828","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Definability of types and VC density in differential topological fields"],"prefix":"10.1007","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1414-952X","authenticated-orcid":false,"given":"Fran\u00e7oise","family":"Point","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,26]]},"reference":[{"issue":"3\u20134","key":"607_CR1","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1215\/00294527-2143862","volume":"54","author":"M Aschenbrenner","year":"2013","unstructured":"Aschenbrenner, M., Dolich, A., Haskell, D., Macpherson, D., Starchenko, S.: Vapnik\u2013Chervonenkis density in some theories without the independence property II. Notre Dame J. Form. Logic 54(3\u20134), 311\u2013363 (2013)","journal-title":"Notre Dame J. Form. Logic"},{"issue":"8","key":"607_CR2","doi-asserted-by":"crossref","first-page":"5889","DOI":"10.1090\/tran\/6659","volume":"368","author":"M Aschenbrenner","year":"2016","unstructured":"Aschenbrenner, M., Dolich, A., Haskell, D., Macpherson, D., Starchenko, S.: Vapnik\u2013Chervonenkis density in some theories without the independence property I. Trans. Am. Math. Soc. 368(8), 5889\u20135949 (2016)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"607_CR3","first-page":"109","volume":"14","author":"L B\u00e9lair","year":"1990","unstructured":"B\u00e9lair, L.: Le th\u00e9or\u00e8me de Macintyre, un th\u00e9or\u00e8me de Chevalley p-adique. Ann. Sci. Math. Qu\u00e9bec 14(2), 109\u2013120 (1990)","journal-title":"Ann. Sci. Math. Qu\u00e9bec"},{"issue":"2","key":"607_CR4","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1215\/ijm\/1255985223","volume":"43","author":"L B\u00e9lair","year":"1999","unstructured":"B\u00e9lair, L.: Types dans les corps valu\u00e9s munis d\u2019applications co\u00e9fficients. Ill. J. Math. 43(2), 410\u2013425 (1999)","journal-title":"Ill. J. Math."},{"key":"607_CR5","unstructured":"Brouette, Q., Cousins, G., Pillay, A., Point, F.: Embedded Picard\u2013Vessiot extensions. arXiv:1709.00046 (submitted)"},{"key":"607_CR6","unstructured":"Brouette, Q., Cubides Kovacsics, P., Point, F.: Strong density of definable types and closed ordered differential fields. arXiv:1704.08396 (submitted)"},{"key":"607_CR7","unstructured":"Brouette, Q., Point F.: On differential Galois groups of strongly normal extensions. arXiv:1512.05998 (to appear in Mathematical Logic Quarterly)"},{"key":"607_CR8","unstructured":"Brouette, Q.: Differential algebra, ordered fields and model theory. Ph.D. Thesis UMons (2015)"},{"issue":"1","key":"607_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s00153-016-0517-4","volume":"56","author":"Q Brouette","year":"2017","unstructured":"Brouette, Q.: Definable types in the theory of closed ordered differential fields. Arch. Math. Logic 56(1), 119\u2013129 (2017)","journal-title":"Arch. Math. Logic"},{"issue":"2","key":"607_CR10","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1016\/j.apal.2013.10.002","volume":"165","author":"A Chernikov","year":"2014","unstructured":"Chernikov, A.: Theories without the tree property of the second kind. Ann. Pure Appl. Logic 165(2), 695\u2013723 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"607_CR11","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1090\/S0002-9939-2014-12229-5","volume":"143","author":"A Chernikov","year":"2015","unstructured":"Chernikov, A., Kaplan, I., Simon, P.: Groups and fields with NTP2. Proc. Am. Math. Soc. 143(1), 395\u2013406 (2015)","journal-title":"Proc. Am. Math. Soc."},{"issue":"1\u20132","key":"607_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1002\/malq.201400039","volume":"62","author":"P Cubides Kovacsics","year":"2016","unstructured":"Cubides Kovacsics, P., Delon, F.: Definable types in algebraically closed valued fields. Math. Logic Quart. 62(1\u20132), 35\u201345 (2016)","journal-title":"Math. Logic Quart."},{"key":"607_CR13","doi-asserted-by":"crossref","unstructured":"Duret, J.-L.: Les corps faiblement alg\u00e9briquement clos non s\u00e9parablement clos ont la propri\u00e9t\u00e9 d\u2019ind\u00e9pendence [Nonseparably closed weakly algebraically closed fields have the independence property]. In: Model Theory of Algebra and Arithmetic (Proc. Conf., Karpacz, 1979). Lecture Notes in Mathematics, vol. 834, pp. 136\u2013162. Springer, Berlin (1980)","DOI":"10.1007\/BFb0090164"},{"issue":"2","key":"607_CR14","doi-asserted-by":"crossref","first-page":"499","DOI":"10.2178\/jsl\/1333566634","volume":"77","author":"V Guingona","year":"2012","unstructured":"Guingona, V.: On uniform definability of types over finite sets. J. Symb. Logic 77(2), 499\u2013514 (2012)","journal-title":"J. Symb. Logic"},{"issue":"4","key":"607_CR15","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1016\/j.apal.2009.08.001","volume":"161","author":"N Guzy","year":"2010","unstructured":"Guzy, N., Point, F.: Topological differential fields. Ann. Pure Appl. Logic 161(4), 570\u2013598 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"607_CR16","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.2178\/jsl.7704050","volume":"77","author":"N Guzy","year":"2012","unstructured":"Guzy, N., Point, F.: Topological differential fields and dimension functions. J. Symb. Logic 77(4), 1147\u20131164 (2012)","journal-title":"J. Symb. Logic"},{"key":"607_CR17","doi-asserted-by":"crossref","unstructured":"Hrushovski, E.: Imaginaries and definable types in algebraically closed valued fields. In: Valuation Theory in Interaction, EMS Series of Congress Report, European Mathematical Society, Z\u00fcrich, pp. 279\u2013319 (2014)","DOI":"10.4171\/149-1\/15"},{"issue":"3\u20134","key":"607_CR18","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF02392972","volume":"150","author":"M Jarden","year":"1983","unstructured":"Jarden, M.: On the model companion of the theory of e-fold ordered fields. Acta Math. 150(3\u20134), 243\u2013253 (1983)","journal-title":"Acta Math."},{"key":"607_CR19","unstructured":"Johnson W.: Fun with fields. Ph.D. thesis, University of California, Berkeley (2016)"},{"key":"607_CR20","doi-asserted-by":"crossref","first-page":"239","DOI":"10.2307\/2373279","volume":"91","author":"J Johnson","year":"1969","unstructured":"Johnson, J.: Differential dimension polynomials and a fundamental theorem on differential modules. Am. J. Math. 91, 239\u2013248 (1969)","journal-title":"Am. J. Math."},{"key":"607_CR21","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1215\/S0012-7094-42-00922-0","volume":"9","author":"I Kaplansky","year":"1942","unstructured":"Kaplansky, I.: Maximal fields with valuations. Duke Math. J. 9, 303\u2013321 (1942)","journal-title":"Duke Math. J."},{"key":"607_CR22","doi-asserted-by":"crossref","unstructured":"Marker, D.: Model theory of differential fields. In: Model Theory of Fields (Chapter 2), Lecture Notes in Logic, vol. 5, pp. 38\u2013113. Springer, New York (1996)","DOI":"10.1007\/978-3-662-22174-7_2"},{"issue":"1","key":"607_CR23","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":"1","key":"607_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1112\/plms\/s3-70.1.1","volume":"70","author":"L Mathews","year":"1995","unstructured":"Mathews, L.: Cell decomposition and dimension functions in first-order topological structures. Proc. Lond. Math. Soc. 70(1), 1\u201332 (1995)","journal-title":"Proc. Lond. Math. Soc."},{"issue":"1\u20133","key":"607_CR25","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/j.apal.2005.05.014","volume":"139","author":"T Mellor","year":"2006","unstructured":"Mellor, T.: Imaginaries in real closed valued fields. Ann. Pure Appl. Logic 139(1\u20133), 230\u2013279 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"607_CR26","doi-asserted-by":"crossref","first-page":"341","DOI":"10.36045\/bbms\/1126195339","volume":"12","author":"C Michaux","year":"2005","unstructured":"Michaux, C., Rivi\u00e8re, C.: Quelques remarques concernant la th\u00e9orie des corps ordonn\u00e9s diff\u00e9rentiellement clos. Bull. Belg. Math. Soc. Simon Stevin 12(3), 341\u2013348 (2005)","journal-title":"Bull. Belg. Math. Soc. Simon Stevin"},{"key":"607_CR27","unstructured":"Montenegro, S.: Th\u00e9orie des mod\u00e8les des corps pseudo-r\u00e9els clos et pseudo-p-adiquement clos, Th\u00e8se de doctorat. Universit\u00e9 Paris-Diderot (2015)"},{"issue":"1","key":"607_CR28","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.apal.2016.09.004","volume":"168","author":"S Montenegro","year":"2017","unstructured":"Montenegro, S.: Pseudo real closed fields, pseudo p-adically closed fields and NTP2. Ann. Pure Appl. Logic 168(1), 191\u2013232 (2017)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"607_CR29","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"},{"key":"607_CR30","unstructured":"Point, F.: Definable groups in topological differential fields. ArXiv:1707.07881"},{"key":"607_CR31","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 (On differentially closed ordered fields). C. R. Acad. Sci. Paris Ser. I 349, 929\u2013933 (2011)","journal-title":"C. R. Acad. Sci. Paris Ser. I"},{"issue":"1","key":"607_CR32","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2586542","volume":"65","author":"WY Pong","year":"2000","unstructured":"Pong, W.Y.: Some applications of ordinal dimensions to the theory of differentially closed fields. J. Symb. Logic 65(1), 347\u2013356 (2000)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"607_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2118581","volume":"144","author":"F Pop","year":"1996","unstructured":"Pop, F.: Embedding problems over large fields. Ann. Math. 144(1), 1\u201334 (1996)","journal-title":"Ann. Math."},{"key":"607_CR34","doi-asserted-by":"crossref","unstructured":"Prestel, A.: Pseudo real closed fields. In: Set Theory and Model Theory (1979), Lecture Notes in Mathematics, vol. 872, pp. 127\u2013156. Springer, Berlin (1981)","DOI":"10.1007\/BFb0098621"},{"issue":"1","key":"607_CR35","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"},{"key":"607_CR36","unstructured":"Solanki, N.: Uniform companions for expansions of large differential fields. Ph.D. thesis, University of Manchester (2014)"},{"issue":"10","key":"607_CR37","doi-asserted-by":"crossref","first-page":"3933","DOI":"10.1090\/S0002-9947-05-03981-4","volume":"357","author":"M Tressl","year":"2005","unstructured":"Tressl, M.: The uniform companion for large differential fields of characteristic $$0$$ 0 . Trans. Am. Math. Soc. 357(10), 3933\u20133951 (2005)","journal-title":"Trans. Am. Math. Soc."},{"key":"607_CR38","unstructured":"van den Dries, L.: Model theory of fields, Thesis (Utrecht) (1978)"},{"issue":"2","key":"607_CR39","doi-asserted-by":"crossref","first-page":"625","DOI":"10.2307\/2274194","volume":"49","author":"L Dries van den","year":"1984","unstructured":"van den Dries, L.: Algebraic theories with Definable Skolem functions. J. Symb. Logic 49(2), 625\u2013629 (1984)","journal-title":"J. Symb. Logic"},{"key":"607_CR40","doi-asserted-by":"crossref","unstructured":"Weispfenning, V.: Quantifier eliminations and decision procedures for valued fields. In: Muller, G.H, Richter, M.M. (eds.) Models and Sets, Proceedings, Logic Colloquium Aachen, Part I, Lecture Notes in Mathematics, vol. 1103, pp. 414\u2013472. Springer, Berlin (1984)","DOI":"10.1007\/BFb0099397"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0607-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0607-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0607-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T22:17:41Z","timestamp":1603577861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0607-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,26]]},"references-count":40,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["607"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0607-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,26]]}}}