Types in valued fields with coefficient maps

zbMath0927.03067MaRDI QIDQ1300140

Luc Bélair

Publication date: 23 November 1999

Published in: Illinois Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

quantifier eliminationvaluation ringindependence propertyresidue fieldcoefficient maptypes in valued fieldsunramified henselian valued fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (19)

Distality in valued fields and related structures ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ Burden in Henselian valued fields ⋮ Characterizing NIP henselian fields ⋮ Decidability via the tilting correspondence ⋮ Topological differential fields ⋮ The model theory of Cohen rings ⋮ Eliminating field quantifiers in strongly dependent henselian fields ⋮ Model theory of finite and pseudofinite groups ⋮ Definability of types and VC density in differential topological fields ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ Definable valuations induced by multiplicative subgroups and NIP fields ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ NIP Henselian valued fields ⋮ HENSELIAN VALUED FIELDS AND inp-MINIMALITY ⋮ Strongly dependent ordered abelian groups and Henselian fields ⋮ Groups and fields with $\operatorname {NTP}_{2}$ ⋮ Burden of Henselian valued fields in the Denef-Pas language ⋮ Diophantine problems over tamely ramified fields

This page was built for publication: Types in valued fields with coefficient maps