Article ID Journal Published Year Pages File Type
4662086 Annals of Pure and Applied Logic 2010 18 Pages PDF
Abstract

We discover geometric properties of certain definable sets over non-Archimedean valued fields with analytic structures. Results include a parameterized smooth stratification theorem and the existence of a bound on the piece number of fibers for these sets. In addition, we develop a dimension theory for these sets and also for the formulas which define them.

Related Topics
Physical Sciences and Engineering Mathematics Logic