Unexpected imaginaries in valued fields with analytic structure

DOI10.2178/JSL.7802100MaRDI QIDQ5300076zbMATH OpenOpenAlexWikidataFDO

Authors Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

Publication date 24 June 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1112.4990, https://projecteuclid.org/euclid.jsl/1368627063, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.759.7675

zbMATH Keywords

elimination of imaginariesmodel theoryvalued fieldsvalued fields with analytic structure

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Abstract: We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.

Recommendations

• scientific article; zbMATH DE number 2152684
• Imaginaries and definable types in algebraically closed valued fields
• Imaginaries in real closed valued fields
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Imaginaries in separably closed valued fields

Cites work

• T-convexity and tame extensions II
• p-adic and real subanalytic sets
• A version of o-minimality for the p-adics
• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Cell decompositions of C-minimal structures
• Finitely generated groups, p-adic analytic groups and Poincaré series
• scientific article; zbMATH DE number 4016876 (Why is no real title available?)
• Imaginaries in real closed valued fields
• On variants of o-minimality
• One-Dimensional p -Adic Subanalytic Sets
• Real closed rings. II. Model theory
• Rigid Subanalytic Sets

Cited in

(11)

• Imaginaries and invariant types in existentially closed valued differential fields
• A criterion for uniform finiteness in the imaginary sorts
• Residue field domination in real closed valued fields
• An analytic Zariski structure over a field
• Interpretable fields in various valued fields
• GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY
• On finite imaginaries
• Imaginaries in separably closed valued fields
• Imaginaries and definable types in algebraically closed valued fields
• Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
• scientific article; zbMATH DE number 2220969 (Why is no real title available?)

This page was built for publication: Unexpected imaginaries in valued fields with analytic structure

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