Skip to main content
Log in

Different similarities

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

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 κ, we consider the interplay between the restrictions of these similarities to the class Mod L (κ) of all L-structures of size κ. 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).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  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)

    MATH  Google Scholar 

  2. Balcar B., Simon P.: Disjoint refinement. In: Monk, J.D., Bonnet, R. Handbook of Boolean Algebras, Vol. 2, pp. 333–388. Elsevier Science Publishers B.V., Amsterdam (1989)

    Google Scholar 

  3. Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups, vol. I. Mathematical Surveys, No. 7. American Mathematical Society, Providence, RI (1961)

  4. Howie, J.M.: Fundamentals of semigroup theory. London Mathematical Society Monographs. New Series, 12. Oxford Science Publications. The Clarendon Press, New York (1995)

  5. Jech T.: Set Theory, 2nd corr. ed. Springer, Berlin (1997)

  6. Koppelberg S.: General theory of Boolean algebras. In: Monk, J.D., Bonnet, R. Handbook of Boolean Algebras, Part I., Elsevier Science Publishers B.V., Amsterdam (1989)

    Google Scholar 

  7. Kunen K.: Set Theory, an Introduction to Independence Proofs. North-Holland, Amsterdam (1980)

    MATH  Google Scholar 

  8. Kurilić M.S.: From A 1 to D 5: towards a forcing-related classification of relational structures. J. Symbol. Logic 79(1), 279–295 (2014)

    Article  MATH  Google Scholar 

  9. Kurilić M.S.: Maximally embeddable components. Arch. Math. Logic 52(7), 793–808 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kurilić M.S.: Forcing with copies of countable ordinals. Proc. Am. Math. Soc. 143(4), 1771–1784 (2015)

    Article  MATH  Google Scholar 

  11. Kurilić M.S.: Posets of copies of countable scattered linear orders. Ann. Pure Appl. Logic 165, 895–912 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kurilić M.S.: Isomorphic and strongly connected components. Arch. Math. Logic 54(1–2), 35–48 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kurilić M.S., Todorčević S.: Forcing by non-scattered sets. Ann. Pure Appl. Logic 163, 1299–1308 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  14. Kurilić, M.S., Todorčević, S.: Copies of the random graph (to appear).

  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).

  16. Rhodes J., Steinberg B.: The q-theory of finite semigroups. Springer Monographs in Mathematics. Springer, New York (2009)

    Book  Google Scholar 

  17. Shelah S., Spinas O.: The distributivity numbers of P(ω)/fin and its square. Trans. Am. Math. Soc. 352(5), 2023–2047 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  18. Vopěnka P., Pultr A., Hedrlín Z.: A rigid relation exists on any set. Comment. Math. Univ. Carolinae 6, 149–155 (1965)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Miloš S. Kurilić.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kurilić, M.S. Different similarities. Arch. Math. Logic 54, 839–859 (2015). https://doi.org/10.1007/s00153-015-0443-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-015-0443-x

Keywords

Mathematics Subject Classification

Navigation