{"entities":{"Q579247":{"pageid":581014,"ns":120,"title":"Item:Q579247","lastrevid":62922948,"modified":"2026-04-11T09:00:43Z","type":"item","id":"Q579247","labels":{"en":{"language":"en","value":"A theorem and some consistency results in partition calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014699"}},"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":"Q579247$D5BC4C64-B1DF-4700-9915-43B222E44FD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d75235496388098693086edb3d2ed49f417c8b","datavalue":{"value":{"text":"A theorem and some consistency results in partition calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579247$C29D3FDB-2142-45A2-90DF-EDE016E747D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68622c8d1db7e3d99b9bdd18fd0decd91bc43e6","datavalue":{"value":"0625.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579247$17FF2738-C172-41A1-830A-AFD7DDABDBC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be9b41f2f80d4ea1a62df3977ff28ea21b9b3fe9","datavalue":{"value":"10.1016/0168-0072(87)90015-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579247$18E83D1E-318C-4C6A-9919-85AE6EE89E43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$94D7CF76-943E-488F-B763-F9E345CC7E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ca8e9cd56b0b792900a19231044b78c478a68","datavalue":{"value":{"entity-type":"item","numeric-id":793717,"id":"Q793717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$7C38AC16-EC46-484B-8F10-5441A982024E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$D37EE8D4-5382-4323-981E-11AC089C2C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q579247$CE542C71-EC59-4CBE-804D-5D69CB3D52CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6063d9149be90e2b97c0679ec8f707700ffb4e7","datavalue":{"value":"For ordinals \\(\\alpha\\), \\(\\beta\\), \\(\\gamma\\) (the order type is concerned, not the cardinality) say \\(\\alpha \\to (\\beta,\\gamma)^ 2\\) iff whenever \\(f:[\\alpha]^ 2\\to 2\\) there is an \\(x\\subset \\alpha\\) s.t. either x has order type \\(\\beta\\) and \\(\\forall (a,b)\\in [x]^ 2\\) \\(f(a,b)=0\\) or x has order type \\(\\gamma\\) and \\(\\forall (a,b)\\in [x]^ 2\\) \\(f(a,b)=1.\\)    It is shown that for regular \\(\\kappa\\) such that \\(\\forall \\lambda <\\kappa\\), \\(\\lambda^{\\aleph_ 0}<\\kappa\\) and \\(k<\\omega\\kappa \\omega \\to (\\kappa \\omega,k)^ 2\\). Various consistency results are given, e.g.: \\(ZFC+\\omega_ 2\\omega \\to (\\omega_ 2\\omega,3)^ 2+\\omega_ 3\\omega_ 1\\nrightarrow (\\omega_ 3\\omega_ 1,3)^ 2\\). These are extensions of the Erd\u0151s-Rado and Erd\u0151s-Dushnik-Miller theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579247$22415F4F-1FA7-4F96-A28F-2B25C44FAEC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579247$903526B0-44D9-4109-9050-5D9C7AB36566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579247$D8123360-5E94-4460-B76A-5F0A7CE5BECF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3a8c967183a3e0196473d04cd92ed75d468fd81","datavalue":{"value":"4014699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579247$8E94DBF1-1AEE-469A-98B5-002613D45FBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f281ec307906b659558808d77f3d875c977f51","datavalue":{"value":"partition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q579247$61A83A89-F512-42FB-85F1-691E227361D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c662b644cf3bfb15ff11ba35b40c3bbf14ec7","datavalue":{"value":"order type","type":"string"},"datatype":"string"},"type":"statement","id":"Q579247$4E193CC5-04D9-478B-A6A1-4B2D576784D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb6815c56be296a43b1e45c998051a731d53c16","datavalue":{"value":"consistency results","type":"string"},"datatype":"string"},"type":"statement","id":"Q579247$91E288A6-38F5-43A0-85CA-5D7A883FB5F5","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":"Q579247$730FEA8B-D795-4299-BDC3-4258E75DF489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93488df561566fc8152fe92850b09223baf7829a","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90015-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q579247$9EAA0E2B-2968-4B6A-9722-D2731BC56CF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f103e1d172666e256a0953feac314eb0fd03aca","datavalue":{"value":"W2002646945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579247$47684567-10EB-4500-9785-DA603478A2EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6e835098d61b73afd9764ca95240a656df228","datavalue":{"value":{"entity-type":"item","numeric-id":1101447,"id":"Q1101447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$2BDE90E8-D7D9-4FBC-9832-CD6B2D1E98FF","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":"Q579247$1DC2638D-1F4F-4BC9-91C3-9B1F5D06A046","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":"Q579247$2F49EAA2-C28C-4113-B5A5-7D145A5C1E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2681a42f7fa3bc4c8480f30492e2558512dc01","datavalue":{"value":{"entity-type":"item","numeric-id":4180344,"id":"Q4180344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$F4FB55BF-5FDC-4127-B77C-0BB568748CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9005b0cd02e917a6d96f890e73493c49f94fa2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5617632,"id":"Q5617632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$7933EFE6-7178-423D-8DDA-2A310092B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$D566C60C-1CD1-45E8-974E-A54BA30E79D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$60ED303D-63EF-49B2-824D-EF166B43D5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$48181081-ACAF-4A34-A30C-B7A8819282E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b3e427d257bbb8806ca2663b1c642af6528cf7","datavalue":{"value":{"entity-type":"item","numeric-id":3880838,"id":"Q3880838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$A33FD629-F5A2-46F0-B430-A30776CED4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b123ac4de8b08476a002210fa27f0aa27086ef","datavalue":{"value":{"entity-type":"item","numeric-id":3926574,"id":"Q3926574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$64729AE0-53F5-4038-BA90-FA9F9EC0783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff82db89f51e5bfeab37fdb184662a32038e93","datavalue":{"value":{"entity-type":"item","numeric-id":1155611,"id":"Q1155611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$61EBF9F0-2EAA-4F49-8FF9-4F598E260F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8e87447009955dfb22d5c75cb5cfe210c5e371","datavalue":{"value":{"entity-type":"item","numeric-id":1050337,"id":"Q1050337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$2949F30C-4FCC-4D72-9F9F-C7C0D82642DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add8b17afa044faed8e74ee47fbfbfba4564f995","datavalue":{"value":{"entity-type":"item","numeric-id":1094419,"id":"Q1094419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$F7B07815-3B53-45BC-A41B-F172D29C9220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15059a23b78959d88f6adff6225c1f1d7928bc33","datavalue":{"value":{"entity-type":"item","numeric-id":1261907,"id":"Q1261907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$30C1579D-0AA6-4DFE-8AD6-CECD58AB1F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08491e3ba3a3373b9812fe2bba493045fc81b75","datavalue":{"value":{"entity-type":"item","numeric-id":3671150,"id":"Q3671150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$4D47C144-50B9-470D-BBB8-AE1487A5CE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8445fda98519d0e345fda1cd87bfa24258646412","datavalue":{"value":{"entity-type":"item","numeric-id":3693524,"id":"Q3693524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$099614A2-1651-4DAC-9BC4-446EF0509FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bcad747c709a89e6499e41128350399fd98207","datavalue":{"value":{"entity-type":"item","numeric-id":3693525,"id":"Q3693525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579247$5B2C80E7-F561-40C6-873E-115DDAD1693C","rank":"normal"}],"P1643":[{"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":"052cea37c52982ab7e078b3a96a1f5d48fd0919b","datavalue":{"value":{"amount":"+0.8319018483161926","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":"Q579247$5EAB6585-C6D2-42C2-869D-955ADC9A154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3cbecad49bc966065d8d363add64d553689cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3215221,"id":"Q3215221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065a9929785c007d54a19b4eb0b56532080cb36e","datavalue":{"value":{"amount":"+0.8315368294715881","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":"Q579247$ECCB4D6E-CBEA-4C80-8924-CEB1E2DF23F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe10e3b53f026f9e2750eccadc016d4eec17b476","datavalue":{"value":{"entity-type":"item","numeric-id":4550718,"id":"Q4550718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba987b587f4111918aa612aa74324d91e3131053","datavalue":{"value":{"amount":"+0.8157397508621216","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":"Q579247$3558C9CD-1847-4201-B1C2-68579ED12BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234d2cf7ccc747c82f0ad89275fc19c5a5b9326d","datavalue":{"value":{"entity-type":"item","numeric-id":2559470,"id":"Q2559470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786156bdb4507132128633ec52ca3488fdb979d4","datavalue":{"value":{"amount":"+0.8153702616691589","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":"Q579247$B8B2914F-9CC5-45B8-9121-6ABD8C0B504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65164a8ec79c2ecbee98ed03fde7a038e8b3c4e5","datavalue":{"value":{"entity-type":"item","numeric-id":4281264,"id":"Q4281264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bc58005efa7c0af5818cfded1a0546bd280248","datavalue":{"value":{"amount":"+0.8147727847099304","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":"Q579247$150FE6CD-AFA9-4334-A412-6C577CA07697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem and some consistency results in partition calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_and_some_consistency_results_in_partition_calculus"}}}}}