On the elimination of imaginaries from certain valued fields

DOI10.1016/0168-0072(93)90222-YMaRDI QIDQ1802185zbMATH OpenFDO

Authors Philip Scowcroft, Angus 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) Valued fields (12J10) Model theory of fields (12L12)

Recommendations

• scientific article; zbMATH DE number 2152684
• On the proof of elimination of imaginaries in algebraically closed valued fields
• Imaginaries in separably closed valued fields
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• scientific article; zbMATH DE number 2217167
• Imaginaries in real closed valued fields
• scientific article; zbMATH DE number 3935016
• Weak forms of elimination of imaginaries
• Imaginaries and definable types in algebraically closed valued fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$

Cites work

• scientific article; zbMATH DE number 3422667 (Why is no real title available?)
• scientific article; zbMATH DE number 3935016 (Why is no real title available?)
• scientific article; zbMATH DE number 3695409 (Why is no real title available?)
• scientific article; zbMATH DE number 3499907 (Why is no real title available?)
• scientific article; zbMATH DE number 3620034 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A note on definable Skolem functions
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Algebraic theories with definable Skolem functions
• Descriptive set theory
• Diophantine problems over local fields. III: Decidable fields
• More on definable sets of p-adic numbers
• On definable subsets of p-adic fields
• On the structure of semialgebraic sets over p-adic fields
• Some applications of the notions of forcing and generic sets
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Undecidable Rings
• Une théorie de Galois imaginaire

Cited in

(9)

• Imaginaries in real closed valued fields
• Definable Operations on Sets and Elimination of Imaginaries
• scientific article; zbMATH DE number 2152684 (Why is no real title available?)
• scientific article; zbMATH DE number 2217167 (Why is no real title available?)
• More on imaginaries in p-adic fields
• Imaginaries in bounded pseudo real closed fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• Prototypes for definable subsets of algebraically closed valued fields
• Imaginaries, invariant types and pseudo \(p\)-adically closed fields

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

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