On the elimination of imaginaries from certain valued fields

DOI10.1016/0168-0072(93)90222-YzbMath0795.03049MaRDI QIDQ1802185

Philip Scowcroft, Angus J. Macintyre

Publication date: 1 September 1994

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

zbMATH Keywords

elimination of imaginariesfields of formal power series\(m\)-ary definable functiondefinable \(m\)-ary equivalence relationexpansions of the field of \(p\)-adic numbers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Consistency and independence results (03E35) Model theory of fields (12L12) Valued fields (12J10)

Related Items (2)

More on imaginaries in p-adic fields ⋮ Prototypes for definable subsets of algebraically closed valued fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The rationality of the Poincaré series associated to the p-adic points on a variety
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Diophantine problems over local fields. III: Decidable fields
• On the structure of semialgebraic sets over p-adic fields
• Une théorie de Galois imaginaire
• Algebraic theories with definable Skolem functions
• A note on definable Skolem functions
• More on definable sets of p-adic numbers
• On definable subsets of p-adic fields
• Some applications of the notions of forcing and generic sets
• Undecidable Rings

This page was built for publication: On the elimination of imaginaries from certain valued fields