Definable sets in algebraically closed valued fields: elimination of imaginaries
From MaRDI portal
(Redirected from Publication:3413792)
Recommendations
- On the proof of elimination of imaginaries in algebraically closed valued fields
- Imaginaries and definable types in algebraically closed valued fields
- scientific article; zbMATH DE number 2220969
- Definability in reducts of algebraically closed fields
- Definable types in algebraically closed valued fields
- Definable Operations on Sets and Elimination of Imaginaries
- Definability and fast quantifier elimination in algebraically closed fields
- scientific article; zbMATH DE number 3946096
- scientific article; zbMATH DE number 2152684
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
Cites work
- Canonical forms for definable subsets of algebraically closed and real closed valued fields
- Cell decompositions of C-minimal structures
- Elimination of quantifiers in algebraic structures
- Model theory of difference fields
- On variants of o-minimality
- Prototypes for definable subsets of algebraically closed valued fields
- Strongly determined types
Cited in
(58)- Types in valued fields with coefficient maps
- On non-abelian C-minimal groups
- On stably pointed varieties and generically stable groups in ACVF
- Imaginaries and invariant types in existentially closed valued differential fields
- On the elimination of imaginaries from certain valued fields
- Topological fields with a generic derivation
- A criterion for uniform finiteness in the imaginary sorts
- Additive reducts of algebraically closed valued fields
- Valued fields, metastable groups
- Residue field domination in real closed valued fields
- Imaginaries in bounded pseudo real closed fields
- Imaginaries in real closed valued fields
- Polynomial approximation of Berkovich spaces and definable types
- Reified valuations and adic spectra
- On the proof of elimination of imaginaries in algebraically closed valued fields
- A short note on groups in separably closed valued fields
- Interpretable fields in various valued fields
- Definable types in algebraically closed valued fields
- About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces
- Imaginaries in Boolean algebras
- GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY
- Trace formulas for motivic volumes
- Strongly minimal reducts of valued fields
- Definability in reducts of algebraically closed fields
- Definable Operations on Sets and Elimination of Imaginaries
- A note on valuation definable expansions of fields
- Prototypes for definable subsets of algebraically closed valued fields
- Weak forms of elimination of imaginaries
- scientific article; zbMATH DE number 2152684 (Why is no real title available?)
- Canonical forms for definable subsets of algebraically closed and real closed valued fields
- Imaginaries and definable types in algebraically closed valued fields
- Pro-definability of spaces of definable types
- Cohomology of algebraic varieties over non-Archimedean fields
- Imaginaries, invariant types and pseudo \(p\)-adically closed fields
- FORKING, IMAGINARIES, AND OTHER FEATURES OF
- Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
- Lectures on the model theory of valued fields
- Unexpected imaginaries in valued fields with analytic structure
- Canonical forests in directed families
- On NIP and invariant measures
- scientific article; zbMATH DE number 2217167 (Why is no real title available?)
- scientific article; zbMATH DE number 2220969 (Why is no real title available?)
- Definable and invariant types in enrichments of NIP theories
- Isometry types of profinite groups.
- Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
- On groups interpretable in various valued fields
- Tropical functions on a skeleton
- Residue field domination in some Henselian valued fields
- Specialisations and algebraically closed fields
- Models of abelian varieties over valued fields, using model theory
- Un principe d'Ax-Kochen-Ershov imaginaire
- Semisimple groups interpretable in various valued fields
- Beautiful pairs
- Residue field domination
- Imaginaries in equicharacteristic zero henselian fields
- Model theory and arithmetic. Abstracts from the workshop held January 18--23, 2026
- Imaginaries in pairs of algebraically closed fields
This page was built for publication: Definable sets in algebraically closed valued fields: elimination of imaginaries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3413792)
