{"entities":{"Q802579":{"pageid":804427,"ns":120,"title":"Item:Q802579","lastrevid":64488792,"modified":"2026-04-11T20:13:16Z","type":"item","id":"Q802579","labels":{"en":{"language":"en","value":"A cofinal coloring theorem for partially ordered algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891431"}},"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":"Q802579$25738D9E-674B-4C03-835C-E109F84F9253","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef939fe947e271673a5399658ddd6627c18e7b7b","datavalue":{"value":{"text":"A cofinal coloring theorem for partially ordered algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802579$9013CB43-C527-490E-98D4-D626BCAE7EAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77396e81c25adfa6bb7f0796b4e1b7ed1836f181","datavalue":{"value":"0559.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$E483680E-2EC8-4B5D-8DD0-DC80B35A0F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c02c0d3503eba274cb5d62136a8ce4a00fd9de3","datavalue":{"value":"10.1007/BF00383602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$79DE2AF1-A8DE-48B7-BA0C-285298757B3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1204aadee02121ad3182e79e1036605f581a6e","datavalue":{"value":{"entity-type":"item","numeric-id":351796,"id":"Q351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802579$DDCE02AA-C7BC-4D3F-BF4F-0888C4EE9F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab5763e6c5f218390b14aa0e77e4222af4ea7fa","datavalue":{"value":{"entity-type":"item","numeric-id":6480983,"id":"Q6480983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802579$686C3011-1DF3-4864-855A-54FD0C60D0B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802579$6F8C6B2C-A1CE-47F1-BE8E-52449166AD21","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":"Q802579$B4C87CF0-EA14-4C65-BD08-6B3A8747843F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9cb48ba51ab50bfdfe73742bb0e50ff3c1307f8","datavalue":{"value":"Let P be a partially ordered set. A subset T in P is said to be majorized by a subset \\(S\\subset P\\) if for any \\(t\\in T\\) there exists \\(s\\in S\\) such that \\(t\\leq s\\). P is directed if any 2-element set is majorized by a singleton. A subset S is cofinal in P if S majorizes P itself. Cofinality of P means the least cardinality of a cofinal subset in P. It is proved that if P is a directed partially ordered algebra of an appropriate sort and has cofinality \\(\\alpha\\) then P has a family of \\(\\alpha\\) disjoint subalgebras each cofinal in P. A version of this result is also proved without the directedness condition in which the cofinality of P is replaced by an invariant which is called global cofinality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802579$C7D16154-A847-4261-A66F-AD44910A634B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$B432CA59-5C2B-4DFA-A444-B7B6FB19A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$E2D288CF-601D-4205-92F4-BAC28C41BD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$099C6916-D7D0-4E4B-B895-68A9A83308A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$873AE6DE-800F-424A-9BAB-82820FAAEFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$DA76E0C1-F368-4B00-8F91-588DA4B501D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8b334077bed1c857bf2dbecc84e00f141789672","datavalue":{"value":"3891431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802579$4B902F4C-09AB-481D-9627-2374BD9689F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q802579$8006C117-45B4-475A-8F65-71109454AE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279451c2ad7ad35b42d2ea85940dba4506b888ef","datavalue":{"value":"directed partially ordered algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q802579$C13EB037-ED80-4F24-A16C-9E6CF92A2482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb77774c8eab49a7e996e78114ff831fbf047d7","datavalue":{"value":"cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q802579$538C754E-D603-4C81-A161-E063F6F6790A","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":"Q802579$47A605E4-D660-432D-AC57-FEFFDF8B1571","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4821a50b8e39deda4c25804b4fbb5518d04d9743","datavalue":{"value":{"entity-type":"item","numeric-id":3950595,"id":"Q3950595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802579$6C484A78-5C09-4012-A4FE-D1DD6615C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4556302a72678c349a84e4eed0140e2432855cf","datavalue":{"value":{"entity-type":"item","numeric-id":5549088,"id":"Q5549088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802579$BCE7182F-551A-49AC-8F2E-93368DC9E719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22d60fb20ac4fb374aa6224b2d4f457b1e8d498","datavalue":{"value":{"entity-type":"item","numeric-id":3688440,"id":"Q3688440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ab0894d461fba7835ef81d3977af67c52c631e","datavalue":{"value":{"amount":"+0.7734086513519287","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":"Q802579$EDDE891B-24DE-4FA0-9AA3-A37C99BB0373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e522de68f0f74d163db1bf55cee837d221e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":3986142,"id":"Q3986142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a4a42acd68cc4b24d7019018c74c9cfef972b7","datavalue":{"value":{"amount":"+0.7475917339324951","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":"Q802579$4FCF9B7B-82E8-4BDE-8331-0B3BDBBE75AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da5b3fcc204a94819edfda0c324155e61bee328","datavalue":{"value":{"entity-type":"item","numeric-id":1088699,"id":"Q1088699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73994516e693240d1bbc144323fa5e0d980650c4","datavalue":{"value":{"amount":"+0.7458573579788208","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":"Q802579$B9439575-7621-4ED3-8868-2064A0ABE143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023344c94f80f02208c398658a36ed78dc74b55e","datavalue":{"value":{"entity-type":"item","numeric-id":792354,"id":"Q792354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2999defb711c13f53ac42dc569906363a257aba","datavalue":{"value":{"amount":"+0.731552243232727","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":"Q802579$294D19EE-8038-4644-B752-A683D7EE40E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1144f84ef4b1ad547a20378f3c11e03b5f0914","datavalue":{"value":{"entity-type":"item","numeric-id":3720587,"id":"Q3720587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca8931e0c60f7cb97b23e63624b7209f3c9b10b","datavalue":{"value":{"amount":"+0.722626268863678","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":"Q802579$4D6B0286-6E39-4C77-8342-AF89E76FB846","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cofinal coloring theorem for partially ordered algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cofinal_coloring_theorem_for_partially_ordered_algebras"}}}}}