{"id":"https://openalex.org/W2293427636","doi":"https://doi.org/10.1002/malq.201400039","title":"Definable types in algebraically closed valued fields","display_name":"Definable types in algebraically closed valued fields","publication_year":2016,"publication_date":"2016-02-01","ids":{"openalex":"https://openalex.org/W2293427636","doi":"https://doi.org/10.1002/malq.201400039","mag":"2293427636"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201400039","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201400039","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002754955","display_name":"Pablo Cubides Kovacsics","orcid":"https://orcid.org/0000-0002-9689-2132"},"institutions":[{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]},{"id":"https://openalex.org/I4210145948","display_name":"Laboratoire Paul Painlev\u00e9","ror":"https://ror.org/043n4fm24","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4210141950","https://openalex.org/I4210145948"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Pablo Cubides Kovacsics","raw_affiliation_strings":["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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"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","institution_ids":["https://openalex.org/I4210145948","https://openalex.org/I2279609970"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109806694","display_name":"Fran\u00e7oise Delon","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Fran\u00e7oise Delon","raw_affiliation_strings":["\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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\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","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I4210091279"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002754955","https://openalex.org/A5109806694"],"corresponding_institution_ids":["https://openalex.org/I204730241","https://openalex.org/I2279609970","https://openalex.org/I3017942884","https://openalex.org/I4210091279","https://openalex.org/I4210145948"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.5979,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.80904322,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"62","issue":"1-2","first_page":"35","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9286999702453613,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9036999940872192,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algebraically-closed-field","display_name":"Algebraically closed field","score":0.9788527488708496},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.821976900100708},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7535677552223206},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.7138301730155945},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5946110486984253},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.5298521518707275},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5176222920417786},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4475744366645813},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40573590993881226}],"concepts":[{"id":"https://openalex.org/C203701370","wikidata":"https://www.wikidata.org/wiki/Q1047547","display_name":"Algebraically closed field","level":2,"score":0.9788527488708496},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.821976900100708},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7535677552223206},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.7138301730155945},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5946110486984253},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.5298521518707275},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5176222920417786},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4475744366645813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40573590993881226},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.201400039","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201400039","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02346241v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02346241","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Logic Quarterly, 2016, 62 (1-2), pp.35-45. ⟨10.1002/malq.201400039⟩","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1996336783","https://openalex.org/W2009016808","https://openalex.org/W2039085877","https://openalex.org/W2047241331","https://openalex.org/W2051492734","https://openalex.org/W2060782153","https://openalex.org/W2062525692","https://openalex.org/W2084461891","https://openalex.org/W2161929655","https://openalex.org/W2573268283","https://openalex.org/W2574666458","https://openalex.org/W2624627269","https://openalex.org/W4250566625"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2775700832","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W2587222766","https://openalex.org/W4389574038","https://openalex.org/W3135706663","https://openalex.org/W105332898"],"abstract_inverted_index":{"In":[0,22,37],",":[1],"Marker":[2],"and":[3],"Steinhorn":[4],"characterized":[5],"models":[6,43],"of":[7,28,42,106],"an":[8,68,126],"o\u2010minimal":[9,38],"theory":[10],"such":[11,73,111],"that":[12,64,74,101,112],"all":[13,46,75,82,113],"types":[14,83],"over":[15,48,77,84,116,128],"M":[16,49,66,78,85,117,129],"realized":[17,50,118,130],"in":[18,51,119,131],"N":[19,52,120,132],"are":[20,53,79,86,121],"definable.":[21,136],"this":[23],"article":[24],"we":[25,88,97],"characterize":[26],"pairs":[27],"algebraically":[29,69,107],"closed":[30,70,108],"valued":[31,71,109],"fields":[32,110],"satisfying":[33],"the":[34,57,93],"same":[35],"property.":[36,59],"theories,":[39],"a":[40,90,104],"pair":[41,105],"for":[44,92,99],"which":[45,133],"1\u2010types":[47,76],"definable":[54,80,122],"has":[55],"already":[56],"desired":[58],"Although":[60],"it":[61],"is":[62,67,103,125,134],"true":[63],"if":[65],"field":[72],"then":[81],"definable,":[87],"build":[89],"counterexample":[91],"relative":[94],"statement,":[95],"i.e.,":[96],"show":[98],"any":[100],"there":[102,124],"n":[114],"\u2010types":[115],"but":[123],"\u2010type":[127],"not":[135]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}