Imaginaries in real closed valued fields

DOI10.1016/j.apal.2005.05.014zbMath1089.03029OpenAlexW2099567112MaRDI QIDQ2368915

Timothy Mellor

Publication date: 28 April 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.014

zbMATH Keywords

quantifier eliminationelimination of imaginariesreal-closed 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 (14)

Imaginaries in real closed valued fields ⋮ Unexpected imaginaries in valued fields with analytic structure ⋮ Model Theory of Analytic Functions: Some Historical Comments ⋮ The domination monoid in o-minimal theories ⋮ Interpretable fields in various valued fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ One-basedness and groups of the form \(G/G ^{00}\) ⋮ Definability of types and VC density in differential topological fields ⋮ Definability in the group of infinitesimals of a compact Lie group ⋮ Relative decidability and definability in henselian valued fields ⋮ Pro-definability of spaces of definable types ⋮ One-basedness and reductions of elliptic curves over real closed fields ⋮ Residue field domination in real closed valued fields ⋮ Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Real closed rings. II. Model theory
• Imaginaries in real closed valued fields
• Maximal fields with valuations. I, II
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Elimination of quantifiers for ordered valuation rings
• T-convexity and tame extensions II
• Weakly o-minimal structures and real closed fields
• Canonical forms for definable subsets of algebraically closed and real closed valued fields

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