{"entities":{"Q1812988":{"pageid":1823730,"ns":120,"title":"Item:Q1812988","lastrevid":69068133,"modified":"2026-04-13T04:23:11Z","type":"item","id":"Q1812988","labels":{"en":{"language":"en","value":"Embedding Brouwer algebra in the Medvedev lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383"}},"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":"Q1812988$198A9294-8E57-4C8A-863D-9BC6A91A582C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3c7b26645a7fcbb531d33331bb2653693d71423","datavalue":{"value":{"text":"Embedding Brouwer algebra in the Medvedev lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1812988$27FC5775-B0C1-4C95-8E25-F43F7138A10A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0cdd6665dc2f42129f901f3dc43acf4bb80dae9","datavalue":{"value":"0737.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812988$6C3AEDA2-7ACE-4790-AE23-1B425B140EE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812988$F2B92D35-E4F9-420F-8166-5DAF1F6B8BF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812988$6EC99464-C2A5-4A5F-8E29-AA8FD432F6AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q1812988$0638C073-7F38-4DE6-8E61-7E27D626C582","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec80a73ce552ed57361af03415140789aaf764bd","datavalue":{"value":"It is known that the Medvedev lattice is a Brouwer algebra [\\textit{Yu. T. Medvedev}, Dokl. Akad. Nauk SSSR 104, 501--504 (1955; Zbl 0065.00301]. The author characterizes the class of finite Brouwer algebras that are embeddable in the Medvedev lattice via a lattice theoretic embedding which preserves the least element, the greatest element, as well as the operation \\(\\to\\) of Brouwer algebras; namely it is shown that this class consists of exactly the finite Brouwer algebras in which the least element is meet-irreducible and the greatest element is join-irreducible. A similar characterization is given also for the Muchnick lattice [introduced by \\textit{A. A. Muchnik}, Sib. Mat. Zh. 4, 1328--1341 (1963; Zbl 0156.01603)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812988$04A69449-9DA6-499E-B368-9C6B478E680B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812988$2DF09157-5651-40EA-AD04-C929A2A92F5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d6ec0395f4dca8da525ec9332632f1dc427e18d","datavalue":{"value":"1383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812988$CD71ED1F-4447-442C-B842-DF11B5F44F63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d95d707d5db837f37141d9c8391b2fb562e1eb","datavalue":{"value":"Medvedev lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812988$CF056766-9D2B-46DB-AA0D-708BF681063A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca92db9d315a3056fa79f960c04af98fa0003f3","datavalue":{"value":"Brouwer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812988$51DBEEBC-73D4-4D85-9158-EC290A91A9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250acc0948c2f8fa40efde32e791b6a565cd246c","datavalue":{"value":"Muchnik lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812988$761E4FD7-23EB-42D2-B207-FDCF02A4DB7A","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":"Q1812988$0C6CC4A1-8DE0-4BF8-89CD-C7F19B694965","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e948b58ec0ffc0d41297b727c8f95f066241a8fc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635751","type":"string"},"datatype":"url"},"type":"statement","id":"Q1812988$7FA46291-742E-4E9F-A5F6-EFC052732DC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44026240faadd2217845b034c333023e8e7e47a9","datavalue":{"value":"W2063323156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812988$425DEB76-7302-4594-8D78-48F0A46C44A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e51bc4575ba8d0ffc87962e3e3b3b26a6ec8e0af","datavalue":{"value":"10.1305/NDJFL/1093635751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812988$48959942-1AB4-4A19-80D6-E7E6D1ADC41B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa69b389e2cc59163fef0cde6d0622526196dc0f","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b09cbbd8738956eba9b0055f2603f4d2d4d696a","datavalue":{"value":{"amount":"+0.8767774105072021","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":"Q1812988$A3470477-CBF3-4C96-B51C-24C3C31BB917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4255e8005ae885442824e63944e112579b068ad0","datavalue":{"value":{"entity-type":"item","numeric-id":3480025,"id":"Q3480025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d13bcef6c2af0101cf57df7e39b906eec0c7d7","datavalue":{"value":{"amount":"+0.8731731176376343","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":"Q1812988$479B1D3D-9585-41CA-A882-2BDCBB97BE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c189ab10361f09d593b92bef6f9ddff6b15bba","datavalue":{"value":{"entity-type":"item","numeric-id":3503754,"id":"Q3503754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b820dd6f2bf9f85a94bac9c268410e14e4bc41","datavalue":{"value":{"amount":"+0.8181424140930176","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":"Q1812988$17299DE4-9D58-4EDD-A698-B2E843AA3EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24184bb376fc609f187814db32f4df6a6e0fbce2","datavalue":{"value":{"entity-type":"item","numeric-id":701736,"id":"Q701736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb60375067d6375ece15cfb764b8d090b677d4d","datavalue":{"value":{"amount":"+0.7708621621131897","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":"Q1812988$2C7A5A05-8C62-4D49-AA3B-C792DD5C6E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc1a9d6be4795a4600d688c3cd68e23baf57ebf","datavalue":{"value":{"entity-type":"item","numeric-id":952483,"id":"Q952483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b6d774d0d75dd12c1747f5decc609b5efbbf5a","datavalue":{"value":{"amount":"+0.7578517198562622","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":"Q1812988$B1012A96-7953-4C37-833A-1ECF869AEDBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding Brouwer algebra in the Medvedev lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_Brouwer_algebra_in_the_Medvedev_lattice"}}}}}