Ind- and pro-definable sets

DOI10.1016/j.apal.2007.04.003zbMath1132.03035arXivmath/0608163OpenAlexW2080465022MaRDI QIDQ2373696

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

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

Related Items

Cohomology of algebraic varieties over non-archimedean fields ⋮ Pseudo-exponential maps, variants, and quasiminimality ⋮ Pro-definability of spaces of definable types

Cites Work

• Unnamed Item
• Unnamed Item
• Unidimensional theories are superstable