Thickness, and a categoric view of type-space functors

Itay Ben-Yaacov. "Thickness, and a categoric view of type-space functors." Fundamenta Mathematicae 179.3 (2003): 199-224. <http://eudml.org/doc/282920>.

@article{ItayBen2003,
abstract = {We define the class of thick cats (compact abstract theories, which contains in particular semi-Hausdorff, Hausdorff and first order cats), and prove that in this class simplicity behaves as in first order theories. We consider well-known first order notions, such as interpretability or stable dividing/reduct, and propose analogous notions that can be naturally expressed in terms of maps between type-space functors. We prove several desirable properties of the new notions and show the connection between them and their classical counterparts. We conclude with several scattered results concerning cats and simplicity.},
author = {Itay Ben-Yaacov},
journal = {Fundamenta Mathematicae},
keywords = {cats; simplicity; thickness},
language = {eng},
number = {3},
pages = {199-224},
title = {Thickness, and a categoric view of type-space functors},
url = {http://eudml.org/doc/282920},
volume = {179},
year = {2003},
}

TY - JOUR
AU - Itay Ben-Yaacov
TI - Thickness, and a categoric view of type-space functors
JO - Fundamenta Mathematicae
PY - 2003
VL - 179
IS - 3
SP - 199
EP - 224
AB - We define the class of thick cats (compact abstract theories, which contains in particular semi-Hausdorff, Hausdorff and first order cats), and prove that in this class simplicity behaves as in first order theories. We consider well-known first order notions, such as interpretability or stable dividing/reduct, and propose analogous notions that can be naturally expressed in terms of maps between type-space functors. We prove several desirable properties of the new notions and show the connection between them and their classical counterparts. We conclude with several scattered results concerning cats and simplicity.
LA - eng
KW - cats; simplicity; thickness
UR - http://eudml.org/doc/282920
ER -