{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T00:46:12Z","timestamp":1773881172361,"version":"3.50.1"},"reference-count":18,"publisher":"Wiley","issue":"1-2","license":[{"start":{"date-parts":[[2016,2,19]],"date-time":"2016-02-19T00:00:00Z","timestamp":1455840000000},"content-version":"vor","delay-in-days":18,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"name":"Marie Curie Initial Training Network MALOA: From MAthematical LOgic to Applications","award":["PITN-GA-2009-238381"],"award-info":[{"award-number":["PITN-GA-2009-238381"]}]},{"name":"MODIG","award":["ANR-09-BLAN-0047"],"award-info":[{"award-number":["ANR-09-BLAN-0047"]}]},{"name":"MODIG","award":["ANR-09-BLAN-0047"],"award-info":[{"award-number":["ANR-09-BLAN-0047"]}]},{"name":"MOTMELSUM","award":["615722"],"award-info":[{"award-number":["615722"]}]},{"name":"ValCoMo","award":["ANR-13-BS01-0006"],"award-info":[{"award-number":["ANR-13-BS01-0006"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2016,2]]},"abstract":"In , Marker and Steinhorn characterized models of an o\u2010minimal theory such that all types over M<\/jats:italic> realized in N<\/jats:italic> are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. In o\u2010minimal theories, a pair of models for which all 1\u2010types over M<\/jats:italic> realized in N<\/jats:italic> are definable has already the desired property. Although it is true that if M<\/jats:italic> is an algebraically closed valued field such that all 1\u2010types over M<\/jats:italic> are definable then all types over M<\/jats:italic> are definable, we build a counterexample for the relative statement, i.e., we show for any that there is a pair of algebraically closed valued fields such that all n<\/jats:italic>\u2010types over M<\/jats:italic> realized in N<\/jats:italic> are definable but there is an \u2010type over M<\/jats:italic> realized in N<\/jats:italic> which is not definable.<\/jats:p>","DOI":"10.1002\/malq.201400039","type":"journal-article","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T17:09:10Z","timestamp":1455988150000},"page":"35-45","source":"Crossref","is-referenced-by-count":8,"title":["Definable types in algebraically closed valued fields"],"prefix":"10.1002","volume":"62","author":[{"given":"Pablo","family":"Cubides Kovacsics","sequence":"first","affiliation":[{"name":"Laboratoire Paul Painlev\u00e9 (Unit\u00e9 Mixte de Recherche 8524) Universit\u00e9 de Lille et Centre National de Recherche Scientifique 59655 Villeneuve d'Ascq France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7oise","family":"Delon","sequence":"additional","affiliation":[{"name":"\u00c9quipe de Logique Math\u00e9matique Institut de Math\u00e9matiques de Jussieu\u2010Paris Rive Gauche (Unit\u00e9 Mixte de Recherche 7586), Universit\u00e9 Paris Diderot et Centre National de Recherche Scientifique, Unit\u00e9 de Formation et de Recherche de Math\u00e9matiques 75205 Paris 13 France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2016,2,19]]},"reference":[{"issue":"2","key":"e_1_2_6_2_1","first-page":"1","article-title":"Definability of 1\u2010types in weakly o\u2010minimal theories","volume":"16","author":"Baizhanov B. S.","year":"2006","journal-title":"Sib. Adv. Math."},{"key":"e_1_2_6_3_1","first-page":"25","volume-title":"Monographies de L'Enseignement Math\u00e9matique Vol. 30","author":"Baur Walter","year":"1982"},{"key":"e_1_2_6_4_1","volume-title":"Grundlehren der mathematischen Wissenschaften Vol. 261","author":"Bosch S.","year":"1984"},{"key":"e_1_2_6_5_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2015-06210-2"},{"key":"e_1_2_6_6_1","first-page":"167","volume-title":"EMS Series of Congress Reports","author":"Lopez A. Campillo","year":"2014"},{"issue":"2","key":"e_1_2_6_7_1","doi-asserted-by":"crossref","first-page":"421","DOI":"10.2307\/2274514","article-title":"Extensions s\u00e9par\u00e9es et imm\u00e9diates de corps valu\u00e9s","volume":"53","author":"Delon F.","year":"1988","journal-title":"J. Symb. Log."},{"key":"e_1_2_6_8_1","first-page":"193","article-title":"D\u00e9finissabilit\u00e9 avec param\u00e8tres ext\u00e9rieurs dans et","volume":"106","author":"Delon F.","year":"1989","journal-title":"Proc. Amer. Math. Soc."},{"key":"e_1_2_6_9_1","first-page":"59","volume-title":"Studies in Logic and the Foundations of Mathematics Vol. 120","author":"Dries L.","year":"1986"},{"key":"e_1_2_6_10_1","doi-asserted-by":"publisher","DOI":"10.1515\/CRELLE.2006.066"},{"key":"e_1_2_6_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90064-7"},{"key":"e_1_2_6_12_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-42-00922-0"},{"key":"e_1_2_6_13_1","volume-title":"Interscience Tracts in Pure and Applied Mathematics","author":"Lang Serge","year":"1958"},{"key":"e_1_2_6_14_1","unstructured":"A. H.Lewenberg On elementary pairs of o\u2010minimal structures Ph.D. thesis University of Illinois at Urbana\u2010Champaign 1995."},{"key":"e_1_2_6_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(95)00037-2"},{"key":"e_1_2_6_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275260"},{"key":"e_1_2_6_17_1","volume-title":"Oxford Logic Guides Vol. 8","author":"Pillay A.","year":"1983"},{"key":"e_1_2_6_18_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275712"},{"key":"e_1_2_6_19_1","volume-title":"Th\u00e9orie des Valuations","author":"Ribenboim P.","year":"1964"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201400039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201400039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T20:24:50Z","timestamp":1696364690000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201400039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2]]},"references-count":18,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["10.1002\/malq.201400039"],"URL":"https:\/\/doi.org\/10.1002\/malq.201400039","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2]]}}}