Canonical forms for definable subsets of algebraically closed and real closed valued fields
From MaRDI portal
Publication:4858820
DOI10.2307/2275760zbMath0854.12003OpenAlexW2053215128MaRDI QIDQ4858820
Publication date: 19 December 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275760
Related Items (22)
Abelian \(C\)-minimal valued groups ⋮ Imaginaries in real closed valued fields ⋮ A criterion for uniform finiteness in the imaginary sorts ⋮ Unexpected imaginaries in valued fields with analytic structure ⋮ CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS ⋮ On the proof of elimination of imaginaries in algebraically closed valued fields ⋮ Definable functions and stratifications in power-bounded \(T\)-convex fields ⋮ Interpretable fields in various valued fields ⋮ Incidence bounds in positive characteristic via valuations and distality ⋮ Generalized Euler characteristic in power-bounded T-convex valued fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ Grothendieck rings of theories of modules ⋮ Forking in VC-minimal theories ⋮ A structure theorem for abelian quasi-ordered groups ⋮ Separably closed valued fields: immediate expansions ⋮ Prototypes for definable subsets of algebraically closed valued fields ⋮ Canonical forests in directed families ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Relative decidability and definability in henselian valued fields ⋮ Radiality of definable sets ⋮ Definable sets in algebraically closed valued fields: elimination of imaginaries ⋮ A note on valuation definable expansions of fields
Cites Work
This page was built for publication: Canonical forms for definable subsets of algebraically closed and real closed valued fields