On the elimination of imaginaries from certain valued fields
DOI10.1016/0168-0072(93)90222-YzbMATH Open0795.03049MaRDI QIDQ1802185FDOQ1802185
Authors: Philip Scowcroft, Angus Macintyre 
Publication date: 1 September 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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 ))$
elimination of imaginariesfields of formal power series\(m\)-ary definable functiondefinable \(m\)-ary equivalence relationexpansions of the field of \(p\)-adic numbers
Model-theoretic algebra (03C60) Consistency and independence results (03E35) Valued fields (12J10) Model theory of fields (12L12)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- On the structure of semialgebraic sets over p-adic fields
- Algebraic theories with definable Skolem functions
- On definable subsets of p-adic fields
- Descriptive set theory
- Diophantine problems over local fields. III: Decidable fields
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Une théorie de Galois imaginaire
- Undecidable Rings
- Title not available (Why is that?)
- Title not available (Why is that?)
- A note on definable Skolem functions
- More on definable sets of p-adic numbers
Cited In (9)
- Imaginaries in real closed valued fields
- Definable Operations on Sets and Elimination of Imaginaries
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
