{"entities":{"Q2520718":{"pageid":2531461,"ns":120,"title":"Item:Q2520718","lastrevid":73520751,"modified":"2026-04-14T16:19:06Z","type":"item","id":"Q2520718","labels":{"en":{"language":"en","value":"A note on Hilbert algebras and their related generalized Esakia spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664959"}},"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":"Q2520718$7243B234-997C-4A89-973C-710936440315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe31db6061a03012c3352ce9821f01823230b7b","datavalue":{"value":{"text":"A note on Hilbert algebras and their related generalized Esakia spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520718$ADA8923B-AE96-4045-829E-E87694AAAD27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f025d9db93bfd33cff28341acdf10c2520e4301b","datavalue":{"value":"1406.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$2D2AED81-D8E1-4092-8082-EA07835D2A07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$231A6DB5-5FC9-43F6-963C-E3865F69D3ED","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":"Q2520718$F3BD1E48-1070-4EB0-B0FE-97CB5C092052","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$500424B4-B558-4F91-8116-18C23FC7B3B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-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":"Q2520718$E36B86DB-DE5D-4325-8F94-4408BF639E24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68eadced1cbc8e2a6a844d472203ce4233b34d14","datavalue":{"value":"The paper is devoted to developing of duality theory for Hilbert algebras. The category of Hilbert algebras and their semi-homomorphisms is denoted by \\(\\mathsf{Hil}^s\\) and the category of Hilbert algebras and their homomorphisms by \\(\\mathsf{Hil}\\).  Let \\(L\\) be an implicative semilattice. A proper filter \\(F \\subseteq L\\) is called optimal if \\(L \\setminus F\\) is a \\(\\langle L,\\leq\\rangle\\)-ideal. If \\(F\\) is an optimal filter, then \\(L \\setminus F\\) is a prime ideal, that is, \\(a \\land b \\in L \\setminus F\\) entails that \\(a \\in L \\setminus F\\) or \\(b \\in L \\setminus F\\). Optimal filters are used in order to construct generalized Esakia spaces.  A generalized Esakia space is associated with a given Hilbert algebra \\(\\mathbb{A}\\) in the following way: {\\parindent=0.7cm \\begin{itemize}\\item[1.] construct a free implicative semilattice extension \\(L^\\mathbb{A}\\) [\\textit{S. A. Celani} and \\textit{R. Jansana}, Math. Log. Q. 58, No. 3, 188--207 (2012; Zbl 1247.03136)]; \\item[2.] convert \\(L^\\mathbb{A}\\) into a bounded implicative semilattice \\(L^\\mathbb{A}_\\bot\\) by adjoining a new bottom element \\(\\bot\\); \\item[3.] associate with \\(L^\\mathbb{A}_\\bot\\) a generalized Esakia space \\((L^\\mathbb{A}_\\bot)_*\\) in the way described in [\\textit{G. Bezhanishvili} and \\textit{R. Jansana}, Appl. Categ. Struct. 21, No. 2, 181--208 (2013; Zbl 1294.06005)].   \\end{itemize}} The optimal filters of \\(\\mathbb{A}\\) together with \\(A\\) are the points of the generalized Esakia space dual to \\(L^\\mathbb{A}_\\bot\\).  IN addition, a notion of augmented Priestley space has been introduced: An augmented Priestley space is a pair \\((X,S) = \\langle\\langle X,\\leq,\\tau\\rangle,S\\rangle\\) such that {\\parindent0.7cm\\begin{itemize}\\item[1.] \\(X = \\langle X,\\tau,\\leq\\rangle\\) is a Priestley space, \\item[2.] the poset \\(X,\\leq\\) has a greatest element, denoted by \\(t\\), \\item[3.] \\(S\\) is a nonempty collection of nonempty clopen up-sets of \\(X\\) closed under \\(\\Rightarrow\\) and such that {\\parindent=0.9cm\\begin{itemize}\\item[(a)] for every \\(x,y \\in X, x \\leq y\\) iff \\((\\forall U \\in S)(x \\in U \\Rightarrow y \\in U)\\), \\item[(b)] \\(\\langle X,\\tau,\\leq,X_S \\cup \\{t\\}\\rangle\\) is a generalized Esakia space, where, \\(X_S = \\{x \\in X : S_x \\text{ is nonempty and updirected}\\}\\).   \\end{itemize}}  \\end{itemize}} \\(\\mathsf{APS}^s\\) denotes the category that has as objects the augmented Priestley spaces and as morphisms the augmented Priestley semi-morphisms between them with composition the operation \\(*\\), and \\(\\mathsf{APS}\\) denotes the subcategory with the same objects but morphisms the augmented Priestley morphisms.  It is proven that \\(\\mathsf{Hil}^s\\) is dually equivalent to \\(\\mathsf{APS}^s\\) and \\(\\mathsf{Hil}\\) is dually equivalent to \\(\\mathsf{APS}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520718$1A888B9E-DBB3-4A95-BEE0-5CE92B48D103","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$20821CB3-4DDE-4025-AFFA-64002DF408C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$FF3A7C40-1BE3-41CA-9E1D-FFAFEEAB5109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$456C8E13-8C59-4857-90E6-76596987EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$91884A92-2C8B-4349-836A-159843C4DBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$13E90A4D-5B01-4004-B4AA-E7B102AE012B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8ff148c180560f284eb8a84ad2a0dd24acb8775","datavalue":{"value":"6664959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$6C4E0F60-B04A-41BD-9F0E-F9E033C49915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520718$F88FEBAF-131F-457B-A53A-866336C91D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520718$A073EDE4-CA5E-4A17-A963-CCD9B223C8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d3576b0cba925abac0d7e9cf4982c1db4a1d3a","datavalue":{"value":"implicative fragment of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520718$5DBEB773-1DB4-4DE1-800A-B2A1E7970897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1e6174540c9518dcd50c07b6595323f67edfe9","datavalue":{"value":"Esakia duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520718$F60A568D-5675-41CB-829F-6F0063228746","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":"Q2520718$3C9C622D-8867-4552-83D4-455D4501A3EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad2fa131c7de6011bb05525666ebcc363af4ca5f","datavalue":{"value":"https://doi.org/10.1007/s11083-015-9378-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520718$706A5970-1A0A-4634-9FE4-9F383666FE69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b31a4018567998d4a440686c7a375a399331f076","datavalue":{"value":"W2270639794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$DB87C796-51DF-4D49-ABF5-42704BB2F880","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07df833bc9c31a04fc403645fd561c5e146c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2446018,"id":"Q2446018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$15C028CC-F95C-4A76-847C-32A15EA217B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad167baa563b9fee329fefc3d5077f18ff6d622","datavalue":{"value":{"entity-type":"item","numeric-id":1942035,"id":"Q1942035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$10CD262F-D176-48F8-80CB-54CAEC524117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde25b7f97c1c0a349b936df7b1e27294060bc26","datavalue":{"value":{"entity-type":"item","numeric-id":763299,"id":"Q763299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$0889103E-C4DF-49C5-B2C5-47E3E295B6EF","rank":"normal"},{"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":"Q2520718$495DEBB3-5D40-4EF4-951B-1FABFE5EA9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02036a4f8c7f6a67beb6405744e99a54234c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1419666,"id":"Q1419666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$E23D090E-BC02-42A2-8220-8EBB3D8F14CE","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":"Q2520718$EEB04D75-CB1A-40BD-85CE-9C38F26C4772","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":"Q2520718$5C2069CE-2F21-447D-8070-8E811C94A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb69443bb71794843bd90df7a66e2a9c4016cc49","datavalue":{"value":{"entity-type":"item","numeric-id":1203823,"id":"Q1203823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$E91E93D6-8FAD-426B-AB14-C96C5A253789","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":"Q2520718$58548557-B934-455C-A833-A229BB28EB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3d11f0a8954c61a6153ff19e2c5c3b60a16c75","datavalue":{"value":{"entity-type":"item","numeric-id":5472323,"id":"Q5472323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$D14E9534-A4CF-4A4D-B60B-9CC1F3DD9E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$41BDB75B-1C2A-4918-8895-A3DEC27F0E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$3E6E6D4D-08D3-4910-9F95-7E935C46F022","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":"Q2520718$2E610DEA-1A91-4D7B-89C4-88F418A698F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$780A302C-CE6F-47A1-BF7C-80261228D9B9","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":"Q2520718$EA5D84C3-C424-455B-AB9D-445F202351D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$9DB6CE57-ED39-49EF-AE07-737FD72D16F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520718$7523DFF8-28B3-4895-A662-22813F4F0716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71c187b56c150b01ed675daa5d6ddae2a490f244","datavalue":{"value":"10.1007/S11083-015-9378-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520718$26E8DA98-035A-4D5B-B8E6-8008CD83F5BC","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":"ab68ec8039fcf4f79bc43eb377fe3359b7f028b6","datavalue":{"value":{"amount":"+0.83407062292099","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":"Q2520718$2006E05D-E9DA-4405-9124-A2D513DFAD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ba88e24ebb3c19763b2a3bf4541058422d1a7f","datavalue":{"value":{"entity-type":"item","numeric-id":422345,"id":"Q422345"},"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":"Q2520718$804FB2FF-3BE0-4683-A31B-AC4A9E126E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fa1c03d156a24857d3178544cd74e40367996f","datavalue":{"value":{"entity-type":"item","numeric-id":2888632,"id":"Q2888632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4619290e63bc7c1f41165b6a3a8d14e9baa5c7","datavalue":{"value":{"amount":"+0.8226355314254761","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":"Q2520718$775A129D-9D2C-4BD9-B4C6-B5BB1783199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f890c8ada47429c117b80e35450612d70f7f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5092558,"id":"Q5092558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649232fbf5406ea72cea578fb19600622e90644f","datavalue":{"value":{"amount":"+0.8050157427787781","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":"Q2520718$3E843709-F8DB-4339-9189-8CED94F21955","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":"e9690ea638926429b07b19765ca293f51b5f8b61","datavalue":{"value":{"amount":"+0.7995656132698059","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":"Q2520718$90482FD3-59A6-4328-8532-43A97112C14F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Hilbert algebras and their related generalized Esakia spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Hilbert_algebras_and_their_related_generalized_Esakia_spaces"}}}}}