Products of classes of finite structures. (English) Zbl 07828369
Summary: We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint \(n\)-amalgamation property. We explore how each of these properties interacts with the lexicographic product, full product, and free superposition of classes of structures. Additionally, we consider the classes of theories which admit configurations indexed by these products. In particular, we show that, under mild assumptions, the products considered in this article do not yield new classes of theories.
MSC:
| 03C52 | Properties of classes of models |
| 03C45 | Classification theory, stability, and related concepts in model theory |
| 03E02 | Partition relations |
References:
| [1] | Adler, H., “Strong theories, burden, and weight,” preprint, https://www.logic.univie.ac.at/ adler/talks/2008leeds.pdf (accessed 17 January 2024). |
| [2] | Bodirsky, M., “New Ramsey classes from old,” Electronic Journal of Combinatorics, vol. 21 (2014), no. 2, art. ID 2.22. Digital Object Identifier: 10.37236/2566 Google Scholar: Lookup Link MathSciNet: MR3210656 zbMATH: 1300.05311 · doi:10.37236/2566 |
| [3] | Bodirsky, M., “Ramsey classes: Examples and constructions,” pp. 1-48 in Surveys in Combinatorics, edited by A. Czumaj, A. Georgakopoulos, D. Král, V. Lozin, O. Pikhurko, vol. 424 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 2015. MathSciNet: MR3497266 zbMATH: 1352.05183 · Zbl 1352.05183 |
| [4] | Cameron, P. J., “Some treelike objects,” Quarterly Journal of Mathematics, vol. 38 (1987), pp. 155-83. Digital Object Identifier: 10.1093/qmath/38.2.155 Google Scholar: Lookup Link MathSciNet: MR0891613 zbMATH: 0628.05039 · Zbl 0628.05039 · doi:10.1093/qmath/38.2.155 |
| [5] | Cameron, P. J., Oligomorphic Permutation Groups, vol. 152 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 1990. Digital Object Identifier: 10.1017/CBO9780511549809 Google Scholar: Lookup Link MathSciNet: MR1066691 zbMATH: 0813.20002 · Zbl 0813.20002 · doi:10.1017/CBO9780511549809 |
| [6] | Chernikov, A., “Theories without the tree property of the second kind,” Annals of Pure and Applied Logic, vol. 165 (2014), pp. 695-723. Digital Object Identifier: 10.1016/j.apal.2013.10.002 Google Scholar: Lookup Link MathSciNet: MR3129735 zbMATH: 1386.03035 · Zbl 1386.03035 · doi:10.1016/j.apal.2013.10.002 |
| [7] | El-Zahar, M., and N. Sauer, “The indivisibility of the homogeneous \(K_n\)-free graphs,” Journal of Combinatorial Theory Series B, vol. 47 (1989), pp. 162-70. Digital Object Identifier: 10.1016/0095-8956(89)90017-8 Google Scholar: Lookup Link MathSciNet: MR1047784 zbMATH: 0682.05048 · Zbl 0682.05048 · doi:10.1016/0095-8956(89)90017-8 |
| [8] | El-Zahar, M., and N. Sauer, “Ramsey-type properties of relational structures,” Discrete Mathematics, vol. 94 (1991), pp. 1-10. Digital Object Identifier: 10.1016/0012-365X(91)90301-H Google Scholar: Lookup Link MathSciNet: MR1141049 zbMATH: 0746.03024 · Zbl 0746.03024 · doi:10.1016/0012-365X(91)90301-H |
| [9] | Fraïssé, R., “Sur l’extension aux relations de quelques propriétés des ordres,” Annales Scientifiques de l’École Normale Supérieure (3), vol. 71 (1954), pp. 363-88. MathSciNet: MR0069239 zbMATH: 0057.04206 · Zbl 0057.04206 |
| [10] | Fraïssé, R., Theory of Relations, revised edition, with appendix “On countable homogeneous systems” by N. Sauer, vol. 145 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 2000. MathSciNet: MR1808172 zbMATH: 0965.03059 · Zbl 0965.03059 |
| [11] | Guingona, V., and C. D. Hill, “On positive local combinatorial dividing-lines in model theory,” Archive for Mathematical Logic, vol. 58 (2019), pp. 289-323. Digital Object Identifier: 10.1007/s00153-018-0635-2 Google Scholar: Lookup Link MathSciNet: MR3928384 zbMATH: 1477.03133 · Zbl 1477.03133 · doi:10.1007/s00153-018-0635-2 |
| [12] | Guingona, V., C. D. Hill, and L. Scow, “Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles,” Annals of Pure and Applied Logic, vol. 168 (2017), pp. 1091-111. Digital Object Identifier: 10.1016/j.apal.2016.11.007 Google Scholar: Lookup Link MathSciNet: MR3620067 zbMATH: 1422.03069 · Zbl 1422.03069 · doi:10.1016/j.apal.2016.11.007 |
| [13] | Guingona, V., and M. Parnes, “Ranks based on strong amalgamation Fraïssé classes,” Archive for Mathematical Logic, vol. 62 (2023), pp. 889-929. Digital Object Identifier: 10.1007/s00153-023-00864-8 Google Scholar: Lookup Link MathSciNet: MR4643477 zbMATH: 07742494 · Zbl 07742494 · doi:10.1007/s00153-023-00864-8 |
| [14] | Hasson, A., M. Kojman, and A. Onshuus, “On symmetric indivisibility of countable structures,” pp. 417-52 in Model Theoretic Methods in Finite Combinatorics, edited by M. Grohe and J. A. Makowski, vol. 558 in Contemporary Mathematics, American Mathematical Society, Providence, 2011. MathSciNet: MR3418641 zbMATH: 1267.03045 · Zbl 1267.03045 |
| [15] | Henson, C. W., “A family of countable homogeneous graphs,” Pacific Journal of Mathematics, vol. 38 (1971), pp. 69-83. MathSciNet: MR0304242 zbMATH: 0219.05064 · Zbl 0204.24103 |
| [16] | Hodges, W., Model Theory, vol. 42 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, 1993. Digital Object Identifier: 10.1017/CBO9780511551574 Google Scholar: Lookup Link zbMATH: 0789.03031 MathSciNet: MR1221741 · Zbl 0789.03031 · doi:10.1017/CBO9780511551574 |
| [17] | Kaplan, I., A. Onshuus, and A. Usvyatsov, “Additivity of the dp-rank,” Transactions of the American Mathematical Society, vol. 365 (2013), pp. 5783-804. Digital Object Identifier: 10.1090/S0002-9947-2013-05782-0 Google Scholar: Lookup Link MathSciNet: MR3091265 zbMATH: 1323.03041 · Zbl 1323.03041 · doi:10.1090/S0002-9947-2013-05782-0 |
| [18] | Kechris, A. S., V. G. Pestov, and S. Todorcevic, “Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups,” Geometric and Functional Analysis, vol. 15 (2005), pp. 106-89. Digital Object Identifier: 10.1007/s00039-005-0503-1 Google Scholar: Lookup Link MathSciNet: MR2140630 zbMATH: 1084.54014 · Zbl 1084.54014 · doi:10.1007/s00039-005-0503-1 |
| [19] | Komjáth, P., and V. Rödl, “Coloring of universal graphs,” Graphs and Combinatorics, vol. 2 (1986), pp. 55-60. Digital Object Identifier: 10.1007/BF01788077 Google Scholar: Lookup Link MathSciNet: MR1117132 zbMATH: 0589.05053 · Zbl 0589.05053 · doi:10.1007/BF01788077 |
| [20] | Kruckman, A., “Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories,” Notre Dame Journal of Formal Logic, vol. 60 (2019), pp. 139-60. Digital Object Identifier: 10.1215/00294527-2018-0025 Google Scholar: Lookup Link MathSciNet: MR3911109 zbMATH: 07060311 · Zbl 1529.03200 · doi:10.1215/00294527-2018-0025 |
| [21] | Kuratowski, K., “Sur le problème des courbes gauches en Topologie,” Fundamenta Mathematicae, vol. 15 (1930), pp. 271-83. · JFM 56.1141.03 |
| [22] | Marker, D., Model Theory: An Introduction, vol. 217 of Graduate Texts in Mathematics, Springer, New York, 2002. zbMATH: 1003.03034 MathSciNet: MR1924282 · Zbl 1003.03034 |
| [23] | Meir, N., “On products of elementarily indivisible structures,” Journal of Symbolic Logic, vol. 81 (2016), pp. 951-71. Digital Object Identifier: 10.1017/jsl.2015.74 Google Scholar: Lookup Link MathSciNet: MR3569114 zbMATH: 1436.03182 · Zbl 1436.03182 · doi:10.1017/jsl.2015.74 |
| [24] | Meir, N., “Infinite lexicographic products,” Annals of Pure and Applied Logic, vol. 173 (2022), no. 102991. Digital Object Identifier: 10.1016/j.apal.2021.102991 Google Scholar: Lookup Link MathSciNet: MR4302050 zbMATH: 1486.03056 · Zbl 1486.03056 · doi:10.1016/j.apal.2021.102991 |
| [25] | Morley, M., “Categoricity in power,” Transactions of the American Mathematical Society, vol. 114 (1965), pp. 514-38. Digital Object Identifier: 10.2307/1994188 Google Scholar: Lookup Link MathSciNet: MR0175782 zbMATH: 0151.01101 · Zbl 0151.01101 · doi:10.2307/1994188 |
| [26] | Nešetřil, J., “Ramsey classes and homogeneous structures,” Combinatorics, Probability and Computing, vol. 14 (2005), pp. 171-89. Digital Object Identifier: 10.1017/S0963548304006716 Google Scholar: Lookup Link MathSciNet: MR2128088 zbMATH: 1059.05103 · Zbl 1059.05103 · doi:10.1017/S0963548304006716 |
| [27] | Sauer, N., “Colouring homogeneous structures,” preprint, arXiv:2008.02375v2 [math.CO]. |
| [28] | Scow, L., “Characterization of NIP theories by ordered graph-indiscernibles,” Annals of Pure and Applied Logic, vol. 163 (2012), pp. 1624-41. Digital Object Identifier: 10.1016/j.apal.2011.12.013 Google Scholar: Lookup Link MathSciNet: MR2959664 zbMATH: 1260.03066 · Zbl 1260.03066 · doi:10.1016/j.apal.2011.12.013 |
| [29] | Scow, L., “Ramsey transfer to semi-retractions,” Annals of Pure and Applied Logic, vol. 172 (2021), no. 102891. Digital Object Identifier: 10.1016/j.apal.2020.102891 Google Scholar: Lookup Link MathSciNet: MR4172769 zbMATH: 1498.03077 · Zbl 1498.03077 · doi:10.1016/j.apal.2020.102891 |
| [30] | Shelah, S., Classification Theory and the Number of Nonisomorphic Models, vol. 92 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1978. MathSciNet: MR0513226 · Zbl 0388.03009 |
| [31] | Sokić, M., “Relational quotients,” Fundamenta Mathematicae, vol. 221 (2013), pp. 189-220. Digital Object Identifier: 10.4064/fm221-3-1 Google Scholar: Lookup Link MathSciNet: MR3078817 zbMATH: 1272.05215 · Zbl 1272.05215 · doi:10.4064/fm221-3-1 |
| [32] | Touchard, P., “On model theory of valued vector spaces,” preprint, arXiv:2111.15516v1 [math.LO]. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
