{"entities":{"Q1966159":{"pageid":1976901,"ns":120,"title":"Item:Q1966159","lastrevid":43451304,"modified":"2025-07-25T23:40:30Z","type":"item","id":"Q1966159","labels":{"en":{"language":"en","value":"Representable pseudo-interior algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407110"}},"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":"Q1966159$A87C3985-4FF1-4CF9-883D-DE84F905556A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68480364e6d8cbcbebcf152b26cd175c03e6c191","datavalue":{"value":{"text":"Representable pseudo-interior algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966159$17AA0377-D5BD-4F39-813B-9B50866EF86B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6de0a582a2c9be49a0a7b25515a9512a0e18a931","datavalue":{"value":"0933.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$F177CB02-E6FB-44F8-B713-073186430DAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd5576a15f58fab64ec2abca70dbcaf39983e311","datavalue":{"value":{"entity-type":"item","numeric-id":1576382,"id":"Q1576382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966159$56AB99AC-10FF-49CD-AA4E-C82367ADCAEA","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":"Q1966159$17C2D17D-6DD6-4147-B889-266689664B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966159$226BC719-BBEC-466F-B43D-EE8384566DDB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"300bced609989bf79b9d701b23b110ce37e3eeac","datavalue":{"value":"The notion of pseudo-interior algebra was introduced by \\textit{W. J. Blok} and \\textit{Don Pigozzi} [Algebra Univers. 31, 1-35 (1994; Zbl 0817.08005)]. They represent the logic inherent in varieties with a commutative, regular ternary deductive term.    An algebra \\(A=\\langle A,\\cdot ,\\rightarrow ,1,{}^0\\rangle \\) of type (2,2,0,1) is called a pseudo-interior algebra if:    (1) \\(\\langle A,\\cdot ,1\\rangle \\) is a semigroup with the left identity 1.   (2) \\({}^0\\) is a pseudo-interior operation on \\(\\langle A,\\cdot ,1\\rangle \\), i.e.\\ it satisfies the identities  \\[  x\\cdot y = x^0 \\cdot y, \\;x^0 \\cdot x = x^0, \\;x^0 \\cdot y^0 = y^0 \\cdot x^0, \\;1^0 = 1.  \\]     (3) \\(\\rightarrow \\) is the open left-residuation on \\(\\langle A,\\cdot ,1\\rangle \\), i.e.\\ for all \\(x\\) and \\(y\\) in \\(A\\) the element \\(x\\rightarrow y\\) is open, and \\(\\forall \\;u\\): \\((u\\cdot x \\leq _r y \\Leftrightarrow u^0 \\leq _r x\\rightarrow y)\\), where \\(x\\leq _r y\\) iff \\((\\exists \\;u : x = u\\cdot y)\\).    For a given topological space \\(\\langle X,T \\rangle \\), the powerset \\(\\mathcal P(X)\\) with the ordinary unary interior operation \\({}^0\\), the binary operation \\(x\\cdot y = x^0 \\cap y\\) is a semigroup with the left identity \\(X\\) and a pseudo-interior operation. For \\(x,y \\in \\mathcal P(X)\\), \\(x\\leq _r y\\) iff \\(x\\) is a relatively open subset of \\(y\\). The set \\(\\{u\\in T: u\\cap x \\leq _r y\\}\\) has the greatest element denoted by \\(x\\rightarrow y\\). A pseudo-interior algebra of this form is called a topological one.    The main theorem of the paper says that every pseudo-interior algebra is isomorphic to the subalgebra of a topological one. This gives a solution to a problem posed by Blok and Pigozzi.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966159$9ED48BA2-86E4-45C7-BAD0-49B96EB45763","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966159$317010EE-28BC-4824-A595-6C2E0CEC33C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$A4C3CB98-9B30-4B30-B0E2-AFA649E48B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$5091FCDD-3FAF-4BAA-BEE2-2953089DBE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$13B50433-AE33-4B07-BA7C-276B2711F794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa8bf68f62ee80fe52f159e44aaeec1d71e1d32c","datavalue":{"value":"1407110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$DD038938-546B-418E-BB0F-C0EF1919329C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6ac680920c9136b053c007e25b3ee9a8813745","datavalue":{"value":"pseudo-interior algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966159$827113BE-DC20-42F6-A5DA-71C9D2F02B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966159$BFE38FD5-D13E-4F7E-AE12-C8B1F3579FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2242734a7ef566810baed2179cc5941c79bf433","datavalue":{"value":"topological pseudo-interior algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966159$295DE18B-F9E5-45FA-BECC-703037CFAE18","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":"Q1966159$325B6121-80F1-4D5E-A2F9-BA171D1D4157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d446626d61ceab53aef4db4714901fffacd7b589","datavalue":{"value":"https://doi.org/10.1007/s000120050088","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966159$28404D90-2ACC-4687-8F74-057A9B50AA4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e3768c5254923a4cec646c9ad074366a6468927","datavalue":{"value":"W2060562930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$1BABEC7F-0709-43DC-B74E-3253DE8EB19C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36f0663cee58fcba2201628ed53cda962c35df8b","datavalue":{"value":"10.1007/S000120050088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966159$9007CBEE-9FA5-49CE-895B-A8F6A5E06446","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038bc0173e7d281de18cf7387a4f292c155692c2","datavalue":{"value":{"entity-type":"item","numeric-id":1576383,"id":"Q1576383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b5b6508d65bbd402848fcd0469ec13a072ce8b","datavalue":{"value":{"amount":"+0.9256037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$621DEEF6-FBEC-47D3-937F-5A45E91501C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c64cbf2ba807127745e342414aa40e5909a92a2","datavalue":{"value":{"entity-type":"item","numeric-id":2466509,"id":"Q2466509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcedfdcc24cf3fcf0d1b234851e63708e82b249","datavalue":{"value":{"amount":"+0.90854716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$C879F166-3F28-41D6-93D1-BE599D619149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26c0ee4c570200246f983647a40511fc9360d75","datavalue":{"value":{"entity-type":"item","numeric-id":909758,"id":"Q909758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b42fc8a28e671e8134f35074e3d7dfe25a4b6cf","datavalue":{"value":{"amount":"+0.9076581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$2048ED81-CF01-442A-B90F-446AB6E111BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b683a38f9613d42d2bfeca1aa33e116649a6345","datavalue":{"value":{"entity-type":"item","numeric-id":5159381,"id":"Q5159381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad775a11ef8e852f97e0136414911343521461c","datavalue":{"value":{"amount":"+0.9023477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$E58A9C78-66F1-4281-A156-86630DDF7866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f331f06727d88f1f2d0f63addb7bf7d7b9e674","datavalue":{"value":{"entity-type":"item","numeric-id":833743,"id":"Q833743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2c200303320ed6e8bfec1eeb19d7863fd55bc3","datavalue":{"value":{"amount":"+0.8980861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$89ECA181-73BB-40AF-A507-827914FD8FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7542d27bc1530ee3fdee566b9df6d53399cdcfe","datavalue":{"value":{"entity-type":"item","numeric-id":2895174,"id":"Q2895174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617d08ceed2427532ff1d1204884589732879745","datavalue":{"value":{"amount":"+0.8941266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$254BB519-97F8-4154-BFD7-CD40D975C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fda5cd16bdf39dd6fab22b622c1c98dc63d2def2","datavalue":{"value":{"entity-type":"item","numeric-id":2679201,"id":"Q2679201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b07ab3cbfcee686ee3003a2b87f0fc9a0a26c0","datavalue":{"value":{"amount":"+0.89128685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$F2A9335F-2143-4B8F-AE56-ABA281ECF15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3a1c326235985457e61e8eac504a4c0040d4ce","datavalue":{"value":{"entity-type":"item","numeric-id":1317633,"id":"Q1317633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabcc2f9b6b958b95ab081513e623429581f5e1f","datavalue":{"value":{"amount":"+0.8911646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$63C24553-4E03-4245-BE2F-E47A812B9180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1e4ad0783a9930b2eb56b4d018bcbd3abef888","datavalue":{"value":{"entity-type":"item","numeric-id":5130674,"id":"Q5130674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cda1ec3c660b96debd61e0b0f16818118fd5b58","datavalue":{"value":{"amount":"+0.8904873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$2386F0EC-A35B-40AB-8497-F4564D2F7228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098143b9a391bebfcece49a11029b057ce5814b8","datavalue":{"value":{"entity-type":"item","numeric-id":5077611,"id":"Q5077611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be50db6dbacb0f56c3b1f8840b0a2bb9b222797a","datavalue":{"value":{"amount":"+0.8868686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1966159$8F169C2E-A1B0-437A-8974-DFAE8AF8B2D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1966159"}}}}}