zbMATH — the first resource for mathematics

Different similarities. (English) Zbl 1373.03049
Summary: We establish the hierarchy among twelve equivalence relations (similarities) on the class of relational structures: the equality, the isomorphism, the equimorphism, the full relation, four similarities of structures induced by similarities of their self-embedding monoids and intersections of these equivalence relations. In particular, fixing a language \(L\) and a cardinal \(\kappa\), we consider the interplay between the restrictions of these similarities to the class \(\mathrm{Mod}_{L}(\kappa)\) of all \(L\)-structures of size \(\kappa\). It turns out that, concerning the number of different similarities and the shape of the corresponding Hasse diagram, the class of all structures naturally splits into three parts: finite structures, infinite structures of unary languages, and infinite structures of non-unary languages (where all these similarities are different).

03C07 Basic properties of first-order languages and structures
03E40 Other aspects of forcing and Boolean-valued models
20M20 Semigroups of transformations, relations, partitions, etc.
06A06 Partial orders, general
Full Text: DOI
[1] Balcar, B.; Vopěnka, P., On systems of almost disjoint sets, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., 20, 421-424, (1972) · Zbl 0245.04002
[2] Balcar, B.; Simon, P.; Monk, J.D. (ed.); Bonnet, R. (ed.), Disjoint refinement, 333-388, (1989), Amsterdam
[3] Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups, vol. I. Mathematical Surveys, No. 7. American Mathematical Society, Providence, RI (1961) · Zbl 0111.03403
[4] Howie, J.M.: Fundamentals of semigroup theory. London Mathematical Society Monographs. New Series, 12. Oxford Science Publications. The Clarendon Press, New York (1995) · Zbl 0835.20077
[5] Jech T.: Set Theory, 2nd corr. ed. Springer, Berlin (1997) · Zbl 0882.03045
[6] Koppelberg, S.; Monk, J.D. (ed.); Bonnet, R. (ed.), General theory of Boolean algebras, (1989), Amsterdam
[7] Kunen K.: Set Theory, an Introduction to Independence Proofs. North-Holland, Amsterdam (1980) · Zbl 0443.03021
[8] Kurilić, M.S., From \(A\)_{1} to \(D\)_{5}: towards a forcing-related classification of relational structures, J. Symbol. Logic, 79, 279-295, (2014) · Zbl 1337.03042
[9] Kurilić, M.S., Maximally embeddable components, Arch. Math. Logic, 52, 793-808, (2013) · Zbl 1302.03053
[10] Kurilić, M.S., Forcing with copies of countable ordinals, Proc. Am. Math. Soc., 143, 1771-1784, (2015) · Zbl 1386.03065
[11] Kurilić, M.S., Posets of copies of countable scattered linear orders, Ann. Pure Appl. Logic, 165, 895-912, (2014) · Zbl 1297.06001
[12] Kurilić, M.S., Isomorphic and strongly connected components, Arch. Math. Logic, 54, 35-48, (2015) · Zbl 1373.03052
[13] Kurilić, M.S.; Todorčević, S., Forcing by non-scattered sets, Ann. Pure Appl. Logic, 163, 1299-1308, (2012) · Zbl 1250.03102
[14] Kurilić, M.S., Todorčević, S.: Copies of the random graph (to appear). · Zbl 1373.03052
[15] Kurilić, M.S., Todorčević S.: The poset of all copies of the random graph satisfies the 2-localization property, Ann. Pure Appl. Logic (to appear). · Zbl 1373.03052
[16] Rhodes J., Steinberg B.: The q-theory of finite semigroups. Springer Monographs in Mathematics. Springer, New York (2009) · Zbl 1186.20043
[17] Shelah, S.; Spinas, O., The distributivity numbers of \(P\)(\(ω\))/fin and its square, Trans. Am. Math. Soc., 352, 2023-2047, (2000) · Zbl 0943.03036
[18] Vopěnka, P.; Pultr, A.; Hedrlín, Z., A rigid relation exists on any set, Comment. Math. Univ. Carolinae, 6, 149-155, (1965) · Zbl 0149.01402
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.