{"entities":{"Q1187302":{"pageid":1198051,"ns":120,"title":"Item:Q1187302","lastrevid":42314979,"modified":"2025-06-05T13:41:53Z","type":"item","id":"Q1187302","labels":{"en":{"language":"en","value":"Strong negative partition relations below the continuum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39069"}},"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":"Q1187302$3B5E0125-7946-4F70-BA11-DBFE1C25FB16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fb72d011c0210223819daf6833c325c44e097f9","datavalue":{"value":{"text":"Strong negative partition relations below the continuum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187302$F92F63B7-6FBD-45FD-89C3-82D40DB66735","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"582a7cb403de998cd04e73ed7007cc87563418fb","datavalue":{"value":"0773.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187302$09C16D10-9A12-4698-9935-6C648A798F24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6cc7d8f4d3dd222be16e4afdee17ab326023990","datavalue":{"value":"10.1007/BF01903551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187302$64CB4783-FA03-4551-8A30-62581AC3A421","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":"Q1187302$8377A771-854E-4CE0-A400-D593F0F9E193","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$5AA108CD-0E9A-49B7-B944-9F79B6B6DB9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187302$FA785C18-8031-45FE-86B9-957928CDF836","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3b14b6dc7db4c232741ce2c5fdacbbe32e38a65","datavalue":{"value":"Let \\(\\lambda\\) be an uncountable cardinal. Then \\(\\text{Pr}^ +(\\lambda)\\) (respectively \\(\\text{Pr}(\\lambda)\\)) asserts the existence of a symmetric function \\(c: \\lambda\\times\\lambda\\to\\lambda\\) with the property that for every \\(n\\) with \\(0<n<\\omega\\), every one-to-one function \\(f:n\\times\\lambda\\to\\lambda\\) and every function (resp. constant function) \\(h:n \\times n\\to\\lambda\\), there are \\(\\alpha<\\beta\\) such that \\(c(f(i,\\alpha),f(j,\\beta))=h(i,j)\\) for all \\(i,j<n\\).   The main result of the paper is that \\(\\text{Pr}(\\lambda)\\) holds whenever there is a nonreflecting stationary subset \\(S\\) of \\(\\lambda\\) with \\(S\\subseteq\\{\\alpha\\): \\(\\text{cf}(\\alpha)>\\omega_ 1\\}\\). It is also shown that \\(\\text{Pr}^ +(\\lambda)\\) follows from \\(\\text{Pr}(\\lambda)\\) in case \\(\\lambda\\) is regular but not a strong limit. Assuming that \\(\\lambda\\) is the successor of a regular \\(\\kappa>\\omega_ 1\\), the author gives applications to Boolean algebras (the product of two \\(\\lambda\\)-c.c. Boolean algebras may lack the \\(\\lambda\\)-c.c.) and to set-theoretic topology (there exists a \\(\\lambda\\)-separable (respectively \\(\\lambda\\)- Lindel\u00f6f) Hausdorff space that is not \\(\\lambda\\)-Lindel\u00f6f (resp. \\(\\lambda\\)-separable)). See J. Symb. Logic 55, No. 1, 21-31 (1990; Zbl 0708.03026) by the same author for closely related results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187302$C319AD8D-282B-48F9-8784-3867788DEB00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187302$9CDF6DD5-4352-40B4-9B44-5762ED3335A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187302$DEE70BD3-A6A7-41FB-AD7F-27388C6FBEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ebfe8846f48239a1d6e29401fb4f5fcf750078d","datavalue":{"value":"54G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187302$7B4BF151-9590-495E-8C8E-C2A6BBE88C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"826ff68d48dfedcb4eb5e711e04621f1baf5c856","datavalue":{"value":"39069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187302$0D12E75A-BF1D-4A1E-B5DD-F65F8C229CC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39d72418cfd7ee5f3cf2b32dacefeaf0c3c420e","datavalue":{"value":"partition relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187302$EFF8118A-427F-4221-8BB7-09C57AB34053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa924fc793443ff750422b62bd23c0f665f295e2","datavalue":{"value":"product of Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187302$C98A1809-7791-4BD4-842A-59691B76CC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ebe08c363ffa0cba994f252965dc6865d68bb89","datavalue":{"value":"stationary subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187302$71079EC3-CFA9-4D0B-814B-AB868710AB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82245eaf4d3c45639a34b76766669c05cf2342aa","datavalue":{"value":"Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187302$1DC936A9-0621-4E41-B14E-61B28F678464","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$5FC172CF-4719-4208-AB6E-43F6EFD4B614","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":"Q1187302$57164015-5BAE-4633-87D9-C792B51D3DD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4854bc9210dcd748c05c948c4baabd53df231775","datavalue":{"value":{"entity-type":"item","numeric-id":1248501,"id":"Q1248501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$E7FFDC18-D9FC-48CF-BDCF-EEA85EE78E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$54D19017-C33D-4619-8FC1-C8E16D4B31E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09580e84138b1cac48ab9cac3b3b26d91ba99d83","datavalue":{"value":{"entity-type":"item","numeric-id":1110504,"id":"Q1110504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$13B15589-1335-4BF5-9F49-39E340B54E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83bee489328212ebf37437e2219d614796fbe4df","datavalue":{"value":{"entity-type":"item","numeric-id":1101446,"id":"Q1101446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$EC71522E-C222-4A3F-8AD6-78C604786A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20ac48e6897fbe24ba54c4ab78b96e47cb53491","datavalue":{"value":{"entity-type":"item","numeric-id":3489991,"id":"Q3489991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$DBAE7ACF-17E1-447F-A800-1CC9B00BA5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add39993ad64fcea5e8edce49e746268fda7e488","datavalue":{"value":{"entity-type":"item","numeric-id":1111550,"id":"Q1111550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$6B6A0F18-DE3A-44FF-9557-0EA199485E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d52f963c76e37b868a480798343fd4eade0c47","datavalue":{"value":{"entity-type":"item","numeric-id":3706144,"id":"Q3706144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$AF345441-B477-43D4-B7D3-51070F96B4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baec4f7c531e17c8d57d214a08df767e44014d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4725304,"id":"Q4725304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$51F4434C-11B9-416B-BD55-DAAC2E7CCA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5314d08e9be56bcbec81c4f8addf7f4ad89d57d8","datavalue":{"value":{"entity-type":"item","numeric-id":4005807,"id":"Q4005807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187302$886E4B73-B870-454D-9650-D14A8783884D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fb5a14ecdccacc657fa8c7ffbdd2718fb743f9","datavalue":{"value":{"entity-type":"item","numeric-id":3489991,"id":"Q3489991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484577a63f1bbf4c56682045360a77f87b2611e3","datavalue":{"value":{"amount":"+0.7500803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$185FD19C-09C9-4E13-875D-EA34649DC3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da09286bf0f8c15d34efe88cd91182d4a4eb92","datavalue":{"value":{"entity-type":"item","numeric-id":678760,"id":"Q678760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87319ad3a0f6fb0f30636340d31844fde1c21932","datavalue":{"value":{"amount":"+0.7500137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$A28B154A-2E35-4DF9-AB20-31CC4890C2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bc0a08371a313a2d3f1374f34054aacd17f3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2345437,"id":"Q2345437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3e8450705cc1854faf57f6321c1e088e25c1e0","datavalue":{"value":{"amount":"+0.73910385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$5AED01B3-3EFC-4A08-8BB5-567C95ECF47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ddf96bda5d1446a0f0493588e877971f691a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2236651,"id":"Q2236651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63abed19fdb072001a0afe59124624feb2394866","datavalue":{"value":{"amount":"+0.7333108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$BD222D87-6955-4018-8D83-79B14307CAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70cb6e69f5eb564e78c586c6d48030993c867ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2577000,"id":"Q2577000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6778f4293291c79bb0dd87b7457fb6c6fe65cadb","datavalue":{"value":{"amount":"+0.6988615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$710B30C5-2BE9-4413-B504-547B4AB0A38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06670afa3198fddfd474a24e049ae6fe064fbcd","datavalue":{"value":{"entity-type":"item","numeric-id":3597927,"id":"Q3597927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32adc808ce752291c1250605a1f3742adfbbdd1d","datavalue":{"value":{"amount":"+0.69117725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$3F3E2D08-E477-49EF-876B-0117E074675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd669265020aad7a5e479647a5372d53dc681a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1969011,"id":"Q1969011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b1e89edca4f007f1a09fd8a71cc900b628bb68","datavalue":{"value":{"amount":"+0.68695253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$798A31D4-B8E2-4E59-804E-14225C69B0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06879c35a73b0b23ae5991623aa7ef2506263cba","datavalue":{"value":{"entity-type":"item","numeric-id":4252902,"id":"Q4252902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5397096907effab450ea2789490a1c28f4fd72ea","datavalue":{"value":{"amount":"+0.6674915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$86A14631-DDE6-4449-A251-1D8BF2AECFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc3cc85a242e3d89d5992ecc4f0e87725103b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4600822,"id":"Q4600822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1daf7afa31c4b2e57675d3ef9af7132d2846fb","datavalue":{"value":{"amount":"+0.66597563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$680E358F-5D6F-44E6-9ACB-F9429C2C263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980060dcc80ac19ac154d2277dcfdaf5f5ca2b76","datavalue":{"value":{"entity-type":"item","numeric-id":3542062,"id":"Q3542062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa14c194a1fcfccf66649f816d90c1736d3c6f32","datavalue":{"value":{"amount":"+0.6626546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187302$01EFBC00-4D3E-4046-8FC0-0E7727C9C1F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1187302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1187302"}}}}}