Different similarities

DOI10.1007/S00153-015-0443-XMaRDI QIDQ892137zbMATH OpenOpenAlexFDO

Authors Miloš S. Kurilić

Publication date 18 November 2015

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.2073

zbMATH Keywords

partial orderisomorphismisomorphic substructurerelational structureequimorphismforcing equivalenceself-embedding monoid

Mathematics Subject Classification ID

Partial orders, general (06A06) Semigroups of transformations, relations, partitions, etc. (20M20) Basic properties of first-order languages and structures (03C07) Other aspects of forcing and Boolean-valued models (03E40)

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 $kappa$, we consider the interplay between the restrictions of these similarities to the class $Mo{d}_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).

Recommendations

• Condensational equivalence, equimorphism, elementary equivalence and similar similarities
• scientific article; zbMATH DE number 510789
• scientific article; zbMATH DE number 89183
• Comparing notions of similarity for uncountable models
• Posets of isomorphic substructures of relational structures

Cites work

• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 1062123 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 3240401 (Why is no real title available?)
• scientific article; zbMATH DE number 3387352 (Why is no real title available?)
• Copies of the random graph
• Forcing by non-scattered sets
• Forcing with copies of countable ordinals
• From \(A_{1}\) to \(D_{5}\): towards a forcing-related classification of relational structures
• Isomorphic and strongly connected components
• Maximally embeddable components
• Posets of copies of countable scattered linear orders
• Set theory. An introduction to independence proofs
• The \(\mathfrak q\)-theory of finite semigroups.
• The distributivity numbers of $\mathcal {P}(\omega )$/fin and its square
• The poset of all copies of the random graph has the 2-localization property

Cited in

(15)

• Similar but not the same: various versions of ♣ do not coincide
• Posets of isomorphic substructures of relational structures
• Condensational equivalence, equimorphism, elementary equivalence and similar similarities
• Posets of copies of countable ultrahomogeneous tournaments
• The poset of all copies of the random graph has the 2-localization property
• scientific article; zbMATH DE number 2089775 (Why is no real title available?)
• Equimorphy: the case of chains
• Forcing with copies of the Rado and Henson graphs
• Predicate similarity of limit models with identifications of signature symbols
• Some uncountable hierarchies of formal languages
• Copies of monomorphic structures
• Copies of the random graph
• Posets of copies of countable non-scattered labeled linear orders
• Some elementary degree-theoretic reasons why structures need similarity types
• Almost similar configurations

This page was built for publication: Different similarities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892137)