{"entities":{"Q422345":{"pageid":424112,"ns":120,"title":"Item:Q422345","lastrevid":61726914,"modified":"2026-04-11T01:14:45Z","type":"item","id":"Q422345","labels":{"en":{"language":"en","value":"Hilbert algebras with supremum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035624"}},"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":"Q422345$1630BC04-6230-4EE8-BA53-C0B561C66B41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc6432d6afce5fec1496e9f7495d5f3785055864","datavalue":{"value":{"text":"Hilbert algebras with supremum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q422345$408ABE5A-467A-442D-AAB2-90E640459F02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7179aec90254d47fe9849d1c4b08970211c4ac78","datavalue":{"value":"1254.03117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$F4B615F4-0F2A-4FF8-9A17-913375B13C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ae76423dc2e5c4b626d6c8a6c5bb34a9d6dd62d","datavalue":{"value":{"entity-type":"item","numeric-id":422344,"id":"Q422344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$23BFFACA-4BB0-4089-AE1D-62CA9A978D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$9231DAAA-F591-4A1A-AED6-48046427A79C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$5F51BB95-E27C-4CCC-8769-CD48B8753234","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q422345$3409C488-69EC-41BF-B785-FD1E6ABA059D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a748b260a5463a1093dea5c8b63f07adf202fe67","datavalue":{"value":"The authors consider the properties of Hilbert algebras \\(\\langle A, \\to, \\vee, 1 \\rangle\\) with supremum (simply \\(H^{\\vee}\\)-algebras), that is,  (1) \\(\\langle A,\\to, 1 \\rangle\\) is a Hilbert algebra,  (2) \\(\\langle A, \\to, 1 \\rangle\\) is a join-semilattice with the greatest element \\(1\\),  (3) \\(a\\to b=1\\) iff \\(a\\vee b = b\\) for all \\(a,b\\in A\\),  and prove a representation and a duality theorem of \\(H^{\\vee}\\) algebras.  At first, they give a simplified topological duality for Hilbert algebras using sober topological spaces with a basis of open-compact sets satisfying an additional condition. Then they extend this result to the case of Hilbert algebras with supremum.  A Hilbert space or \\(H\\)-space is a topological space \\(\\langle X, \\mathcal{T}_{\\mathcal{K}} \\rangle\\) such that:  H1. \\(\\mathcal{K}\\) is a base of open and compact subsets for the topology \\(\\mathcal{T}_{\\mathcal{K}}\\) on \\(X\\).  H2. For all \\(A,B \\in \\mathcal{K}\\), sat\\((A\\cap B^c)\\in \\mathcal{K}\\), where sat\\((A\\cap B^c)\\) is the saturated set generated by \\(A\\cap B^c\\).  H3. \\(\\langle X, \\mathcal{T}_{\\mathcal{K}} \\rangle\\) is sober.  Theorem 3.3: Let \\(\\langle X, \\mathcal{T}_{\\mathcal{K}} \\rangle\\) be a topological space with a base \\(\\mathcal{K}\\) of open and compact subsets for the topology \\(\\mathcal{T}_{\\mathcal{K}}\\) on \\(X\\). Suppose that for all \\(A,B\\in \\mathcal{K}\\), sat\\((A\\cap B^c)\\in \\mathcal{K}\\). Then the following conditions are equivalent:  (1) \\(X\\) is \\(T_0\\), and for each closed subset \\(Y\\) and a subset \\(L\\subseteq X\\) dually directed such that \\(Y\\cap U\\neq \\emptyset\\) for all \\(U\\in L\\), one has \\(\\bigcap \\{ U \\,|\\, U\\in L\\} \\cap Y \\neq \\emptyset\\).  (2) \\(X\\) is \\(T_0\\) and \\(\\varepsilon_X: X\\to X(D(X))\\), where \\(\\varepsilon_X (x) = \\{U \\in D(X) \\,|\\, x\\in U \\}\\) for each \\(x\\in X\\), is onto.  (3) \\(\\langle X, \\mathcal{T}_{\\mathcal{K}} \\rangle\\) is sober.  We note that \\(D(X) = \\{U\\subseteq X\\,|\\, U^c \\in \\mathcal{K}\\}\\) and that \\(X(A)\\) is the set of all irreducible deductive systems of a Hilbert algebra \\(A\\), where a subset \\(D\\subseteq A\\) is called deductive system of \\(A\\) if \\(1\\in D\\) and if \\(a, a\\to b\\in D\\) then \\(b\\in D\\).  Theorems 3.7, 3.8: Let \\(A\\) be a Hilbert algebra. Then \\(\\langle X(A), \\mathcal{T}_{{\\mathcal{K}_A}} \\rangle\\) is an \\(H\\)-space and \\(D(X(A)) = \\{\\varphi(a) \\,|\\, a\\in A\\}\\) is a Hilbert algebra isomorphic to \\(A\\).  Conversely, for an \\(H\\)-space \\(\\langle X, \\mathcal{T}_{\\mathcal{K}} \\rangle\\), the topological spaces \\(\\langle X, \\mathcal{T}_{\\mathcal{K}} \\rangle\\) and \\(\\langle X(D(X)), \\mathcal{T}_{{\\mathcal{K}_{D(X)}}} \\rangle\\) are homeomorphic by \\(\\varepsilon_X : X\\to X(D(X))\\).  Theorem 5.6: Let \\(A\\) be an \\(H^{\\vee}\\)-algebra. Then \\(\\langle X(A), \\mathcal{T}_{{\\mathcal{K}_A}} \\rangle\\) is an \\(H^{\\vee}\\)-space and the mapping \\(\\varphi: A \\to D(X(A))\\) is an isomorphism of \\(H^{\\vee}\\)-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q422345$D912720B-791C-4A5D-A7BC-0B6DC02202F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$7896778F-A927-4AFD-B2F4-91B3E662F875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$70A941C5-5C79-4EFB-A8BC-811E91A11BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$C3FDF83A-D91D-4E0A-A9E1-855B0897A9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$3381D797-9601-4EFE-A484-CFB98EC0F684","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cfce0331842650d25aa3397fd21a12174317e17","datavalue":{"value":"6035624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$BC266942-C210-46C5-A8F9-C6C595A2985C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q422345$EE9CA05F-2691-456A-9BB5-E54B5A94189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3fed76338c95c3870b5a2c4da4dab5be95fc74","datavalue":{"value":"topological representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q422345$6307016C-8824-4CAF-9986-77C6F5508ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62f3f129e36cbe45bad89c20aac131c5610eb46","datavalue":{"value":"join semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q422345$C51D2DAB-7704-43B9-A5F2-04ECD47E796D","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":"Q422345$286FFD54-8B05-469B-B3CC-03DF352F4B45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c2235b198ea5472b5b2d9c5300d4024d533d937","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0178-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q422345$144A5BE1-2682-4CBB-B064-AF033785C6DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a61347cbe4a5f833bee83fbd76fd8c4a452a15c","datavalue":{"value":"W2045286374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$D6C1F689-FD76-4834-8D00-D276618F3E72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee575ec6b1c5e65c66e239e915cade15c5b6a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1607811,"id":"Q1607811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$4B437A3F-820E-430B-85EC-497D0B0F1BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4556cd4fbe22a4db163527a55f0f7bb8da222460","datavalue":{"value":{"entity-type":"item","numeric-id":2581404,"id":"Q2581404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$B7F23905-DDFA-4A0B-9897-94DF2A94289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4611dc5694994050eed13549ba1c1ef2f24d8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2476161,"id":"Q2476161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$1EF39B65-6373-40A7-BBFE-DECF8DD5DB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14a5df61630ed429a519e47fa20dc0b0338af0b","datavalue":{"value":{"entity-type":"item","numeric-id":1040223,"id":"Q1040223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$04275FD9-2E5C-4B3F-91A7-D0D6AE8E7E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc672a93766e39d1390b2349147a8dcec4858c0","datavalue":{"value":{"entity-type":"item","numeric-id":5693577,"id":"Q5693577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$1A1C53A1-B1C9-474B-9AB8-36166988EE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422345$9AD86C56-2C6E-4361-BD80-C76830968DB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10923cf5bb7c9263bec6c240a3074744907df0b3","datavalue":{"value":"10.1007/S00012-012-0178-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422345$EC7CB101-2CE3-4BD3-9F2E-3A7734742BB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172125f942dfe33c3d8c6b60af20ff168edc2938","datavalue":{"value":{"entity-type":"item","numeric-id":1040223,"id":"Q1040223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b938c648a3e5474dc16f9ccd7940eec12e260859","datavalue":{"value":{"amount":"+0.8567349910736084","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":"Q422345$1AF98FAE-51D2-4666-9DA4-EE73E4E60950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6cfd2b08a71bde88bca182d230c92155b81689","datavalue":{"value":{"entity-type":"item","numeric-id":2350975,"id":"Q2350975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911212462b184b4191934c590863c4fb9e085383","datavalue":{"value":{"amount":"+0.8399978280067444","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":"Q422345$09D7ED8D-6674-4BEA-B650-B544D6EB8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f46dba7f091d991739f76d6465518ab3c7eb6f","datavalue":{"value":{"entity-type":"item","numeric-id":2520718,"id":"Q2520718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f33e44bce3b5aed277294b44c5304e6c1368c1","datavalue":{"value":{"amount":"+0.8281340003013611","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":"Q422345$201EE42C-A52A-4D2C-AE24-31DD363E406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf794be3ca4a21d6038315528486627fbb07587","datavalue":{"value":{"entity-type":"item","numeric-id":2411689,"id":"Q2411689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd3d743c34f6a1b70fdcb1fd9eb5a1ff00e6362","datavalue":{"value":{"amount":"+0.8220788836479187","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":"Q422345$3ECF51CD-2418-4C7D-AD21-87E1EDE5083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa33a375a6b886168c4b0cde88e705ea3ab7f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":5355081,"id":"Q5355081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8d4c06928ccbc088bac08266d331db67efc900","datavalue":{"value":{"amount":"+0.8196732401847839","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":"Q422345$921735C2-C185-4563-9546-C130CEB2FE2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert algebras with supremum","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert_algebras_with_supremum"}}}}}