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