Electronic Resource
Springer
Algebra universalis
27 (1990), S. 230-242
ISSN:
1420-8911
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01182455
Permalink
|
Location |
Call Number |
Expected |
Availability |