Ind- and pro- definable sets

Annals of Pure and Applied Logic 147 (3):180-186 (2007)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2007.04.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computational inductive definability.Dexter Kozen - 2004 - Annals of Pure and Applied Logic 126 (1-3):139-148.
On some definable sets over fields with analytic structure.Y. Fırat Çelı̇kler - 2010 - Annals of Pure and Applied Logic 161 (4):599-616.
Definable sets in generic complex tori.Anand Pillay - 1996 - Annals of Pure and Applied Logic 77 (1):75-80.
Neocompact quantifier elimination in structures based on Banach spaces.Stefano Baratella & Siu-Ah Ng - 2001 - Annals of Pure and Applied Logic 111 (1-2):115-143.
Regularity properties of definable sets of reals.Jacques Stern - 1985 - Annals of Pure and Applied Logic 29 (3):289-324.
Dimension of definable sets, algebraic boundedness and Henselian fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.
On compactifications and the topological dynamics of definable groups.Jakub Gismatullin, Davide Penazzi & Anand Pillay - 2014 - Annals of Pure and Applied Logic 165 (2):552-562.
The Manin–Mumford conjecture and the model theory of difference fields.Ehud Hrushovski - 2001 - Annals of Pure and Applied Logic 112 (1):43-115.
Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.
Mouse sets.Mitch Rudominer - 1997 - Annals of Pure and Applied Logic 87 (1):1-100.

Analytics

Added to PP
2013-12-30

Downloads
22 (#166,999)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Around definable types in p-adically closed fields.Pablo Andújar Guerrero & Will Johnson - 2024 - Annals of Pure and Applied Logic 175 (10):103484.

Add more citations

References found in this work

Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
Unidimensional theories are superstable.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.

Add more references