{"entities":{"Q521730":{"pageid":523497,"ns":120,"title":"Item:Q521730","lastrevid":62497509,"modified":"2026-04-11T06:29:31Z","type":"item","id":"Q521730","labels":{"en":{"language":"en","value":"The Belluce-lattice associated with a bounded Hilbert algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6705085"}},"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":"Q521730$410BD0D4-011A-4DCE-AF52-B0AE17598045","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"130cd85168594192fee74b93af49ba21d4e7ad99","datavalue":{"value":{"text":"The Belluce-lattice associated with a bounded Hilbert algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q521730$D62C33A9-3580-44AC-A739-7A8BBCDDD50A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a40f21bf894cb5473a7089d54767eec90531172","datavalue":{"value":"1364.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$8F1FA97D-D58D-4453-B782-918F40EAAC7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9abf77eda7669087ee983e217e3e9d8555f2d4","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$E13F4B47-2177-411E-9276-E4B2516E0712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9246cc6f26cdc7641944722c285dd45f87c121b0","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$DD102BCF-B99B-4B36-A5E1-0399B1A62487","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$180534FD-7B36-4F87-A149-7C7FEA435B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38dc8e5b9e70c7942e6735512dc1d3dbaf92011b","datavalue":{"value":{"time":"+2017-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q521730$2EB7B513-CA8C-4C4C-AF6C-3F5B44B3C888","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a145795a5c4fe9237abd285be424a37b19378577","datavalue":{"value":"Let \\(A\\) be a bounded Hilbert algebra, and let \\(^*\\) be the operation on \\(A\\) characterized by \\(x^* = x \\to 0\\). It allows to introduce a lattice-like structure on \\(A\\) by setting \\(x \\curlyvee y := x^* \\to y\\), \\(x \\curlywedge y := (x \\to y^*)^*\\). The authors study the prime spectrum \\(\\mathrm{Spec}(A)\\) and the maximal spectrum \\(\\mathrm{Max}(A)\\) as topological spaces with a Zariski topology; in particular, \\(\\mathrm{Max}(A)\\) is shown to be compact and Hausdorff. Further, let \\(\\equiv\\) be a relation on \\(A\\) such that \\(a \\equiv b\\) iff for every maximal filter \\(M\\) of \\(A\\) either \\(a,b \\in M\\) or \\(a,b \\notin M\\). It is a congruence with respect to \\(\\curlyvee\\) and \\(\\curlywedge\\), and the quotient algebra \\(L_A := A{/\\equiv}\\) is a bounded distributive lattice, called the Belluce lattice associated with \\(A\\). It is even normal (every prime filter is included in a unique maximal filter) if the Hilbert algebra has a similar property. The space of maximal filters of \\(L_A\\) is proved to be homeomorphic to \\(\\mathrm{Max}(A)\\). This motivates the authors to consider an abstract notion of reticulation for bounded Hilbert algebras; such a notion has already been studied for MV- and BL-algebras and residuated lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$19EE98FB-7A64-4A38-86F8-004783883111","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$E35A9FF6-8D73-4898-8769-836C1D113F03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$B00753B4-1ACE-4236-807F-E02374DC56B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$31F15AAD-45A7-451C-9EE2-8B5CCC7903F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$3C4B5DCE-EFCB-434B-B1BB-82D4A8724B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$F118F9AE-85AF-4673-8946-2BC1BCEC4323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e935833068f025274f3a883d32f329616a7b871","datavalue":{"value":"6705085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$05A442BD-9630-45FF-A2D4-0EF93D5B28CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77cc3ae83d39f00ead1a623086e6fbd2c04f3c17","datavalue":{"value":"Belluce lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$B0C72C37-D4FF-4A14-A2E1-2BE3F7F9CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$5692F9BC-8579-4573-B433-6C54A644BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$FD76405A-5FBC-4C66-9009-222DDDB8F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee25890e85c18a0e17f237c832eeb14f7bc75f7","datavalue":{"value":"maximal spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$403B32BE-BD05-423C-8E5B-EBA1B7E0180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fbfc9cf04029cde566092d06a1c3a391b76d4ae","datavalue":{"value":"prime spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$717CF152-464D-4195-91A3-963CF9F9F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a0dcf9e22907b03a435a9e3c725a7c726f05e2","datavalue":{"value":"reticulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q521730$EF052C55-591F-41FD-8987-738F17BB8794","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":"Q521730$6863E392-8ADA-4B79-9B89-319B7F9F9E3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a6e950e126f0a021f403a04433980814b5ffcb7","datavalue":{"value":"https://doi.org/10.1007/s00500-015-1714-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q521730$DCEF275D-3540-47DA-BA84-AC0342A78A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fef65036fdd477cd45839b3710496d8d75c1e580","datavalue":{"value":"W390034214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$95A0EDC2-9789-4277-88C9-854D72402DAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$B6E76804-747D-4D84-96D9-1CB6942CDB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$390DCCC2-09E9-48BE-A0E9-CF8A2FAEEED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acd593f6dcb855c8c860e1a283b618409094880","datavalue":{"value":{"entity-type":"item","numeric-id":3026980,"id":"Q3026980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$5B0103E7-A931-41C0-9D03-37F21831ABB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330c60f906d656852de264a956c1e4a11bcef84d","datavalue":{"value":{"entity-type":"item","numeric-id":3351532,"id":"Q3351532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$B5F5062F-723A-40E1-9D86-2E353A92AA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7848d4e130c588c677a6874140a2d1ab156cba40","datavalue":{"value":{"entity-type":"item","numeric-id":5307867,"id":"Q5307867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$3E5C9B51-4DBC-4234-B725-265323DDC6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb30ed6da1436ae5abe755f1d57a1abec2ab1b75","datavalue":{"value":{"entity-type":"item","numeric-id":4893878,"id":"Q4893878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$756B0AFF-3F25-42C2-88DD-1D0CABD10603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77f9b5598a156f84a7744c16f11d5f5f5362e6","datavalue":{"value":{"entity-type":"item","numeric-id":2392555,"id":"Q2392555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$17687890-97D9-4B20-BDD0-44C80F8355D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b793d10a3adf9397121684f897cb1eb0f7d734","datavalue":{"value":{"entity-type":"item","numeric-id":2888632,"id":"Q2888632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$10F10FEE-DF4C-45EE-88F6-4EF48FBBAEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c97872806830c474a767499bc68954ef2f274","datavalue":{"value":{"entity-type":"item","numeric-id":5659602,"id":"Q5659602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$BC4746D8-FE6D-4FB4-80D0-77AA0DAEEDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$62778934-9C3B-4B8D-96D8-314F461D310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db64124fc548c0d298a38c151ac930544133c72e","datavalue":{"value":{"entity-type":"item","numeric-id":963513,"id":"Q963513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$96F1BBE4-4265-45D6-9325-AAF2D2362BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2f2a3cb54aaa7fa8a8e9db4125d4774b25d1c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407203,"id":"Q1407203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$1E94C5C2-592D-4397-A3A2-EA714893E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$015D406E-DEB7-4F51-9173-9F36F1D5FAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa783fdb3aef07efcaaec1ef910007d0b32e3b","datavalue":{"value":{"entity-type":"item","numeric-id":3603260,"id":"Q3603260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$6F88C141-6DFB-4AE5-AC3F-43F178B6F2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e08fcc7b7beaeca17bce8cab5d1c28ca4d168","datavalue":{"value":{"entity-type":"item","numeric-id":5389299,"id":"Q5389299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$EA4EBCFB-6EF6-4AB1-82D5-A5EE5F5359D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebce78f7b16fa51ea5a0e71e26024c599284b748","datavalue":{"value":{"entity-type":"item","numeric-id":3703895,"id":"Q3703895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$6B0B3C67-118B-4106-959F-DE2043033F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb59b1eb9f54c4eb924f32a8c90647de90015dc","datavalue":{"value":{"entity-type":"item","numeric-id":1153188,"id":"Q1153188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$83F7AF6A-AB6B-450B-986F-5B1B5606F03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928a196fa7484f9139d633e0505bc425606ae4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3629323,"id":"Q3629323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521730$6FD48E54-CA66-4C3B-9967-0CF1FA49AC54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1f9018ef581baab1a5704169761ebf2c8493686","datavalue":{"value":"10.1007/S00500-015-1714-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521730$C5644987-5F07-4DA8-9899-24A3EBBC3E0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca91c33773a5226fdc5659841653de4610aa8d28","datavalue":{"value":{"entity-type":"item","numeric-id":5699491,"id":"Q5699491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d83a02e980741ba1e81402be61736e0b51f09a","datavalue":{"value":{"amount":"+0.793684720993042","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":"Q521730$02CA78F6-A3BE-4E61-962E-B73A6ED0F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a1b23348f657674ec3efbf76849698c2e3510c","datavalue":{"value":{"entity-type":"item","numeric-id":1407203,"id":"Q1407203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3706c628c513fc46456c64c60cf89c9d43ff7ba0","datavalue":{"value":{"amount":"+0.7685268521308899","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":"Q521730$43B5DD7D-02A7-4B96-BE8E-B3C52C295206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3724e564475b6eafe5ecaefd866abee70dab649","datavalue":{"value":{"entity-type":"item","numeric-id":3588666,"id":"Q3588666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d9fcd47c49ff11e00b7e472dcc125487fc3ba9","datavalue":{"value":{"amount":"+0.7573564648628235","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":"Q521730$D878A169-4261-4918-B35C-B5B1FF3AEA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12368d0f4346b6f526733612f12f4c16c53e3df","datavalue":{"value":{"entity-type":"item","numeric-id":3755490,"id":"Q3755490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7e3fd991060ab6e952dc13054b9903e0187613","datavalue":{"value":{"amount":"+0.7561814188957214","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":"Q521730$DDD38608-14AF-4EF0-ADFC-C523BB3831CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d46848fe62ecb17680611cad7e23f24ac1b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":2911193,"id":"Q2911193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba1fad66ab96e741a00e912a3d13cee50f8645e","datavalue":{"value":{"amount":"+0.7560790777206421","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":"Q521730$84D94C76-C5A3-480B-853D-E626E443C5BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Belluce-lattice associated with a bounded Hilbert algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Belluce-lattice_associated_with_a_bounded_Hilbert_algebra"}}}}}