Ind- and pro- definable sets

Moshe Kamensky

doi:10.1016/j.apal.2007.04.003

Ind- and pro- definable sets

Moshe Kamensky

Research output: Contribution to journal › Article › peer-review

10 Scopus citations

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.

Original language	English
Pages (from-to)	180-186
Number of pages	7
Journal	Annals of Pure and Applied Logic
Volume	147
Issue number	3
DOIs	https://doi.org/10.1016/j.apal.2007.04.003
State	Published - 1 Jul 2007
Externally published	Yes

Keywords

Categorical limits
First order compactness
Ind-definable sets
Pro-definable sets

ASJC Scopus subject areas

Logic

Access to Document

10.1016/j.apal.2007.04.003

Cite this

@article{496835a86d5b4f3e803ecb26cd7fe1c9,

title = "Ind- and pro- definable sets",

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.",

keywords = "Categorical limits, First order compactness, Ind-definable sets, Pro-definable sets",

author = "Moshe Kamensky",

year = "2007",

month = jul,

day = "1",

doi = "10.1016/j.apal.2007.04.003",

language = "English",

volume = "147",

pages = "180--186",

journal = "Annals of Pure and Applied Logic ",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Ind- and pro- definable sets

AU - Kamensky, Moshe

PY - 2007/7/1

Y1 - 2007/7/1

N2 - 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.

AB - 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.

KW - Categorical limits

KW - First order compactness

KW - Ind-definable sets

KW - Pro-definable sets

UR - http://www.scopus.com/inward/record.url?scp=34250652560&partnerID=8YFLogxK

U2 - 10.1016/j.apal.2007.04.003

DO - 10.1016/j.apal.2007.04.003

M3 - Article

AN - SCOPUS:34250652560

SN - 0168-0072

VL - 147

SP - 180

EP - 186

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 3

ER -

Ind- and pro- definable sets

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this