{"entities":{"Q1082334":{"pageid":1093086,"ns":120,"title":"Item:Q1082334","lastrevid":48984232,"modified":"2026-01-06T09:55:39Z","type":"item","id":"Q1082334","labels":{"en":{"language":"en","value":"Partition relations for partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972850"}},"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":"Q1082334$F326199C-036E-4CC2-96A2-963955490D1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66ace3734df48da4a317e348c6ee09c92aa5c3cc","datavalue":{"value":{"text":"Partition relations for partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082334$301CEA1F-2502-4CF9-8129-EA1529553CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"514a467ea10be6ef678d88b08c63019d3a6b97b6","datavalue":{"value":"0603.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082334$ACE08C2D-9991-4EB8-93F3-20B1BDB4FB15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"077527aefa5f166e464a06c09d95b2c3d71503f8","datavalue":{"value":"10.1007/BF02392535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082334$6EF33B02-8F11-41B5-A615-AADA83CFC496","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$D0BFB4E4-8A48-478C-B762-DAFA5DB40E72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1082334$93B7974D-6A08-4B8D-89F0-B7B9E7C26560","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce9e73890c3b1907ea3d04d40092cd7dba276981","datavalue":{"value":"The main aim of the author is to study arrow partition relations concerning partially ordered sets P such that (1) \\(P\\to (\\kappa)^ 1_{\\kappa}\\) for some infinite cardinal \\(\\kappa\\). For \\(\\kappa =\\omega\\), simple examples of such P's are \\(\\omega_ 1\\) and R. If P is a tree T, then \\(\\neg (1)\\) is equivalent to the statement that T is union of \\(\\leq \\kappa\\) antichains because any partition F of T yields a refined partition of T: the system of all rows of all members of F.    Theorem 1 (conjectured by F. Galvin): (1) implies \\(P\\to (\\alpha)^ 2_{\\kappa}\\) for all \\(\\alpha <\\omega_ 1\\) and \\(\\kappa <\\omega\\). (Theorem 1 strengthens several results obtained earlier by P. Erd\u0151s and R. Rado, A. Hajnal, F. Galvin, K. Prikry, J. Baumgartner; e.g., Galvin's result is obtained from Theorem 1 writing \\((\\eta)\\) instead of \\((\\omega)\\).)    Theorem 2: Let \\(\\kappa\\) be a regular cardinal and \\(\\lambda\\) an infinite cardinal such that \\(\\lambda^{{\\underset \\smallsmile \\lambda}}<\\kappa\\); if \\(P\\to (\\kappa)^ 1_{2^{{\\underset \\smallsmile \\kappa}}}\\), then \\(P\\to (\\kappa +\\xi)^ 2_ 2\\) for all \\(\\xi <\\lambda.\\)    Theorem 4[3]: Let \\(\\lambda \\geq \\aleph_ 0\\), \\(\\theta\\geq 2\\) and (1) for \\(\\kappa:=\\theta^{{\\smallsmile\\to \\lambda}}\\); then \\(P\\to (\\lambda +1)_{\\theta}^{<\\omega}\\) \\([P\\to (\\alpha,(cf \\lambda +1)_{\\gamma})^ 2\\) for \\(\\alpha<\\kappa^+\\) and \\(\\gamma <cf \\lambda].\\)    Theorem 9: The following are equivalent:    \\(\\neg (1).\\)    There is a strictly increasing mapping of the tree \\(\\sigma P\\) into \\((P(\\kappa),\\subset).\\)    The tree \\(\\sigma'P\\) is union of \\(\\leq \\kappa\\) antichains (\\(\\sigma P\\) denotes the tree of all well-ordered bounded subsets of P, ordered by the relation ''is an initial segment of'', \\(\\sigma'T:=\\{x|\\) \\(x\\in \\sigma T\\), \\(tp\\;x-1<tp\\;x\\}).\\)    A number of further theorems and corollaries are also proved. The proofs of the main theorems 1-4 are based on tree considerations connected with Theorem 9.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082334$2DA18E73-D10F-43DE-9464-B89C20182DF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082334$5A8E529C-2584-4373-BB51-75247605AC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082334$B1010D30-861B-420E-9BFB-AD3FEF550BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082334$029871EB-037A-4643-BE53-51E1EDF42DAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17758cd7a36a0cb9875ef43eb66bc1002cb54874","datavalue":{"value":"3972850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082334$1B1FC63D-5B6C-4DD4-802D-74604D0C654E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d069d076fa3dcfbdda32831cfacf7653d69051","datavalue":{"value":"sigma trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082334$500ADEA5-4804-407E-A7DD-3BCCB0569FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbdb481a7904f3c8b99dde032edbb0ec12b71e3","datavalue":{"value":"arrow partition relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082334$3F2571BF-E7F8-4737-9DAE-15A11CC9D4F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c95457eed31152736b3fcc97aee8818e00189b1","datavalue":{"value":{"entity-type":"item","numeric-id":171182,"id":"Q171182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$26E37527-D5C6-45C6-9E3E-7A711E937288","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":"Q1082334$9498E020-3881-4AC5-BFD8-74AE69C18000","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c12111010b2a2b23bb6b36e6e1715c4f2ccbcfa2","datavalue":{"value":{"entity-type":"item","numeric-id":5672902,"id":"Q5672902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$F43450EA-F803-432C-8911-F0756F33A6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbdc1043fc13b992f30957526cbc4e036fc5e51","datavalue":{"value":{"entity-type":"item","numeric-id":5609368,"id":"Q5609368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$9C71ED53-C765-4797-B002-4FA5B6A0CE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d100a7535c2f4f6bb4aadd40d304fcb49e78301","datavalue":{"value":{"entity-type":"item","numeric-id":5635446,"id":"Q5635446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$89BA99D4-CFD1-4E2D-BEC1-8950CD14BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e703bce69e980fe1560eee6510aff487fcb0309e","datavalue":{"value":{"entity-type":"item","numeric-id":1062673,"id":"Q1062673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$153C64DB-3CB5-4B14-9CE3-94ABCF48AEEB","rank":"normal"},{"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":"Q1082334$C3C4211E-A13A-404B-B91E-380164E54360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf21ea69fe4ddc97ad38579c16428cebb928f87","datavalue":{"value":{"entity-type":"item","numeric-id":5814905,"id":"Q5814905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$DD8B042B-86B4-455B-AF43-54DDA3B1907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bef25bf28ebce0c8dc4719615dc3b84fe63927","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$29E4E763-F4FD-4E42-B6DF-BEB663834596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30306344be5173295453ed43c71e7809dce0177","datavalue":{"value":{"entity-type":"item","numeric-id":3291532,"id":"Q3291532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$EE46D538-BB51-4A7C-A505-F6DEFC24169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84983ca7f90e0ab543179065540e32dc89cb795a","datavalue":{"value":{"entity-type":"item","numeric-id":3233338,"id":"Q3233338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$9C1D6B00-20B0-4C95-BCAB-9ABBA3398221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1602d00cfa539018fb78ecdd930cf4ca82ebaa","datavalue":{"value":{"entity-type":"item","numeric-id":5345021,"id":"Q5345021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$62E632B1-FC2B-4956-B2DB-24819D40AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310a1844f8ba61b969327a55f4bec8641d741d25","datavalue":{"value":{"entity-type":"item","numeric-id":5626662,"id":"Q5626662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$49B65336-C5A4-4DE5-AC47-86E9D7C53408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55960f89c9675fe6c3eef557d1724ef6d673979","datavalue":{"value":{"entity-type":"item","numeric-id":3960685,"id":"Q3960685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$0AFDD023-26EC-4EE1-A6D9-4683B33CA62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1cf7e426127d502c57b4bb01a758b7cc7fadf5","datavalue":{"value":{"entity-type":"item","numeric-id":5337204,"id":"Q5337204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$22C59D68-F0C3-478F-A515-13BFFA0067F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14e138c62f738fe0202634121120969d8f747a5","datavalue":{"value":{"entity-type":"item","numeric-id":2649227,"id":"Q2649227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$FF502DC2-B4B0-4DD0-BB49-40E9AAB4FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256851125d07917ad7631fc9c38d0dcc651e7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2553435,"id":"Q2553435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$7DAC7C06-2D43-40E0-9FCB-E6466A406F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8902cf602616673a4d77913d097f87f8910c9029","datavalue":{"value":{"entity-type":"item","numeric-id":2563161,"id":"Q2563161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$5A5F59EC-C734-4ECB-866F-EB666E467B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78872435ac0c70f70e886a28fe4b47e2d74b335a","datavalue":{"value":{"entity-type":"item","numeric-id":5773668,"id":"Q5773668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$5AC7058D-65D5-417C-8243-C9963E57207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae2e94f6d542c7fca8b5de4b8aa6ee6262d2b26","datavalue":{"value":{"entity-type":"item","numeric-id":3669469,"id":"Q3669469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$052DEF47-0B23-4CAD-BF10-C681AC722E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785a67d121291bb54504a5330a1cf79ccb58ac1d","datavalue":{"value":{"entity-type":"item","numeric-id":4745857,"id":"Q4745857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$3C3D5BA1-68DF-415C-98EB-B253FD6B1B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af99d31854a4fa7f4cf68a626aeeca5ae3e453f7","datavalue":{"value":{"entity-type":"item","numeric-id":3313856,"id":"Q3313856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082334$82A3C572-8416-45B3-B83E-0FEBF4D64624","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97dbddd7a55955dd345bd40d0e375f334d36f27","datavalue":{"value":{"entity-type":"item","numeric-id":5541367,"id":"Q5541367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ca466b7bc5e21f7cde60159979d063d2f751ca","datavalue":{"value":{"amount":"+0.8529755473136902","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":"Q1082334$91546ADC-CF1D-44FE-80A7-EF2831C55489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbf5ca8dd539a5965fe8aa8f4706218414482c0","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ed83496d4e5415a76f5823e5fdb81959f95076","datavalue":{"value":{"amount":"+0.8420465588569641","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":"Q1082334$B7C53286-5684-42BF-B005-8EFA1F83C509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484993aac721684bda8a1148c753d6b22f8f290b","datavalue":{"value":{"entity-type":"item","numeric-id":2747720,"id":"Q2747720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2fe3de1f1fbf95b835d599eb9ba696c47466bc","datavalue":{"value":{"amount":"+0.8220107555389404","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":"Q1082334$3E410012-BF2D-4A93-AD3D-3A5E59FBFDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abebf10dbbe27fc4a4cd2b9d0e4d306dc70cccef","datavalue":{"value":{"entity-type":"item","numeric-id":1100200,"id":"Q1100200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70545b1a7e64387bc2a6e59ed66502c6208a3668","datavalue":{"value":{"amount":"+0.8215486407279968","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":"Q1082334$5B18AA9B-243B-4EAA-879D-6B6178D178C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90814846e97cdaa36593908bff0424f65e2dbd43","datavalue":{"value":{"entity-type":"item","numeric-id":1062673,"id":"Q1062673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9e8385da155e7e80c4d75915c2980fba9d7b5e","datavalue":{"value":{"amount":"+0.8165944218635559","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":"Q1082334$51523D98-DE70-46C4-896E-BB5DB755BF19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1082334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1082334"}}}}}