### Generic Expansions of Countable Models

Silvia Barbina and Domenico Zambella
Source: Notre Dame J. Formal Logic Volume 53, Number 4 (2012), 511-523.

#### Abstract

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions.

Let $N$ be a countable saturated model of some complete theory $T$, and let $(N,\sigma)$ denote an expansion of $N$ to the signature $L_{0}$ which is a model of some universal theory $T_{0}$. We prove that when all existentially closed models of $T_{0}$ have the same existential theory, $(N,\sigma)$ is Truss generic if and only if $(N,\sigma)$ is an e-atomic model. When $T$ is $\omega$-categorical and $T_{0}$ has a model companion $T_{\mathrm {mc}}$, the e-atomic models are simply the atomic models of $T_{\mathrm {mc}}$.

First Page:
Primary Subjects: 03C10
Secondary Subjects: 20B27, 03C50
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1352383229
Digital Object Identifier: doi:10.1215/00294527-1722728
Zentralblatt MATH identifier: 06111348
Mathematical Reviews number (MathSciNet): MR2995417

### References

[1] Baldwin, J. T., and S. Shelah, “Model companions of $T_{\mathrm{Aut}}$ for stable $T$,” Notre Dame Journal of Formal Logic, vol. 42 (2001), pp. 129–42.
Mathematical Reviews (MathSciNet): MR2010177
Zentralblatt MATH: 1034.03040
Digital Object Identifier: doi:10.1305/ndjfl/1063372196
Project Euclid: euclid.ndjfl/1063372196
[2] Barbina, S., and H. D. Macpherson, “Reconstruction of homogeneous relational structures,” Journal of Symbolic Logic, vol. 72 (2007), pp. 792–802.
Mathematical Reviews (MathSciNet): MR2354901
Zentralblatt MATH: 1128.03022
Digital Object Identifier: doi:10.2178/jsl/1191333842
Project Euclid: euclid.jsl/1191333842
[3] Chatzidakis, Z., and E. Hrushovski, “Model theory of difference fields,” Transactions of the American Mathematical Society, vol. 351 (1999), pp. 2997–3071.
Mathematical Reviews (MathSciNet): MR1652269
Zentralblatt MATH: 0922.03054
Digital Object Identifier: doi:10.1090/S0002-9947-99-02498-8
[4] Chatzidakis Z., and A. Pillay, “Generic structures and simple theories,” Annals of Pure and Applied Logic, vol. 95 (1998), pp. 71–92.
Mathematical Reviews (MathSciNet): MR1650667
Zentralblatt MATH: 0929.03043
Digital Object Identifier: doi:10.1016/S0168-0072(98)00021-9
[5] Hodges, W., Building Models by Games, vol. 2 of London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 1985.
Mathematical Reviews (MathSciNet): MR812274
[6] Hodges, W., A Shorter Model Theory, Cambridge University Press, Cambridge, 1997.
Mathematical Reviews (MathSciNet): MR1462612
Zentralblatt MATH: 0873.03036
[7] Hodges, W., I. Hodkinson, D. Lascar, and S. Shelah, “The small index property for $\omega$-stable $\omega$-categorical structures and for the random graph,” Journal of the London Mathematical Society (2), vol. 48 (1993), pp. 204–18.
Mathematical Reviews (MathSciNet): MR1231710
Zentralblatt MATH: 0788.03039
Digital Object Identifier: doi:10.1112/jlms/s2-48.2.204
[8] Hrushovski, E., “Extending partial isomorphisms of graphs,” Combinatorica, vol. 12 (1992), pp. 411–16.
Mathematical Reviews (MathSciNet): MR1194731
Digital Object Identifier: doi:10.1007/BF01305233
[9] Ivanov, A. A., “Generic expansions of $\omega$-categorical structures and semantics of generalized quantifiers,” Journal of Symbolic Logic, vol. 64 (1999), pp. 775–89.
Mathematical Reviews (MathSciNet): MR1777786
Zentralblatt MATH: 0930.03034
Digital Object Identifier: doi:10.2307/2586500
[10] Kechris, A. S., and Ch. Rosendal, “Turbulence, amalgamation, and generic automorphisms of homogeneous structures,” Proceedings of the London Mathematical Society (3), vol. 94 (2007), pp. 302–50.
Mathematical Reviews (MathSciNet): MR2308230
Zentralblatt MATH: 1118.03042
Digital Object Identifier: doi:10.1112/plms/pdl007
[11] Kikyo, H., “Model companions of theories with an automorphism,” Journal of Symbolic Logic, vol. 65 (2000), pp. 1215–22.
Mathematical Reviews (MathSciNet): MR1791373
Zentralblatt MATH: 0967.03031
Digital Object Identifier: doi:10.2307/2586697
[12] Kikyo, H., and S. Shelah, “The strict order property and generic automorphisms,” Journal of Symbolic Logic, vol. 67 (2002), pp. 214–16.
Mathematical Reviews (MathSciNet): MR1889545
Zentralblatt MATH: 1002.03025
Digital Object Identifier: doi:10.2178/jsl/1190150038
Project Euclid: euclid.jsl/1190150038
[13] Kudaibergenov, K. Zh., and H. D. Macpherson, “On model companions for structures with an automorphism,” Siberian Advances in Mathematics, vol. 16 (2006), pp. 63–78.
Mathematical Reviews (MathSciNet): MR2379018
[14] Lascar, D., “Autour de la propriété du petit indice,” Proceedings of the London Mathematical Society (3), vol. 62 (1991), pp. 25–53.
Mathematical Reviews (MathSciNet): MR1078212
Digital Object Identifier: doi:10.1112/plms/s3-62.1.25
[15] Lascar, D., “Les beaux automorphismes,” Archive for Mathematical Logic, vol. 31 (1991), pp. 55–68.
Mathematical Reviews (MathSciNet): MR1126353
Zentralblatt MATH: 0766.03022
Digital Object Identifier: doi:10.1007/BF01370694
[16] Macpherson, H. D., and S. Thomas, “Comeagre conjugacy classes and free products with amalgamation,” Discrete Mathematics, vol. 291 (2005), pp. 135–42.
Mathematical Reviews (MathSciNet): MR2124060
Zentralblatt MATH: 1058.03035
Digital Object Identifier: doi:10.1016/j.disc.2004.04.025
[17] Marker, D., Model Theory: An Introduction, vol. 217 of Graduate Texts in Mathematics, Springer, New York, 2002.
Mathematical Reviews (MathSciNet): MR1924282
[18] Rubin, M., “On the reconstruction of $\aleph_{0}$-categorical structures from their automorphism groups,” Proceedings of the London Mathematical Society (3), vol. 69 (1992), pp. 225–49.
Mathematical Reviews (MathSciNet): MR1281964
Zentralblatt MATH: 0799.03037
Digital Object Identifier: doi:10.1112/plms/s3-69.2.225
[19] Truss, J. K., “Generic automorphisms of homogeneous structures,” Proceedings of the London Mathematical Society (3), vol. 65 (1992), pp. 121–41.
Mathematical Reviews (MathSciNet): MR1162490
Zentralblatt MATH: 0723.20001
Digital Object Identifier: doi:10.1112/plms/s3-65.1.121
[20] Truss, J. K., “On notions of genericity and mutual genericity,” Journal of Symbolic Logic, vol. 72 (2007), pp. 755–66.
Mathematical Reviews (MathSciNet): MR2354899
Zentralblatt MATH: 1123.03022
Digital Object Identifier: doi:10.2178/jsl/1191333840
Project Euclid: euclid.jsl/1191333840