Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778150 | Annals of Pure and Applied Logic | 2017 | 20 Pages |
Abstract
We investigate the interplay between several similarities of relational structures: the condensational equivalence (defined by Xâ¼cY iff there are bijective homomorphisms f:XâY and g:YâX), the isomorphism, the equimorphism (bi-embedability), the elementary equivalence and the similarities of structures determined by some similarities of their self-embedding monoids. It turns out that the Hasse diagram describing the hierarchy of these equivalence relations restricted to the set ModL(κ) of all L-structures of size κ collapses significantly for a finite cardinal κ or for a unary language L, while for infinite structures of non-unary languages we have a large diversity.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
MiloÅ¡ S. KuriliÄ, Nenad MoraÄa,