Definable Operations on Sets and Elimination of Imaginaries

DOI10.2307/2159546MaRDI QIDQ4039320zbMATH OpenOpenAlexFDO

Authors Jan E. Holly

Publication date 8 August 1993

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

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)

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

Cites work

• scientific article; zbMATH DE number 3348095 (Why is no real title available?)
• Algebraic theories with definable Skolem functions
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Some remarks on definable equivalence relations in O-minimal structures
• Une théorie de Galois imaginaire

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
• scientific article; zbMATH DE number 2217167 (Why is no real title available?)
• 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)