| Title:
|
A viewpoint on amalgamation classes (English) |
| Author:
|
Barbina, Silvia |
| Author:
|
Zambella, Domenico |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
51 |
| Issue:
|
4 |
| Year:
|
2010 |
| Pages:
|
681-691 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete. (English) |
| Keyword:
|
model theory |
| Keyword:
|
universal homogeneous model |
| Keyword:
|
model companion |
| Keyword:
|
amalgamation class |
| MSC:
|
03C07 |
| MSC:
|
03C10 |
| MSC:
|
03C30 |
| idZBL:
|
Zbl 1224.03011 |
| idMR:
|
MR2858269 |
| . |
| Date available:
|
2010-11-30T16:28:33Z |
| Last updated:
|
2013-09-22 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/140846 |
| . |
| Reference:
|
[BaShe] Baldwin J., Shelah S.: Model companions of $T_ Aut$ for stable $T$.Notre Dame J. Formal Logic 42 (2001), no. 3, 129–142. Zbl 1034.03040, MR 2010177, 10.1305/ndjfl/1063372196 |
| Reference:
|
[BaZa] Barbina S., Zambella D.: Generic expansions of countable models.preprint, http://arxiv.org/abs/1011.0120. |
| Reference:
|
[BHMW] Baudisch A., Hils M., Pizarro A.M., Wagner F.O.: Die böse Farbe.J. Inst. Math. Jussieu 8 (2009), no. 3, 415–443. Zbl 1179.03041, MR 2516302, 10.1017/S1474748008000091 |
| Reference:
|
[ChaPi] Chatzidakis Z., Pillay A.: Generic structures and simple theories.Ann. Pure Appl. Logic 95 (1998), no. 1–3, 71–92. Zbl 0929.03043, MR 1650667, 10.1016/S0168-0072(98)00021-9 |
| Reference:
|
[Goode] Goode J.B.: Hrushovski's geometries.in Proceedings of the 7th Easter Conference on Model Theory (Wendisch-Rietz, 1989), Humboldt-Univ., Berlin, 1989, pp. 106–117. Zbl 0689.03016, MR 1045014 |
| Reference:
|
[Hru] Hrushovski E.: A new strongly minimal set.Ann. Pure Appl. Logic 62 (1993), no. 2, 147–166. Zbl 0804.03020, MR 1226304, 10.1016/0168-0072(93)90171-9 |
| Reference:
|
[KueLa] Kueker D.W., Laskowski M.C.: On generic structures.Notre Dame J. Formal Logic 33 (1992), no. 2, 175–183. Zbl 0768.03010, MR 1167973, 10.1305/ndjfl/1093636094 |
| Reference:
|
[Lasc] Lascar D.: Les beaux automorphismes.Arch. Math. Logic 31 (1991), no. 1, 55–68. Zbl 0766.03022, MR 1126353, 10.1007/BF01370694 |
| Reference:
|
[Poiz] Poizat B.: Le carré de l'égalité.J. Symbolic Logic 64 (1999), no. 3, 1339–1355. Zbl 0938.03058, MR 1779766, 10.2307/2586634 |
| Reference:
|
[Zam] Zambella D.: Krull dimension of types in a class of first-order theories.Turkish J. Math.(to appear). MR 2839726 |
| . |
