Imaginaries in separably closed valued fields

Martin Hils; Moshe Kamensky; Silvain Rideau

doi:10.1112/plms.12116

Imaginaries in separably closed valued fields

Martin Hils, Moshe Kamensky, Silvain Rideau

Department of Mathematics

Ben-Gurion University of the Negev

Research output: Contribution to journal › Article › peer-review

Abstract

We show that separably closed valued fields of finite imperfection degree (either with λ-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable.

Original language	American English
Pages (from-to)	1457-1488
Number of pages	32
Journal	Proceedings of the London Mathematical Society
Volume	116
Issue number	6
DOIs	https://doi.org/10.1112/plms.12116
State	Published - 1 Jun 2018

All Science Journal Classification (ASJC) codes

General Mathematics

Access to Document

10.1112/plms.12116

Cite this

@article{66e86d2977874de180c7223aed53f75d,

title = "Imaginaries in separably closed valued fields",

abstract = "We show that separably closed valued fields of finite imperfection degree (either with λ-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable.",

author = "Martin Hils and Moshe Kamensky and Silvain Rideau",

note = "Publisher Copyright: {\textcopyright} 2018 London Mathematical Society",

year = "2018",

month = jun,

day = "1",

doi = "10.1112/plms.12116",

language = "American English",

volume = "116",

pages = "1457--1488",

journal = "Proceedings of the London Mathematical Society",

issn = "0024-6115",

publisher = "John Wiley and Sons Ltd",

number = "6",

}

TY - JOUR

T1 - Imaginaries in separably closed valued fields

AU - Hils, Martin

AU - Kamensky, Moshe

AU - Rideau, Silvain

PY - 2018/6/1

Y1 - 2018/6/1

N2 - We show that separably closed valued fields of finite imperfection degree (either with λ-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable.

AB - We show that separably closed valued fields of finite imperfection degree (either with λ-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable.

UR - http://www.scopus.com/inward/record.url?scp=85048328681&partnerID=8YFLogxK

U2 - 10.1112/plms.12116

DO - 10.1112/plms.12116

M3 - Article

SN - 0024-6115

VL - 116

SP - 1457

EP - 1488

JO - Proceedings of the London Mathematical Society

JF - Proceedings of the London Mathematical Society

IS - 6

ER -

Imaginaries in separably closed valued fields

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this