We deal with the existence of universal members in a given cardinality for several classes. First, we deal with classes of abelian groups, specifically with the existence of universal members in cardinalities which are strong limit singular of countable cofinality or . We use versions of being reduced—replacing by a subring (defined by a sequence )—and get quite accurate results for the existence of universals in a cardinal, for embeddings and for pure embeddings. Second, we deal with (variants of) the oak property (from a work of Džamonja and the author), a property of complete first-order theories sufficient for the nonexistence of universal models under suitable cardinal assumptions. Third, we prove that the oak property holds for the class of groups (naturally interpreted, so for quantifier-free formulas) and deals more with the existence of universals.
Notre Dame J. Formal Logic
58(2):
159-177
(2017).
DOI: 10.1215/00294527-3800985
[1] Džamonja, M., “Club guessing and the universal models,” Notre Dame Journal of Formal Logic, vol. 46 (2005), pp. 283–300. 1105.03037 10.1305/ndjfl/1125409327 euclid.ndjfl/1125409327
[1] Džamonja, M., “Club guessing and the universal models,” Notre Dame Journal of Formal Logic, vol. 46 (2005), pp. 283–300. 1105.03037 10.1305/ndjfl/1125409327 euclid.ndjfl/1125409327
[2] Džamonja, M., and S. Shelah, “On the existence of universal models,” Archive for Mathematical Logic, vol. 43 (2004), pp. 901–36. MR2096141 10.1007/s00153-004-0235-1[2] Džamonja, M., and S. Shelah, “On the existence of universal models,” Archive for Mathematical Logic, vol. 43 (2004), pp. 901–36. MR2096141 10.1007/s00153-004-0235-1
[3] Džamonja, M., and S. Shelah, “On properties of theories which preclude the existence of universal models,” Annals of Pure and Applied Logic, vol. 139 (2006), pp. 280–302. 1089.03027 10.1016/j.apal.2005.06.001[3] Džamonja, M., and S. Shelah, “On properties of theories which preclude the existence of universal models,” Annals of Pure and Applied Logic, vol. 139 (2006), pp. 280–302. 1089.03027 10.1016/j.apal.2005.06.001
[4] Fuchs, L., Infinite Abelian Groups, I, vol. 36 of Pure and Applied Mathematics, Academic Press, New York, 1970; II, 1973. 0209.05503[4] Fuchs, L., Infinite Abelian Groups, I, vol. 36 of Pure and Applied Mathematics, Academic Press, New York, 1970; II, 1973. 0209.05503
[5] Grossberg, R., and S. Shelah, “On universal locally finite groups,” Israel Journal of Mathematics, vol. 44 (1983), pp. 289–302. MR710234 0525.20025 10.1007/BF02761988[5] Grossberg, R., and S. Shelah, “On universal locally finite groups,” Israel Journal of Mathematics, vol. 44 (1983), pp. 289–302. MR710234 0525.20025 10.1007/BF02761988
[6] Kojman, M., and S. Shelah, “Nonexistence of universal orders in many cardinals,” Journal of Symbolic Logic, vol. 57 (1992), pp. 875–91. 0790.03036 10.2307/2275437[6] Kojman, M., and S. Shelah, “Nonexistence of universal orders in many cardinals,” Journal of Symbolic Logic, vol. 57 (1992), pp. 875–91. 0790.03036 10.2307/2275437
[7] Kojman, M., and S. Shelah, “Universal abelian groups,” Israel Journal of Mathematics, vol. 92 (1995), pp. 113–24. 0840.20057 10.1007/BF02762072[7] Kojman, M., and S. Shelah, “Universal abelian groups,” Israel Journal of Mathematics, vol. 92 (1995), pp. 113–24. 0840.20057 10.1007/BF02762072
[9] Macintyre, A., and S. Shelah, “Uncountable universal locally finite groups,” Journal of Algebra, vol. 43 (1976), pp. 168–75. 0363.20032 10.1016/0021-8693(76)90150-2[9] Macintyre, A., and S. Shelah, “Uncountable universal locally finite groups,” Journal of Algebra, vol. 43 (1976), pp. 168–75. 0363.20032 10.1016/0021-8693(76)90150-2
[10] Shelah, S., “Notes on combinatorial set theory,” Israel Journal of Mathematics, vol. 14 (1973), pp. 262–77. 0269.04004 10.1007/BF02764885[10] Shelah, S., “Notes on combinatorial set theory,” Israel Journal of Mathematics, vol. 14 (1973), pp. 262–77. 0269.04004 10.1007/BF02764885
[11] Shelah, S., “Classification of nonelementary classes, II: Abstract elementary classes,” pp. 419–97 in Classification Theory (Chicago, 1985), vol. 1292 of Lecture Notes in Mathematics, Springer, Berlin, 1987.[11] Shelah, S., “Classification of nonelementary classes, II: Abstract elementary classes,” pp. 419–97 in Classification Theory (Chicago, 1985), vol. 1292 of Lecture Notes in Mathematics, Springer, Berlin, 1987.
[12] Shelah, S., “Universal classes,” pp. 264–418, in Classification Theory (Chicago, 1985), vol. 1292 of Lecture Notes in Mathematics, Springer, Berlin, 1987. 0637.03028[12] Shelah, S., “Universal classes,” pp. 264–418, in Classification Theory (Chicago, 1985), vol. 1292 of Lecture Notes in Mathematics, Springer, Berlin, 1987. 0637.03028
[13] Shelah, S., Cardinal Arithmetic, vol. 29 of Oxford Logic Guides, Oxford University Press, New York, 1994. 0848.03025[13] Shelah, S., Cardinal Arithmetic, vol. 29 of Oxford Logic Guides, Oxford University Press, New York, 1994. 0848.03025
[14] Shelah, S., “Toward classifying unstable theories,” Annals of Pure and Applied Logic, vol. 80 (1996), pp. 229–55. 0874.03043 10.1016/0168-0072(95)00066-6[14] Shelah, S., “Toward classifying unstable theories,” Annals of Pure and Applied Logic, vol. 80 (1996), pp. 229–55. 0874.03043 10.1016/0168-0072(95)00066-6
[16] Shelah, S., “Non-existence of universals for classes like reduced torsion free abelian groups under embeddings which are not necessarily pure,” pp. 229–86 in Advances in Algebra and Model Theory, edited by M. Droste and R. Goebel, vol. 9 of Algebra, Logic and Applications, Gordon and Breach, Amsterdam, 1997. 0936.20044[16] Shelah, S., “Non-existence of universals for classes like reduced torsion free abelian groups under embeddings which are not necessarily pure,” pp. 229–86 in Advances in Algebra and Model Theory, edited by M. Droste and R. Goebel, vol. 9 of Algebra, Logic and Applications, Gordon and Breach, Amsterdam, 1997. 0936.20044
[17] Shelah, S., “Applications of PCF theory,” Journal of Symbolic Logic, vol. 65 (2000), pp. 1624–74. 0981.03048 10.2307/2695067[17] Shelah, S., “Applications of PCF theory,” Journal of Symbolic Logic, vol. 65 (2000), pp. 1624–74. 0981.03048 10.2307/2695067
[18] Shelah, S., “Non-existence of universal members in classes of abelian groups,” Journal of Group Theory, vol. 4 (2001), pp. 169–91. 1035.20044[18] Shelah, S., “Non-existence of universal members in classes of abelian groups,” Journal of Group Theory, vol. 4 (2001), pp. 169–91. 1035.20044
[19] Shelah, S., and A. Usvyatsov, “Banach spaces and groups—order properties and universal models,” Israel Journal of Mathematics, vol. 152 (2006), pp. 245–70. 1145.46013 10.1007/BF02771986[19] Shelah, S., and A. Usvyatsov, “Banach spaces and groups—order properties and universal models,” Israel Journal of Mathematics, vol. 152 (2006), pp. 245–70. 1145.46013 10.1007/BF02771986
[20] Shelah, S., Classification Theory for Abstract Elementary Classes, vol. 18 of Studies in Logic: Mathematical Logic and Foundations, College Publications, London, 2009. 1225.03036[20] Shelah, S., Classification Theory for Abstract Elementary Classes, vol. 18 of Studies in Logic: Mathematical Logic and Foundations, College Publications, London, 2009. 1225.03036
[22] Shelah, S., “Abstract elementary classes near $\aleph_{1}$,” preprint, arXiv:0705.4137v1 [math.LO]. 0705.4137v1[22] Shelah, S., “Abstract elementary classes near $\aleph_{1}$,” preprint, arXiv:0705.4137v1 [math.LO]. 0705.4137v1
[23] Shelah, S., “Black boxes,” preprint, arXiv:0812.0656v2 [math.LO]. 0812.0656v2 MR3184377 1314.03042[23] Shelah, S., “Black boxes,” preprint, arXiv:0812.0656v2 [math.LO]. 0812.0656v2 MR3184377 1314.03042
[24] Shelah, S., “General non-structure theory,” preprint, arXiv:1011.3576v2 [math.LO]. 1011.3576v2[24] Shelah, S., “General non-structure theory,” preprint, arXiv:1011.3576v2 [math.LO]. 1011.3576v2
[25] Shelah, S., “Model theory for a compact cardinal,” to appear in Israel Journal of Mathematics, preprint, arXiv:1303.5247v3 [math.LO]. 1303.5247v3[25] Shelah, S., “Model theory for a compact cardinal,” to appear in Israel Journal of Mathematics, preprint, arXiv:1303.5247v3 [math.LO]. 1303.5247v3