Cell decomposition for semiaffine structures on padic fields

DOI10.4115/JLA.2012.4.14zbMath1303.03068arXiv1111.3379OpenAlexW2040609822MaRDI QIDQ3145983

Eva Leenknegt

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.3379

zbMATH Keywords

quantifier elimination\(p\)-adic numbersdefinabilitysemi-linear setscell decomposition\(P\)-minimalityadditive structuresmulti-sorted language

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (3)

Cell decomposition for semibounded \(p\)-adic sets ⋮ Reducts of \(p\)-adically closed fields ⋮ Cell decomposition and definable functions for weakp-adic structures

This page was built for publication: Cell decomposition for semiaffine structures on padic fields