{"entities":{"Q1109799":{"pageid":1120548,"ns":120,"title":"Item:Q1109799","lastrevid":49211824,"modified":"2026-01-06T18:51:44Z","type":"item","id":"Q1109799","labels":{"en":{"language":"en","value":"Completeness of Boolean powers of Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070978"}},"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":"Q1109799$13C1D599-3BDE-425F-AC7F-5C71ED4A7BDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b5dad234e497eca38eca1bd513b5cb63913a280","datavalue":{"value":{"text":"Completeness of Boolean powers of Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109799$AD223180-1FBF-4672-BA58-4E0401FB5D08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6652956c6745b2a5e0ed4f56d7be1652a1565dc","datavalue":{"value":"0656.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109799$8D9B11AC-45CD-4599-B9E9-C71E3E4FB6AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae05b1eed9f9b653c9451066f4933d8f29395105","datavalue":{"value":{"entity-type":"item","numeric-id":792085,"id":"Q792085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109799$E628E77B-3689-4024-9088-FA4EC25A031B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109799$56AD1614-06CA-4E8A-877A-12CA01DEC2A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1109799$E2EC38CE-406B-4673-A829-7B4092557822","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f1c10d7a1620ee20e14a3620812d0c20bf9e141","datavalue":{"value":"For complete Boolean algebras A and B, let A[B] denote the Boolean power of A by B. This paper investigates conditions under which A[B] is a complete Boolean algebra, using techniques of Boolean valued models. The link between this problem and Boolean valued models is provided by a result of \\textit{R. M. Solovay} and \\textit{S. Tennenbaum} [Ann. Math., II. Ser. 94, 201-245 (1971; Zbl 0244.02023)]: A[B] is complete if and only if \\([[ \\check A\\) is \\(complete]]^{(B)}=1\\) in the Boolean valued universe \\(V^{(B)}\\), where \u01cd is the element of \\(V^{(B)}\\) that corresponds to A in the standard universe. The results are stated in terms of B, or more precisely, the Boolean valued universe \\(V^{(B)}\\). Two interesting results from the paper are: (1) for a regular cardinal \\(\\kappa\\), \\([[ \\check A\\) is \\(complete]]^{(B)}=1\\) for every \\(\\kappa\\)-saturated complete Boolean algebra A if and only if B satisfies the \\((<\\kappa,\\infty)\\)- distributive law and \\([[ \\check A\\) is \\({\\check \\kappa}\\)- saturated\\(]]^{(B)}=1\\) for every \\(\\kappa\\)-saturated A; (2) if \\(\\kappa\\) is a regular cardinal such that \\(2^{<\\kappa}=\\kappa\\), then the following conditions are equivalent: (a) B is \\(\\kappa\\)-representable, (b) B satisfies the \\((<\\kappa,\\kappa)\\)-distributive law and \\([[ \\check A\\) is \\({\\check \\kappa}\\)- saturated\\(]]^{(B)}=1\\) for every \\(\\kappa\\)-saturated Boolean algebra A with \\(| A| \\leq \\kappa\\), (c) \\([[ \\check A\\) is \\(complete]]^{(B)}=1\\) for every \\(\\kappa\\)-saturated complete Boolean algebra A with \\(| A| \\leq \\kappa\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109799$B2248815-88C3-412A-8CC2-721BB94E6105","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109799$864F79DB-B221-4220-BE40-D625540CC8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109799$1A21925F-BB7C-46B3-AA9A-37873586F28C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386b621d35042107868d5b4294a28cb82563d7c8","datavalue":{"value":"4070978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109799$E62CF90D-F256-468D-84F9-895189CCBD48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b086748560b23632edc941ffb14a5c442355b83c","datavalue":{"value":"complete Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109799$1A7F42EF-4169-4D85-8F2B-F28E9F3106CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c2a0feae3711300cc2c9dee887d49e4c9461cb","datavalue":{"value":"Boolean power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109799$B60F6603-69DE-4736-84F1-41A23A0E9B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08dc872753e2df2f9c5909c5747ffc07c25b4eb","datavalue":{"value":"Boolean valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109799$A479B131-DBA4-4DA3-B78F-DB39EDA441FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca54c55a2a19910b1ee13be43cef1b36753653a","datavalue":{"value":"regular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109799$0BAB8542-9146-40BA-AE2C-0A29490D5BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea9ae364ad385dc43ca5f22f8c18232b89178d9","datavalue":{"value":"\\(\\kappa\\)-saturated Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109799$8C22AC93-ED96-4DEB-94B7-2F2D287DC8E2","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":"Q1109799$80320C47-06BD-47F7-A2C3-164E71C02DA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25381c7e762632d2e532803c62101cb24697c94d","datavalue":{"value":"https://doi.org/10.2969/jmsj/04030445","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109799$0CC95D6F-0FB0-4556-BCB3-7E3F9229F300","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e48fa1050a22a9da6f573c32adb5ad85af5fd41","datavalue":{"value":"W2092083715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109799$C6EA6492-2D2B-41F0-AEA8-A7FB887A8665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8f76154c27a896760abbc3c872e93cd2f8e23b6","datavalue":{"value":"10.2969/JMSJ/04030445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109799$FD0D5832-68E7-475C-993E-225408A0623D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e5682391940a56cb533e71ccae425f7451ec17","datavalue":{"value":{"entity-type":"item","numeric-id":5202175,"id":"Q5202175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10417374e8ca68e7b7ca702604b6b9ae3aebdcb","datavalue":{"value":{"amount":"+0.8107631206512451","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":"Q1109799$B49C82A8-EAB4-43A5-82D0-77D7529CDC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b3f052d40da4193b63612c64c0a035ff42dd78","datavalue":{"value":{"entity-type":"item","numeric-id":3698858,"id":"Q3698858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585485591bfd70fc0f71edd81bb65e3d1ed0b85d","datavalue":{"value":{"amount":"+0.7811596989631653","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":"Q1109799$2AB7BFC4-1F00-41E1-A25B-FC94191A85F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2a52d5ae6d192ab54960ee9a5a979b85bc0d94","datavalue":{"value":{"entity-type":"item","numeric-id":4846055,"id":"Q4846055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f5c2560983344de365d5cbbbd5e9a5dd837157","datavalue":{"value":{"amount":"+0.7729101777076721","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":"Q1109799$2D7F075E-EE85-402D-8853-E55BE86601F7","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":"572c1f13a409904a1dedf9c992a9b5f89392e5d2","datavalue":{"value":{"amount":"+0.7723578214645386","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":"Q1109799$F448FCB8-84C0-40C8-824F-4E37FAF373AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ca60d5e70e6406507b7d8c3e1b9feb7f5196c0","datavalue":{"value":{"entity-type":"item","numeric-id":3798646,"id":"Q3798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd405fbc60b2423b13a20454e7c933867d0a61a","datavalue":{"value":{"amount":"+0.7686697840690613","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":"Q1109799$CD7A9208-6E4F-423C-A0D4-81278658F7D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109799"}}}}}