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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,706

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.
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.
Definable sets in generic complex tori.Anand Pillay - 1996 - Annals of Pure and Applied Logic 77 (1):75-80.
Regularity properties of definable sets of reals.Jacques Stern - 1985 - Annals of Pure and Applied Logic 29 (3):289-324.
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.
Dimension of definable sets, algebraic boundedness and Henselian fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.
The Manin–Mumford conjecture and the model theory of difference fields.Ehud Hrushovski - 2001 - Annals of Pure and Applied Logic 112 (1):43-115.
Mouse sets.Mitch Rudominer - 1997 - Annals of Pure and Applied Logic 87 (1):1-100.
Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.

Analytics

Added to PP
2013-12-30

Downloads
38 (#658,353)

6 months
8 (#528,679)

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.
Groups definable in Presburger arithmetic.Juan Pablo Acosta - 2025 - Annals of Pure and Applied Logic 176 (1):103507.

Add more citations

References found in this work

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

Add more references