Abstract
Among a family of graphs H a graph G is called universal if any graph in H is isomorphic to an induced subgraph of G, and is called w-universal if any graph in H is isomorphic to a subgraph of G. The problem of the existence of universal and w-universal graphs was examined first for the family {G : G is of cardinality λ and omits the complete graph on κ} and was completely settled by Komjáth and Shelah (J. Combin. Theory Ser. B 63(1) (1995)). assuming GCH. The study of the families H λ,κ,θ={G : G is a graph of cardinality λ and omits the bipartite graph B(κ,θ)} started by Komjáth and Pach (Mathematika 31 (1984)) where it was proved that there is no w-universal graph for H ℵ 1,ℵ 1,ℵ 0 assuming ♢ w 1 . In an unpublished result, Saharon Shelah weakened this condition to CH and his proof is presented here as Theorem 1. In Theorem 2 we replace this assumption by ♣(ℵ 1) and a=ℵ 1 and in Theorems 3 and 4 we give sufficient conditions for the nonexistence of a universal graph for such families (for example for H 2 ℵ 0 ,2 ℵ 0 ,ℵ 0 this is true in ZFC).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.