{"entities":{"Q1961228":{"pageid":1971970,"ns":120,"title":"Item:Q1961228","lastrevid":57653733,"modified":"2026-03-31T19:28:09Z","type":"item","id":"Q1961228","labels":{"en":{"language":"en","value":"Special subsets of \\(^{\\text{cf}(\\mu)}\\mu\\), Boolean algebras and Maharam measure algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389493"}},"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":"Q1961228$9AEB85BF-96BB-4530-8CDD-E8C8F0141481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a31a43ce403aeae897bf95b41b933e7be1037f7a","datavalue":{"value":{"text":"Special subsets of \\(^{\\text{cf}(\\mu)}\\mu\\), Boolean algebras and Maharam measure algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961228$D93E44C4-2756-4F54-AA09-3811FC255B0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c328e5db9d41fabe16b48d6f39511cd5cd067c04","datavalue":{"value":"0941.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$A18E8B8E-18B6-4611-A147-C92DD8AA434D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9880bfa465ca68ac3435e53efc6f962f8a197123","datavalue":{"value":"10.1016/S0166-8641(99)00138-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$99F2FA3B-2BAB-44E4-8FA2-2E419610CC3F","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":"Q1961228$DC9A5AC7-5E6F-4397-8233-854BEFA65CA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961228$02795E7E-1BCB-43D8-BD96-C066ED39F5E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d7a89a9428fbfeb287b4717dceb647bf93a7d57","datavalue":{"value":{"time":"+2000-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961228$69582845-360C-4630-AE18-628CB0FA1240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5a9c8a4823611d68ab91d685391fc33a6013102","datavalue":{"value":"https://arxiv.org/abs/math/9804156","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961228$E405B33F-471A-48DE-B836-2FC5081A9D08","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9e85096a83fbeaf801b909a3d15059af5dc6570","datavalue":{"value":"Let \\(\\overline I=\\langle I_i:i<\\delta\\rangle\\) be a sequence of ideals on \\(\\text{Dom}(I_i)\\), let \\(\\overline\\eta= \\langle\\eta_\\alpha:\\alpha<\\lambda\\rangle\\) be a sequence of members of \\(\\prod_{i<\\delta}\\text{Dom}(I_i)\\), and let \\(I\\), \\(J\\) be ideals on \\(\\lambda\\) and \\(\\delta\\), respectively. It is said that \\(\\overline\\eta\\) is a \\((\\lambda,I,J)\\)-sequence for \\(\\overline I\\) if \\(\\{i<\\delta: \\{\\eta_\\alpha(i):\\alpha\\in X\\}\\in I_i\\}\\in J\\) for every \\(X\\subseteq\\lambda\\), \\(X\\notin I\\). If \\(I_i\\) is \\(\\kappa_i\\)-complete, \\(\\kappa_i>\\sum_{j<i}\\kappa_j\\), \\(\\mu=\\sum_{i<\\delta}\\kappa_i\\) is strong limit, \\(|\\text{Dom}(I_i)|<\\mu\\) and \\(2^\\mu=\\mu^+=\\lambda\\), then there is such a sequence for ideals \\(I\\), \\(J\\) of bounded subsets of \\(\\lambda\\) and \\(\\delta\\), respectively. The main point of this paper is to build a \\((\\lambda,I,J)\\)-sequence without using \\(2^{\\mu^+}=\\mu^+\\). The author handles these cases: 1. \\(I_i=J^{\\text{bd}}_{\\lambda_i}\\) (the ideal of bounded subsets of \\(\\lambda_i\\)), \\(\\lambda=\\text{cf}(\\prod_{i<\\delta}\\lambda_i/J)\\); 2. \\(I_i=\\prod_{l<n_i} J^{\\text{bd}}_{\\lambda_{l,i}}\\) where \\(\\lambda_{l,i}\\) are regular increasing with \\(l\\) and \\(i\\), and \\(J\\) is an ideal on \\(\\{(i,l):i<\\delta\\), \\(l<n_i\\}\\); 3. \\(I_i=\\prod_{l<n_i} J^{\\text{bd}}_{\\lambda_{l,i}}\\) where \\(\\lambda_{l,i}\\) are regular decreasing with \\(l\\); and 4. two modifications of case 3 with nonstationary ideals or club guessing ideals instead of \\(J^{\\text{bd}}_{\\lambda_{l,i}}\\). The ideals \\(I\\) and \\(J\\) are often chosen to be \\(J^{\\text{bd}}_{\\lambda}\\) and \\(J^{\\text{bd}}_{\\delta}\\), respectively. Some results are obtained directly using pcf assumptions while, on the other hand, it is shown also that these assumptions are very reasonable. The existence of \\((\\lambda,I,J)\\)-sequences is one of the main tools throughout the paper.    The second theme of the paper is the question when a Boolean algebra \\(\\mathbf B\\) has a free caliber \\(\\lambda\\) (i.e., when for every set \\(X\\subseteq\\mathbf B\\) with \\(|X|=\\lambda\\), there is \\(Y\\subseteq X\\) with \\(|Y|=\\lambda\\) such that \\(Y\\) is independent). Some results in this direction are obtained for Maharam measure algebras, ``small'' products of free Boolean algebras and \\(\\kappa\\)-c.c.\\ Boolean algebras. Further, it is proved that in Maharam measure algebra \\(\\mathbf B(\\mu)\\) (with \\(\\lambda=\\mu^+=2^\\mu\\) where \\(\\mu\\) is strong limit singular with countable cofinality) there is a strongly \\(\\lambda\\)-anti-independent set of intervals (i.e., a system of intervals \\(\\{(a_\\alpha,b_\\alpha):\\alpha<\\alpha^*\\}\\) such that if \\(\\mathbf B'\\supseteq\\mathbf B(\\mu)\\), \\(X\\in[\\alpha^*]^\\lambda\\) and \\(a_\\alpha\\leq x_\\alpha\\leq b_\\alpha\\) in \\(\\mathbf B'\\) for \\(\\alpha\\in X\\) then there are \\(n<\\omega\\), \\(\\alpha_0<\\alpha_1<\\dots<\\alpha_{n-1}\\) from \\(X\\) such that some nontrivial Boolean combination of \\(\\langle x_{\\alpha_l}:l<n\\rangle\\) is zero). It follows that \\(\\mathbf B(\\mu)\\) has a subalgebra of cardinality and dimension \\(\\lambda\\) with no independent set of cardinality \\(\\lambda\\) and there is a Hausdorff compact zero-dimensional space with measure on the family of Borel sets and having dimension \\(\\lambda\\) so that as a measure space it is isomorphic to the Maharam space \\(\\mathcal B(\\lambda)\\) but there is no homeomorphism from \\(X\\) onto \\(^\\lambda 2\\).    It was a question of Monk whether \\((\\beth_\\omega)^+\\) is a free caliber of the product of the free Boolean algebras \\(\\text{FBA}(\\beth_n)\\) with \\(\\beth_n\\) generators for \\(n<\\omega\\). It is shown using some \\((\\lambda,I,J)\\)-sequences that this is consistently not true. On the other hand \\(\\prod_{i<\\omega_1}\\text{FBA}(\\beth_i)\\) has free caliber \\((\\beth_{\\omega_1})^+\\). The proof involves some pcf considerations. Solving another problem of D. Monk it is proved that if \\(\\kappa\\) is a weakly inaccessible cardinal such that \\(\\langle 2^\\mu:\\mu<\\kappa\\rangle\\) is not eventually constant then there is a Boolean algebra of cardinality \\(2^{<\\kappa}\\) with no independent subsets of cardinality \\(\\kappa^+\\). Deducing from \\textit{M. Gitik} and \\textit{S. Shelah} [``On densities of box products'', Topology Appl. 88, No. 3, 219-237 (1998; Zbl 0926.03060)] some complementary consistency results are obtained (e.g., the first mentioned question of Monk is not answerable in ZFC) and also several other problems of \\textit{J. D. Monk} [Cardinal invariants of Boolean algebras (Progress in Mathematics, Vol. 142, Birkh\u00e4user, Basel) (1996; 849.03038)] are answered.    Another question of Monk says: Assume \\(\\text{cf}(\\mu)\\leq\\kappa<\\mu< \\lambda\\leq\\mu^{\\text{cf}(\\mu)}\\). Is there a Boolean algebra of cardinality \\(\\lambda\\) satisfying \\(\\kappa\\)-c.c.\\ with no independent set of cardinality \\(\\lambda\\)? The consistency of the failure of this condition is proved although it is proved that ``almost always'' there is such a Boolean algebra. Finally, for several invariants \\(\\text{inv}\\) (\\(\\text{inv}=\\text{irr}\\), \\(s\\), \\(\\text{hL}\\), \\(\\text{hd}\\), \\(\\text{Length}\\)) of Boolean algebras consistency of the existence of Boolean algebras \\(B_n\\) and a nonprincipal ultrafilter \\(\\mathcal D\\) such that \\(\\text{inv}(\\prod_{n<\\omega}B_n/\\mathcal D)> (\\prod_{n<\\omega}\\text{inv}(B_n))/\\mathcal D\\) is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$E68CAE19-BE98-4FE2-952D-1BAACA761C8D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961228$F6368977-939D-43CF-870C-F6FCEC90768A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$BF25FB6B-90EB-4599-BDA8-722C6E5FD6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$BF05D0D4-3FD5-41B2-972B-17311C93BFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b228c9ee3c97685ba8b4fbcb638c637eaa9c7ea","datavalue":{"value":"28A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$8E0740B3-FBC4-4138-851D-8953B7B3B410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$E3A44AED-523B-4AA4-9638-BC710E8FA637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$629F2B25-E40B-4653-9A70-CC5AC2941351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$BAB93335-059B-4EAF-A2A2-43057EF08442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efe274555ff80db6fca8db8ef39529ea76814e9c","datavalue":{"value":"1389493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961228$A633E962-1B83-4450-A40D-BAD84DFE1D75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb77774c8eab49a7e996e78114ff831fbf047d7","datavalue":{"value":"cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$CB005772-2AD4-4400-848E-07755E9E0D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$6C811809-C855-4C7F-B357-49045C15BB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bcb25d72ce1f365aa26ad9c4608837510859f36","datavalue":{"value":"Maharam algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$D51CB1CD-416F-44C7-A0F8-270AE5323330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69e8f0ef466ad8d5d2b9d04ba9afca0e98d0eca","datavalue":{"value":"pcf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$61033103-6511-4DC8-988A-D95653D105A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a1d0c4a453aeef9d87032a204a71a0eacb2d21","datavalue":{"value":"free caliber","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$682019D1-AB7C-4A0F-AA86-15F43C36EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0adca84d7d526d7981a83cc510376e47427b5c","datavalue":{"value":"ideal of bounded subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$ACDEFE2D-3CA9-4311-81B0-B917A52509EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace644b8ddc8e621d1f67bc3c25bdba4abfc029d","datavalue":{"value":"nonstationary ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$50547C20-14E0-43EB-A986-5B0E86C77CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa140b2fbae0335d13f9e0fd67108677c3302af","datavalue":{"value":"club guessing ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$6B0F7DEB-6D8D-4BC8-AD73-FF7C270875C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961228$2C0F2BC0-7DF3-4716-9EA7-712B9373D8E1","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":"Q1961228$52FE3ABC-9C53-46E5-A797-A671256769F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c4a15459803238780ac68fba9aaa26d97c7042","datavalue":{"value":{"entity-type":"item","numeric-id":2897377,"id":"Q2897377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0248f79a536df5a2edb0b29f6f32deaa7b2ec90","datavalue":{"value":{"amount":"+0.8077590465545654","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":"Q1961228$A2BCD19E-1139-422D-AE63-2946AEDC05E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703c4e591a5abb08178194c6a1fc8e442b61ebe6","datavalue":{"value":{"entity-type":"item","numeric-id":1977483,"id":"Q1977483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdd8008b32136e1374b8bfc136c86f8129d47c3","datavalue":{"value":{"amount":"+0.795677661895752","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":"Q1961228$DABFCC63-3889-4A7D-938B-492B11143F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e67ca33ef6572c47badda73ef1def129a29310e","datavalue":{"value":{"entity-type":"item","numeric-id":1412835,"id":"Q1412835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ebfc87fca22ea8030b099794f843f96230bdaf","datavalue":{"value":{"amount":"+0.7955532670021057","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":"Q1961228$39E41140-EBC9-4456-BC62-6D4AF6EC3388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9660718e4e2c49a847464d5db602055c3b939f","datavalue":{"value":{"entity-type":"item","numeric-id":2274146,"id":"Q2274146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62b9d33e9767cd68e06275fa4d2c883a7fc225e","datavalue":{"value":{"amount":"+0.7828435897827148","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":"Q1961228$EBEA396D-4489-42D5-8BCE-D6B0550785AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01e14119139990e70da51c2e4fe8052c85a578e","datavalue":{"value":{"entity-type":"item","numeric-id":1012330,"id":"Q1012330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755eca5bdb68c6d29ed1729e1aa7f5f6a56a3654","datavalue":{"value":{"amount":"+0.7805373072624207","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":"Q1961228$B9D07D75-910A-4951-B349-B2487F1F3BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961228"}}}}}