Semilinear cell decomposition
From MaRDI portal
Publication:4292604
DOI10.2307/2275261zbMath0810.11075OpenAlexW2103077197MaRDI QIDQ4292604
Publication date: 13 June 1994
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275261
quantifier eliminationdefinable sets\(p\)-adic semilinear setssemilinear cellsemilinear cell decomposition
Model-theoretic algebra (03C60) Zeta functions and (L)-functions (11S40) Model theory (number-theoretic aspects) (11U09) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work