Ind- and Pro- definable sets
arXiv:math/0608163 · doi:10.1016/j.apal.2007.04.003
Abstract
We describe the ind- and pro- categories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.
8 pages; Part of author's phd thesis
Cited by in corpus (6)
- Non-archimedean tame topology and stably dominated types
- Pseudo-exponential maps, variants, and quasiminimality
- Pro-definability of spaces of definable types
- Around definable types in -adically closed fields
- Cohomology of algebraic varieties over non-archimedean fields
- Groups definable in Presburger arithmetic