Ind- and pro-definable sets

DOI10.1016/J.APAL.2007.04.003MaRDI QIDQ2373696zbMATH OpenOpenAlexFDO

Authors Moshe Kamensky

Publication date 16 July 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

Categorical limitsFirst-order compactnessInd-definable setsPro-definable sets

Mathematics Subject Classification ID

Other classical first-order model theory (03C68) Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

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.

Review text

``From the author's introduction: Given a direct limit \(Y\) of some system \(Y_i\) in a given category, the morphisms from \(Y\) to another object \(X\) are described, by definition, as a certain collection of morphisms from each \(Y_i\) to \(X\). In contrast, there is, in general, no simple description of morphisms in the other direction, from \(X\) to \(Y\). However, if the category in question is, for example, a category of topological spaces, and \(X\) is compact, then any morphism from \(X\) to \(Y\) will factor via some \(Y_i\). The category Ind\(({\mathcal C})\) of ind-objects of a category \(\mathcal C\) is a category containing the original category \(\mathcal C\), in which any filtering system has a limit, and the objects of the original category are ``compact (or, more formally, finitely presented) in the above sense. This construction, which appears in [\textit{A. Grothendieck} et al., Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos. Lect. Notes Math. 269. Berlin-Heidelberg-New York: Springer-Verlag (1972; Zbl 0234.00007)], along with the dual construction of pro-objects, can be applied to any category. In the context of first-order logic, and definable sets, there is a natural notion of compactness, and given a system of definable sets, one may compute limits of their points in a given model. The purpose of this note is to describe how the categorical notions of ind- and pro-objects apply to definable sets, and in particular to describe the categories of ind- and pro-definable sets in terms of points in a model.

Recommendations

• LOCALLY COMPACT OBJECTS IN EXACT CATEGORIES
• Definable categories
• scientific article; zbMATH DE number 1101531
• The category of directed systems in a category
• scientific article; zbMATH DE number 3916526

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3382339 (Why is no real title available?)
• Unidimensional theories are superstable

Cited in

(11)

• Pseudo-exponential maps, variants, and quasiminimality
• Definable elements of definable Borel sets
• Pseudo definably connected definable sets
• scientific article; zbMATH DE number 4061916 (Why is no real title available?)
• ∑ n Definable Sets without ∑ n Induction
• Pro-definability of spaces of definable types
• Cohomology of algebraic varieties over non-Archimedean fields
• Set theory with a proper class of indiscernibles
• Around definable types in p-adically closed fields
• Groups definable in Presburger arithmetic
• Beautiful pairs

This page was built for publication: Ind- and pro-definable sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373696)