Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Thickness, and a categoric view of type-space functors

100%

Ben-Yaacov I.

Fundamenta Mathematicae

2003

tom 179

nr 3

199-224

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.

Ograniczanie wyników

1 Fundamenta Mathematicae

1 Ben-Yaacov I.

1 2003

Wyniki wyszukiwania

Thickness, and a categoric view of type-space functors