Skip to main content Accessibility help

The independence property in generalized dense pairs of structures

  • Alexander Berenstein (a1), Alf Dolich (a2) and Alf Onshuus (a3)


We provide a general theorem implying that for a (strongly) dependent theory T the theory of sufficiently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of first-order topological theories.



Hide All
[1]Adler, H., A geometric introduction to forking and thorn-forking, preprint, available at
[2]Baizhanov, B. and Baldwin, J., Local homogeneity, this Journal, vol. 69 (2004), pp. 12431260.
[3]Yaacov, I. Ben, Pillay, A., and Vassiliev, E., Lovely pairs of models, Annals of Pure and Applied Logic, vol. 122 (2003), pp. 235261.
[4]Berenstein, A. and Vassiliev, E., On lovely pairs of geometric structures, Annals of Pure and Applied Logic, vol. 161 (2010), pp. 866878.
[5]Boxall, G., NIP for some pair-like theories, Modnet preprint #181.
[6]Buechler, S., Pseudoprojective strongly minimal sets are locally projective, this Journal, vol. 56 (1991), pp. 11841194.
[7]Casanovas, E. and Ziegler, M., Stable theories with a new predicate, this Journal, vol. 66 (2001), pp. 11271140.
[8]Chang, C.C. and Keisler, H.J., Model theory, third ed., Studies in Logic and Foundations of Mathematics, North Holland, 1990.
[9]Chatzidakis, Z. and Pillay, A., Generic structures and simple theories, Annals of Pure and Applied Logic, (1998), pp. 7192.
[10]Denef, J. and van den Dries, L., P-adic and real subanalytic sets, The Annals of Mathematics, vol. 128 (1988), pp. 79138.
[11]Dolich, A. and Lippel, D.Goodrick, J., Dp-minimality: basic facts and examples, Modnet preprint #207.
[12]Dolich, A., Miller, C., and Steinhorn, C., Structures having o-minimal open core, Transactions of the American Mathematical Society, vol. 362 (2010), pp. 13711411.
[13]van den Dries, L., Dense pairs of o-minimal structures, Fundamenta Mathematicae, vol. 157 (1998), pp. 6178.
[14]van den Dries, L., Tame topology and o-minimal structures, London Mathematical Society Lecture Notes Series, vol. 248, Cambridge University Press, Cambridge, 1998.
[15]Dries, L. van den and Lewenberg, A., T-convexity and tame extensions, this Journal, vol. 60 (1995), pp. 74102.
[16]Günaydin, A. and Hieronymi, P., Dependent pairs, to be published in this Journal.
[17]Haskell, D. and Macpherson, D., A version ofo-minimalityfor the p-adics, this Journal, vol. 62 (1997), pp. 10751092.
[18]Macpherson, D., Marker, D., and Steinhorn, C., Weakly o-minimal structures and real closed fields, Transactions of the American Mathematical Society, vol. 352 (2000), pp. 54355483.
[19]Matthews, L., Cell decomposition and dimension functions in first-order topological structures, Proceedings of the London Mathematical Society, vol. s3-70 (1995), pp. 132.
[20]Onshuus, A., Properties and consequences of thorn-independence, this Journal, vol. 71 (2006), pp. 121.
[21]Pillay, A., On externally definable sets and a theorem of Shelah, preprint, available at
[22]Poizat, B., Paires de structures stables, this Journal, vol. 48 (1983), pp. 239249.
[23]Shelah, S., Strongly dependent theories, SH863, available at shelah.
[24]Shelah, S., Dependent first order theories, continued, Israel Journal of Mathematics, vol. 173 (2009), no. 1, pp. 160.
[25]Vassiliev, E., Generic pairs of SU-rank 1 structures, Annals of Pure and Applied Logic, vol. 120 (2003), pp. 103149.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed