Ind- and Pro- definable sets
Published in Ann. Pure Appl. Logic, 2007
Recommended citation: Kamensky, M. (2007). Ind- and Pro- definable sets. Ann. Pure Appl. Logic, 147(3), 180–186. https://doi.org/10.1016/j.apal.2007.04.003
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.