Semilinear cell decomposition

DOI10.2307/2275261zbMath0810.11075OpenAlexW2103077197MaRDI QIDQ4292604

Nianzheng Liu

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

zbMATH Keywords

quantifier eliminationdefinable sets\(p\)-adic semilinear setssemilinear cellsemilinear cell decomposition

Mathematics Subject Classification ID

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

Cell decomposition for semibounded \(p\)-adic sets

Cites Work

• Between groups and rings
• On the structure of semialgebraic sets over p-adic fields