Imaginaries in separably closed valued fields

DOI10.1112/PLMS.12116MaRDI QIDQ4571872zbMATH OpenOpenAlexFDO

Authors Martin Hils, Moshe Kamensky, Silvain Rideau

Publication date 3 July 2018

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.02142

zbMATH Keywords

elimination of imaginariesgeometric sortsseparably closed valued fieldsstable domination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Applications of model theory (03C98) General valuation theory for fields (12J20) Model theory of fields (12L12)

Abstract: We show that separably closed valued fields of finite imperfection degree (either with lambda-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.

Recommendations

• Prototypes for definable subsets of algebraically closed valued fields
• Imaginaries and invariant types in existentially closed valued differential fields
• Imaginaries, invariant types and pseudo \(p\)-adically closed fields
• scientific article; zbMATH DE number 6315710
• Imaginaries in real closed valued fields
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• Unexpected imaginaries in valued fields with analytic structure
• scientific article; zbMATH DE number 2152684
• Imaginaries and definable types in algebraically closed valued fields
• Definable Operations on Sets and Elimination of Imaginaries

Cited in

(22)

• Imaginaries and invariant types in existentially closed valued differential fields
• On the elimination of imaginaries from certain valued fields
• The theory of modules of separably closed fields. II.
• Valued fields, metastable groups
• Imaginaries in real closed valued fields
• On the proof of elimination of imaginaries in algebraically closed valued fields
• A short note on groups in separably closed valued fields
• On finite imaginaries
• Idéaux et types sur les corps séparablement clos
• Imaginaries and definable types in algebraically closed valued fields
• Definable V-topologies, Henselianity and NIP
• Strong density of definable types and closed ordered differential fields
• Unexpected imaginaries in valued fields with analytic structure
• Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini
• Burden in Henselian valued fields
• Some definable types that cannot be amalgamated
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• On algebraically closed fields with a distinguished subfield
• Un principe d'Ax-Kochen-Ershov imaginaire
• Contracting endomorphisms of valued fields (with an appendix by Itay Kaplan)
• Beautiful pairs
• Imaginaries in equicharacteristic zero henselian fields

This page was built for publication: Imaginaries in separably closed valued fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4571872)