Digitale Medien
Springer
Algebra universalis
27 (1990), S. 230-242
ISSN:
1420-8911
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Mathematik
Notizen:
Abstract We present an analysis on the existentially closed (e.c.) structures for some theoryT in a rather complete categorical setting. The central notion of the skeleton ofT is defined. We formulate conditions on the skeleton which limit the number of e.c. structures forT, thereby ensuring the existence of a model-companion ofT. A new (purely categorical) proof of the uniqueness of the atomic structure is given for theories having the joint-embedding-property (JEP). As an application it is shown that a finitely generated universal Horn class possesses a model-companion — a resuilt that was proved earlier by a different method.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01182455
Permalink
|
Standort |
Signatur |
Erwartet |
Verfügbarkeit |