Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-25T02:40:23.175Z Has data issue: false hasContentIssue false
  • English
  • Français

Finitely generic models of TUH, for certain model companionable theories T

Published online by Cambridge University Press:  12 March 2014

Francoise Point
Francoise Point*
Affiliation:
Faculté des Sciences, Université de l'état de Mons7000 Mons, Belgium
Get access Rights & Permissions [Opens in a new window]

Extract

The starting point of this work was Saracino and Wood's description of the finitely generic abelian ordered groups [S-W].

We generalize the result of Saracino and Wood to a class ∑UH of subdirect products of substructures of elements of a class ∑, which has some relationships with the discriminator variety V(∑t) generated by ∑. More precisely, let ∑ be an elementary class of L-algebras with theory T. Burris and Werner have shown that if ∑ has a model companion then the existentially closed models in the discriminator variety V(∑t) form an elementary class which they have axiomatized. In general it is not the case that the existentially closed elements of ∑UH form an elementary class. For instance, take for ∑ the class ∑0 of linearly ordered abelian groups (see [G-P]).

We determine the finitely generic elements of ∑UH via the three following conditions on T:

(1) There is an open L-formula which says in any element of ∑UH that the complement of equalizers do not overlap.

(2) There is an existentially closed element of ∑UH which is an L-reduct of an element of V(∑t) and whose L-extensions respect the relationships between the complements of the equalizers.

(3) For any models A, B of T, there exists a model C of TUH such that A and B embed in C.

(Condition (3) is weaker then “T has the joint embedding property”. It is satisfied for example if every model of T has a one-element substructure. Condition (3) implies that ∑UH has the joint embedding property and therefore that the class of finitely generic elements of ∑UH is complete.)

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 50 , Issue 3 , September 1985 , pp. 604 - 610
Copyright
Copyright © Association for Symbolic Logic 1985

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B-W]Burris, S. and Werner, H., Sheaf constructions and their elementary properties, Transactions of the American Mathematical Society, vol. 248 (1979), pp. 269–309.CrossRefGoogle Scholar
[G-P]Glass, A. M. W. and Pierce, K. R., Existentially complete abelian lattice-ordered groups, Transactions of the American Mathematical Society, vol. 261 (1980), pp. 255–270.CrossRefGoogle Scholar
[K]Keimel, K., The representation of lattice ordered groups and rings by sections in sheaves, Lectures on the application of sheaves to ring theory ( Titiane University ring and operator theory year, 1970-1971, Vol. III), Lecture Notes in Mathematics, vol. 248, Springer-Verlag, Berlin, 1972, pp. 1–98.Google Scholar
[R-Z]Robinson, A. and Zakon, E., Elementary properties of ordered abelian groups, Transactions of the American Mathematical Society, vol. 96 (1960), pp. 222–236.CrossRefGoogle Scholar
[S]Simmons, H., Companion theories (forcing in model theory), Séminaires de Mathématique Pure Mensuel, Rapport No. 54, Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain, Louvain-La-Neuve, 1975.Google Scholar
[S-W]Saracino, D. and Wood, C., Finitely generic abelian lattice-ordered groups, Transactions of the American Mathematical Society, vol. 277 (1983), pp. 113–123.CrossRefGoogle Scholar
[Sh]Shoenfield, J., Mathematical logic, Addison-Wesley, Reading, Massachusetts, 1967.Google Scholar