{"entities":{"Q1407572":{"pageid":1418312,"ns":120,"title":"Item:Q1407572","lastrevid":68634150,"modified":"2026-04-13T01:04:57Z","type":"item","id":"Q1407572","labels":{"en":{"language":"en","value":"Prime ideals on \\(P_\\omega(\\lambda)\\) with the partition property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982498"}},"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":"Q1407572$4B193B18-C420-4FD5-8EF5-F3C15D1C353E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83c1520fc06d30c17f95b72faae320e728b3c0db","datavalue":{"value":{"text":"Prime ideals on \\(P_\\omega(\\lambda)\\) with the partition property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407572$9EC16B01-CBB0-409B-A8BD-12F98FD6ED9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"980cff4890865b0e31b8d604f57791b729dde62c","datavalue":{"value":"1025.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$E3237559-DCA0-4821-AF75-62F38B289CB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b160cbe93cec725e3ada91d17e709245c11fa9a","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407572$D68631EE-F1BA-4E94-BDAE-A32D60923051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01bcc723735962fc10890bf882a2c1d313a51753","datavalue":{"value":{"entity-type":"item","numeric-id":506977,"id":"Q506977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407572$2DAB3E65-DE41-450D-B411-868AB1F9DEBB","rank":"normal"},{"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":"Q1407572$C1CEBF51-6903-4065-95C1-2C5E5B4CF585","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407572$A0A3A153-166E-4B60-927D-43A5BB5FAC74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407572$16BAD0FC-E7FB-4373-BA19-145C63F4D420","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ede2f05f83f3e6641ade5f5922b4b795c300ac98","datavalue":{"value":"If \\({\\mathcal I}\\) is an ideal on \\({\\mathcal P}_\\omega(\\lambda) = [\\lambda]^{<\\omega}\\) (the collection of finite subsets of \\(\\lambda\\)), we say that \\({\\mathcal I}\\) has the partition property if for every natural number \\(n\\), every \\({\\mathcal I}\\)-positive set \\(P\\) and every \\(2\\)-colouring of the \\(n\\)-element subsets of \\(P\\) there is an \\({\\mathcal I}\\)-positive homogeneous set for that colouring.    The following statement is a reformulation of well-known results: If Martin's Axiom holds, then there is a prime ideal on \\([\\omega]^{<\\omega}\\) with the partition property. The authors generalize this by showing that Martin's Axiom implies that for every \\(\\lambda < 2^{\\aleph_0}\\) there is a prime ideal on \\([\\lambda]^{<\\omega}\\) with the partition property. The paper contains further technical refinements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407572$3B49DA90-8E2B-4166-AFC2-46998F0A009B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$E390034B-6EED-4B45-AE3E-F0AA62A9F4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$9B3C81F0-E521-405B-8227-E3EE54F1AFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$29A47809-83F6-4414-8D88-C8C1D4517B3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2166df1998af2388559e413a009c1047513e4788","datavalue":{"value":"1982498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$CB5BCDFF-3D12-4FC3-B224-8145F4AFEB30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8737a3bfa3e747a567530e2a49036af49c02e6","datavalue":{"value":"partition property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407572$2B5C254C-71FB-445A-BADF-9DA13F627650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e104fc9083dc8c4e491b340ba5128d82bfc9b1","datavalue":{"value":"colouring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407572$7B4F391D-071F-495E-AB6A-B4710B1C785E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9c5ab03fd2ec16cb078caba1f8466415beeff2","datavalue":{"value":"prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407572$FADC736A-D781-4414-AB47-857BDA574669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc7b466a4d1a5964a02eb6d2cf2df29dcce62d7","datavalue":{"value":"Martin's Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407572$1A941C1E-9D4A-48CD-B1CF-E040E8B202C5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf85268203a3a926d9459f86d04a505e47eeb3a6","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407572$AD50BD05-4295-48F8-B95A-A2D2221EBFB2","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":"Q1407572$E9FC4EB4-3758-4896-BB74-6F4FAC0E928C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df453b5d39d068a97111e5e20db568e89cf0a637","datavalue":{"value":"https://doi.org/10.1007/s001530200140","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407572$4298EC24-A20F-4EBE-AB53-A7A8FF827724","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8d8c4b4c4e15f00472e495f6fda0ec714bcadcc","datavalue":{"value":"W1981154291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$6030A24E-A2C6-424A-A097-D9D87049B689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0908ff1777eaaa9e3cd323a1903cd057b37e3c12","datavalue":{"value":"10.1007/S001530200140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407572$94081798-3BEA-4E93-8A6B-10A91F9CEF76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a9c275443b15a8359d95d17f4f4424583ed47f","datavalue":{"value":{"entity-type":"item","numeric-id":1874243,"id":"Q1874243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8362e724de34011d829d53c2fe3147f3b513c50c","datavalue":{"value":{"amount":"+0.7783179879188538","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":"Q1407572$33BF21AB-E078-4FBA-B669-66F21F4F67A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bdb24910fbd9d55b3a05eac8d28dcadf8e09ab6","datavalue":{"value":{"entity-type":"item","numeric-id":453185,"id":"Q453185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064560f16051dc739fbeeb49ebbc614e1c0a0871","datavalue":{"value":{"amount":"+0.7780591249465942","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":"Q1407572$2AA6CA00-A2B8-45B9-A499-45E733D4422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb35e5bf7e5d8477206911883e4d2020a190d30","datavalue":{"value":{"entity-type":"item","numeric-id":678262,"id":"Q678262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651e59313acf9417e3c88ff4adc86517ead7853f","datavalue":{"value":{"amount":"+0.7772927284240723","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":"Q1407572$EA4148E6-AAAB-4558-B21D-CC9D188C8A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f034e200cce47ac28a77143ab7a991621d9cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4366135,"id":"Q4366135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0d42f819edd4d9aecfd1da2397cc1b1ebe486e","datavalue":{"value":{"amount":"+0.7692729234695435","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":"Q1407572$BFF6AF53-C2B1-40E3-BCAC-DA4168090252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b6b09680ce4904fc81ee88cf9be5e97e05532c","datavalue":{"value":{"entity-type":"item","numeric-id":2773369,"id":"Q2773369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84160d9a227db064f99a7233775a9d1ec85cffa","datavalue":{"value":{"amount":"+0.7607449293136597","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":"Q1407572$5289DC3C-7212-460D-B0BF-CC8C8D5DD349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prime ideals on \\(P \\omega(\\lambda)\\) with the partition property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prime_ideals_on_%5C(P_%5Comega(%5Clambda)%5C)_with_the_partition_property"}}}}}