{"entities":{"Q1247324":{"pageid":1258074,"ns":120,"title":"Item:Q1247324","lastrevid":67082706,"modified":"2026-04-12T15:02:14Z","type":"item","id":"Q1247324","labels":{"en":{"language":"en","value":"Embedding theorems for graphs establishing negative partition relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3592000"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$6C112BD3-6987-4B60-BD22-84C73B1B8C65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30ce8c3f1bbd059c23163c6bff6e32233dfb1f95","datavalue":{"value":{"text":"Embedding theorems for graphs establishing negative partition relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1247324$A766D191-81ED-4181-8512-564D0DC0CFB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d05991b4935d0ab89506a5eeabb637de73a6a4f5","datavalue":{"value":"0381.04004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$688E38B3-3D69-4E37-A566-C10AF3110B0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3802847bfd6ebfb3d51f2ddfaf673b6f083c2828","datavalue":{"value":"10.1007/BF02018087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$5685F35C-3B71-4F25-98F3-EC8CF9D8EA30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee49ae8f184177da0258b703b63e44e5249936ca","datavalue":{"value":{"entity-type":"item","numeric-id":1226099,"id":"Q1226099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$AD209B10-0930-4A26-A6A6-C38047CF3E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb00475fd567190194461a0f087df1793eeae7c4","datavalue":{"value":{"entity-type":"item","numeric-id":6480801,"id":"Q6480801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$08E63DCF-4BB6-423E-914A-A1784F872020","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"615950119797f35f49728e278e9727b73c5c7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":168620,"id":"Q168620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$8266E9E0-6A2A-470F-8C5D-C1C910A81470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1247324$442EA475-F715-4B0F-B2CD-EDF7A443B5EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10400c71dec407139f62eb6f983797238671742c","datavalue":{"value":"The graph \\(G_1\\) is said to embed into the graph \\(G_1\\) if \\(G_0\\) is isomorphic to a spanned subgraph of \\(G_1\\). Given cardinal numbers \\(\\varkappa\\) and \\(\\lambda\\), the symbol \\([\\varkappa]\\) denotes the complete graph on \\(\\varkappa\\) vertices, \\([\\varkappa\\lambda]\\) the complete \\((\\varkappa\\lambda)\\)-bipartite graph and , \\([\\varkappa/\\varkappa]\\) the half \\((\\varkappa/\\varkappa)\\)-bipartite graph (where the set of vertices is a disjoint union \\(G_0\\cup G_1\\) with \\(|G_0| = |G_1| = \\varkappa\\) and there are one-to-one enumerations \\(G_0 = \\{x_{\\alpha};\\alpha< \\varkappa\\}\\), \\(G_1=\\{y_{\\beta};\\beta< \\varkappa\\}\\) such that for each \\(x_{\\alpha}\\), the set of vertices adjacent to \\(x_{\\alpha}\\) is \\(\\{y_{\\beta};\\alpha< \\beta< \\varkappa\\}\\)). Let \\(\\triangle_0\\), \\(\\triangle_1\\) be symbols of these types: The graph \\(G\\) is said to establish the negative partition relation \\(\\varkappa\\nrightarrow(\\triangle_0,\\triangle_1)^2\\) if \\(G\\) is a graph on \\(\\varkappa\\) vertices such that \\(G\\) contains no subgraph of type \\(\\triangle_0\\) and the complement of \\(G\\) contains no subgraph of type \\(\\triangle_1\\). The main aim of this paper is to characterize the class of all countable graphs which embed into all graphs \\(G\\) establishing \\(\\aleph_1\\nrightarrow(\\triangle_0,\\triangle_1)^2\\) when \\(\\triangle_0\\), \\(\\triangle_1\\) are any of \\([\\aleph_1]\\), \\([\\aleph_1,\\aleph_1]\\), \\([\\aleph_1/\\aleph_1]\\), \\([\\aleph_0,\\aleph_1]\\), The authors prove their theorems in ZFC, and then try to show that they are ''best possible'' assuming the continuum hypothesis or the existence of a Souslin tree. Occasionally Souslin's axiom is invoked instead.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1247324$387866B0-335E-4DBA-8830-9755A692B380","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$C4D3994E-653F-4384-96A0-87A883FD8141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$2B56C27C-89D7-4C07-B9C3-275D99BDFA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$48ED437D-09CE-48DF-92D9-38FDD870DFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$08D5632D-8042-43B1-96C2-675596D7C7E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c97117c2dc6ce8bf2abe3da0b93684c67c862359","datavalue":{"value":"3592000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$8039DDC7-8791-49A8-94CB-809781F60F2C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$32FC5581-0001-4BD8-BE5B-1795C010F675","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7993358cb712a93851b0bd102eb877f5714a26","datavalue":{"value":{"entity-type":"item","numeric-id":5541367,"id":"Q5541367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$B315CA6A-521C-4CEA-8430-E2F121D039CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d9e066f5037e80987074e3ac3bd1c61452ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":5607988,"id":"Q5607988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$AD276766-051E-4819-A6CE-1698161466B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa61615fd6700cd31e8da03ac03001607a969e6f","datavalue":{"value":{"entity-type":"item","numeric-id":1219299,"id":"Q1219299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$63569625-5DEF-4FA8-ADD8-D30AD613A773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1247324$BFA893B9-8093-4EA8-B651-D98D800433AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eba376e38415f0446c0a3293576722e95d24e21e","datavalue":{"value":"https://doi.org/10.1007/bf02018087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1247324$B2786D09-8CF8-48B1-8A58-218246150B75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08061053ce5eb33623a1fd754e50642f4c7054ff","datavalue":{"value":"W2049763138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1247324$7BC4F6B3-F947-42E0-8A66-BC239396BCFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf12613ecae666e04123aa7fa2c80753585a01b","datavalue":{"value":{"entity-type":"item","numeric-id":4071274,"id":"Q4071274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9381808825aa3dde12bb41aa97e1e65b0afb79c4","datavalue":{"value":{"amount":"+0.7912498116493225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1247324$722A8C9C-6B6C-404E-AB8A-FC518B182C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b78be428892097822cbed13b94bdab3409a807","datavalue":{"value":{"entity-type":"item","numeric-id":3808084,"id":"Q3808084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7644ed3a9341fff716cd195d2580d8a65f46297","datavalue":{"value":{"amount":"+0.7677643895149231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1247324$678DD024-E81A-47A0-9432-22F68322F3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9492f00e1a8ffb59f7e1b4eb8c24a77eabb7841","datavalue":{"value":{"entity-type":"item","numeric-id":2250798,"id":"Q2250798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6822011a8b9af08737f5456d1d3bf7386e1c9dbd","datavalue":{"value":{"amount":"+0.767043948173523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1247324$D8BB71CB-84E1-4785-97C2-B7853F8B6B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b51b472be2fd8b83653a5261e1c1f33df67aa7","datavalue":{"value":{"entity-type":"item","numeric-id":1332974,"id":"Q1332974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2311c1b6532a0d1d716cde6373d5ab4901441f9","datavalue":{"value":{"amount":"+0.7654740810394287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1247324$4CF8FC07-3A3D-4467-BD36-7289211B85DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f770a5fbe59d57a1e30fdc2345fb677b8b5e9fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1601389,"id":"Q1601389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5dc17aa6d479ea672e903a64e0605290bba8d2","datavalue":{"value":{"amount":"+0.7604437470436096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1247324$65710141-DAFB-415D-8DCE-C3769D2BB528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding theorems for graphs establishing negative partition relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_theorems_for_graphs_establishing_negative_partition_relations"}}}}}