Canonical forms for definable subsets of algebraically closed and real closed valued fields
From MaRDI portal
Publication:4858820
DOI10.2307/2275760zbMath0854.12003MaRDI 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
definable subsets; algebraically closed valued fields; discs; real closed valued fields; convex valuation
Related Items
Prototypes for definable subsets of algebraically closed valued fields, Generalized Euler characteristic in power-bounded T-convex valued fields, Forking in VC-minimal theories, Unexpected imaginaries in valued fields with analytic structure, Canonical forests in directed families, Grothendieck rings of theories of modules, Separably closed valued fields: immediate expansions, Radiality of definable sets, A structure theorem for abelian quasi-ordered groups, A criterion for uniform finiteness in the imaginary sorts, Abelian \(C\)-minimal valued groups, Imaginaries in real closed 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, Vapnik-Chervonenkis density in some theories without the independence property, I, CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS, Relative decidability and definability in henselian valued fields, Definable sets in algebraically closed valued fields: elimination of imaginaries, A note on valuation definable expansions of fields
Cites Work