{"entities":{"Q1579568":{"pageid":1590308,"ns":120,"title":"Item:Q1579568","lastrevid":72241458,"modified":"2026-04-14T03:35:01Z","type":"item","id":"Q1579568","labels":{"en":{"language":"en","value":"Free Stone algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1506833"}},"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":"Q1579568$C53D9E63-D695-4D20-AD44-EA2E04F6EE50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e16177630e6c380b26c833a4779172c805e76976","datavalue":{"value":{"text":"Free Stone algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1579568$59BD299B-AC99-4878-8B87-3368F091738A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb5e0a9964d48d3d52e6e4812b4b2cfe332892ef","datavalue":{"value":"0982.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$9527AAC5-FBEC-4036-B4F9-3C87E86FD5FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d41a850f86d9bb28f478e22c643b3964acfdb21d","datavalue":{"value":"10.1016/S0012-365X(00)00053-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$16AA36A3-4E57-4ADE-AF60-E43865B74621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579568$0F3A0134-DCE7-498B-8065-F21007E3380A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fb6986925a2dd9f1bc85752ad6d9f3f8936e4f0","datavalue":{"value":{"time":"+2002-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1579568$28FF8888-9B83-4587-A52A-5B5B929030F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4785710da1b00198c89b8f32432df1c4f17b90c","datavalue":{"value":"An algebra \\(L=(L;\\vee, \\wedge,\\phantom{}^*, 0,1)\\) of type \\((2,2,1,0,0)\\) is called a Stone algebra, if \\((L;\\vee, \\wedge,0,1)\\) is a bounded distributive lattice, \\(\\phantom{}^*\\) is a pseudocomplementation, i.e. \\(a\\wedge x=0\\) if and only if \\(x\\leq a^*\\), and \\(L\\) satisfies the identity \\(x^*\\vee x^{**}=1\\). An element \\(x\\in L\\) is called closed, if \\(x=x^{**}\\). It can be shown that the set \\(B(L)\\) of all closed elements in \\(L\\) is a subalgebra of \\(L\\) and forms a Boolean algebra.   The authors prove that every Stone algebra \\(L\\) can be represented as a weak Boolean product over the Boolean space dual to \\(B(L)\\). Note that a weak Boolean product is a sheaf construction over a Boolean space [see \\textit{S. Burris} and \\textit{H. Werner}, Trans. Am. Math. Soc. 248, 269-309 (1979; Zbl 0411.03022)]. This representation of Stone algebras enables a new characterization of free Stone algebras which extends an earlier result of \\textit{R. Balbes} and \\textit{A. Horn} [Duke Math. J. 37, 537-545 (1970; Zbl 0207.02802)] for free Stone algebras with finitely many generators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579568$8560FA25-F53C-4D4B-9043-A065E87EC2B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$5154BAA2-849D-40C6-86D1-8717C8D3F0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$8CFE1749-E85D-4ED2-9468-58029E56F375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$D2524110-4AC9-46AD-BBBC-BA28E5575C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$FE6D223D-FA4C-4A24-91DF-6BF286B48620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1883cb65e06b85962aed28481ceadb7f8149a2ef","datavalue":{"value":"1506833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$8F55E39F-98EE-428C-A0F2-B5FEA6A7A6BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3904b45176a5d043eddbf54195e89fb93e328c4","datavalue":{"value":"Stone algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579568$F67452F4-C16E-441C-9EA8-C335C7D4A275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b82c5296cf6c6eb3130421ea4de2c0f14c83b","datavalue":{"value":"pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579568$1AB44B31-6CC8-491F-8F36-88CC38E6F3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c631efdb5fe5bfe1e211ed50c1584eb0abd10f0","datavalue":{"value":"closed elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579568$5C196B6C-7918-4708-A2E6-D7CDE10BE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e879fc86cc003767b6e0df7c6ce6e8534395c2","datavalue":{"value":"weak Boolean product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579568$08A477C7-BE38-4C6E-A5B3-7585382ADCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933bd328adc8d55df396c61306b044bcbb8aad07","datavalue":{"value":"Boolean space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579568$47007783-82FD-4AC0-BF30-4C474A025F95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579568$DD64E1B9-1D02-46AA-8FE0-F56BBDE8DAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579568$3E6BEA39-0578-4A4D-82FF-6DF04C5158B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579568$0314385D-47A6-4294-8E10-2BB7212DEBD8","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":"Q1579568$D61D7EED-79BF-4DCA-9962-AB0E763A55A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"001a6c6c5cfce18200b52b5634752691807325a7","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(00)00053-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1579568$0CF38C82-A924-48C2-9EC3-A95335FC8DE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c819286a591ec8f916c88b53ea1297267923c992","datavalue":{"value":"W1972336615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579568$A3D19F97-62F8-4893-9EAC-E26A26C3978C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0eae77b55e896c9ce387cc772003544810b3e","datavalue":{"value":{"entity-type":"item","numeric-id":4827094,"id":"Q4827094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7286ce7f62728b61b63a88d740e3b17919ed2d5f","datavalue":{"value":{"amount":"+0.8406866788864136","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":"Q1579568$914A14B0-2FE5-41DF-899F-AB76F9AD9850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001710b85bb4d02ec76d0c93307ae59b2780e22e","datavalue":{"value":{"entity-type":"item","numeric-id":1272081,"id":"Q1272081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a957afa14cafca0b2d91371a0878748d3f8111ae","datavalue":{"value":{"amount":"+0.8271300792694092","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":"Q1579568$F850ADD9-4F71-4AB3-AC5C-42B93B3FF511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6878bd1c2899c61fb525edbfeeb7358e6e73aa16","datavalue":{"value":{"entity-type":"item","numeric-id":2466756,"id":"Q2466756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8c4156b4cfbb4b2352ad8529d8dddb86c0e735","datavalue":{"value":{"amount":"+0.8252677917480469","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":"Q1579568$9C9C1C1F-7BE8-4CDF-97BB-4D9F40BB8C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7a5a59e23101f6b6bf08ba2ccd6acfedc3d924","datavalue":{"value":{"entity-type":"item","numeric-id":4483640,"id":"Q4483640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206dd3664dbd4b09e79eb285b7ae3e4af4049390","datavalue":{"value":{"amount":"+0.82526034116745","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":"Q1579568$0645F97B-7B31-4383-9780-C36A7810E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2d02318f5ab167448e1161e82ed55694974a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3312290,"id":"Q3312290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5862d9114f1aa3672c73b128c2e9cf5121e74ccb","datavalue":{"value":{"amount":"+0.8149405717849731","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":"Q1579568$D300DCC7-95C6-4EF1-A7E1-33EF56554EEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free Stone algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_Stone_algebras"}}}}}