Definable Operations on Sets and Elimination of Imaginaries

DOI10.2307/2159546zbMATH Open0781.03022OpenAlexW4255688431MaRDI QIDQ4039320FDOQ4039320

Authors: Jan E. Holly 

Publication date: 8 August 1993

Full work available at URL: https://doi.org/10.2307/2159546

Recommendations

• Definable sets in algebraically closed valued fields: elimination of imaginaries
• On the proof of elimination of imaginaries in algebraically closed valued fields
• Imaginaries in pairs of algebraically closed fields
• On the elimination of imaginaries from certain valued fields
• scientific article; zbMATH DE number 2217167

zbMATH Keywords

definabilityalgebraic dimensionelimination of imaginariestheory of algebraically closed fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Algebraic theories with definable Skolem functions
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Une théorie de Galois imaginaire
• Some remarks on definable equivalence relations in O-minimal structures
• Title not available (Why is that?)

Cited In (9)

• Imaginaries in separably closed valued fields
• Zeta functions of equivalence relations over finite fields
• Elimination of imaginaries in expansions of o-minimal structures by generic sets
• Title not available (Why is that?)
• Imaginaries in pairs of algebraically closed fields
• Weak forms of elimination of imaginaries
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• On mutual definability of operations on fields
• On the proof of elimination of imaginaries in algebraically closed valued fields

This page was built for publication: Definable Operations on Sets and Elimination of Imaginaries

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