{"entities":{"Q810174":{"pageid":812022,"ns":120,"title":"Item:Q810174","lastrevid":64544544,"modified":"2026-04-11T20:36:50Z","type":"item","id":"Q810174","labels":{"en":{"language":"en","value":"Remarks on semiseparation of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212369"}},"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":"Q810174$3D4AEF08-E584-40CF-8254-F0CA97A2F4CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c82c53395a1dd8d07b69c9bb13bd6ea98ef25b6a","datavalue":{"value":{"text":"Remarks on semiseparation of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810174$A34945C2-6D2E-4B05-84B9-E6246D12B7F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f43ca460f9b2d7ef7436e9284820043555937a","datavalue":{"value":"0733.28006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810174$94209649-E42C-4D65-B736-32B61D9D8208","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f47c38a5cdab84e27c7b7b606dbd541dcc0b4d7","datavalue":{"value":"10.1155/S0161171291000388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810174$DA8D0426-8937-490D-A07C-E364B9DBAF28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"724c45d732ba6d6e8469f06cf8eba173d17c26c4","datavalue":{"value":{"entity-type":"item","numeric-id":810172,"id":"Q810172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810174$FB89A931-040B-4B71-954C-B5AE82FADF52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810174$E1933156-AD67-4001-A140-907DDC713593","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810174$5EE39BDE-8A24-4B13-B452-8D67DD84D030","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9879ed25a5a8d59e4e2a3c3a456bb8b876ee255","datavalue":{"value":"https://eudml.org/doc/46623","type":"string"},"datatype":"url"},"type":"statement","id":"Q810174$0A25F7D1-C161-47B3-8CFC-4D9F0AC17AEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7c05f79372ecf0ea60df5ff85ab6cf4cdd32725","datavalue":{"value":"Let X be a non-empty set. For a lattice we refer to any lattice of subsets of X containing \\(\\emptyset\\) and X. If \\({\\mathcal L}_ 1\\) and \\({\\mathcal L}_ 2\\) are two lattices such that \\({\\mathcal L}_ 1\\subseteq {\\mathcal L}_ 2,\\) then \\({\\mathcal L}_ 1\\) semiseparates \\({\\mathcal L}_ 2\\) if \\(L_ 1\\in {\\mathcal L}_ 1,\\) \\(L_ 2\\in {\\mathcal L}_ 2\\) and \\(L_ 1\\cap L_ 2=\\emptyset\\) imply that there exists \\(L\\in {\\mathcal L}_ 1\\) such that \\(L_ 2\\subseteq L\\) and \\(L_ 1\\cap L=\\emptyset.\\) Let \\({\\mathcal L}\\) be a lattice. Then (1) \\({\\mathcal L}\\) is a delta lattice if \\({\\mathcal L}\\) is closed under countable intersections; (2) \\({\\mathcal L}\\) is disjunctive if \\(x\\in X,\\) \\(L_ 1\\in {\\mathcal L}\\) and \\(x\\not\\in L_ 1\\) imply that there exists \\(L_ 1\\in {\\mathcal L}\\) such that \\(x\\in L_ 2\\) and \\(L_ 1\\cap L_ 2=\\emptyset;\\) (3) The symbol I(\\({\\mathcal L})\\) denotes the set of all non-trivial \\(\\{0,1\\}- \\)valued finitely additive set functions defined on the algebra A(\\({\\mathcal L})\\) generated by \\({\\mathcal L}\\); (4) An element \\(\\mu \\in I({\\mathcal L})\\) is \\({\\mathcal L}\\)-regular if \\(\\mu (A)=\\sup \\{\\mu (L):\\;L\\in {\\mathcal L}\\text{ and } L\\subseteq A\\}\\) for all \\(A\\in A({\\mathcal L});\\) (5) The symbol \\(I_ R({\\mathcal L})\\) denotes the set of all \\({\\mathcal L}\\)-regular elements of I(\\({\\mathcal L})\\); (6) The symbol \\(I^{\\sigma}_ R({\\mathcal L})\\) denotes the set of all countably additive elements of \\(I_ R({\\mathcal L})\\); (7) An \\({\\mathcal L}\\)- filter is a subset F of \\({\\mathcal L}\\) satisfying the following conditions: \\(i)\\quad \\emptyset \\not\\in {\\mathcal F},\\) ii) \\({\\mathcal F}\\) is closed under finite intersections, and iii) If \\(F\\in {\\mathcal F},\\) \\(L\\in {\\mathcal L}\\) and \\(F\\subseteq L,\\) then \\(L\\in {\\mathcal F};\\) (8) \\({\\mathcal L}\\) is an I-lattice if every \\({\\mathcal L}\\)-filter with the countable intersection property is contained in an \\({\\mathcal L}\\)-ultrafilter with the countable intersection property. It is easy to verify that the set \\(\\{\\{\\mu \\in I_ R({\\mathcal L}):\\;\\mu (L)=1:\\;L\\in {\\mathcal L}\\}\\) is a base for the closed sets of a topology on \\(I_ R({\\mathcal L})\\), called the Wallman topology on \\(I_ R({\\mathcal L}).\\)    Now the main results of the paper under review can be stated as follows:    Theorem A. Let \\({\\mathcal L}_ 1\\) and \\({\\mathcal L}_ 2\\) be two lattices such that \\({\\mathcal L}_ 1\\subseteq {\\mathcal L}_ 2\\), let \\(\\mu \\in I_ R({\\mathcal L}_ 1)\\) and, for every \\(E\\subseteq X,\\) let \\(\\mu '(E)=\\inf \\{\\mu (X\\setminus L_ 1):\\;L_ 1\\in {\\mathcal L}_ 1\\text{ and } E\\subseteq X\\setminus L_ 1\\}\\) and \\({\\tilde \\mu}(E)=\\inf \\{\\mu (L_ 1):\\;L_ 1\\in {\\mathcal L}_ 1\\text{ and } E\\subseteq L_ 1\\}.\\) Then \\(\\mu '| {\\mathcal L}_ 2={\\tilde \\mu}| {\\mathcal L}_ 2\\) if and only if \\({\\mathcal L}_ 1\\) semiseparates \\({\\mathcal L}_ 2.\\)    Theorem B. Let \\({\\mathcal L}_ 1\\) and \\({\\mathcal L}_ 2\\) be two lattices such that \\({\\mathcal L}_ 1\\subseteq {\\mathcal L}_ 2\\), \\({\\mathcal L}_ 1\\) is delta and an I-lattice, \\({\\mathcal L}_ 2\\) is disjunctive and, for every \\(\\mu \\in I_ R({\\mathcal L}_ 2),\\) the restriction \\(\\mu | A({\\mathcal L}_ 1)\\) is \\({\\mathcal L}_ 1\\)-regular. If the map \\(\\chi (\\mu)=\\mu | A({\\mathcal L}_ 1)\\) is closed with respect to the corresponding Wallman topologies, then \\({\\mathcal L}_ 1\\) semiseparates \\({\\mathcal L}_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$A85B371B-0EE0-473E-9C33-95F71792D5FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a02cfcf6167efdc50d3eac5dba54daad352b01a","datavalue":{"value":"28C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810174$23F96278-EAC7-428F-93BF-2CAC296AC984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b228c9ee3c97685ba8b4fbcb638c637eaa9c7ea","datavalue":{"value":"28A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810174$56A5ED32-44BB-4E70-A6A1-5998D5F98D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e64661cd69315eb7997629bf28ef413ce4dcfb2","datavalue":{"value":"4212369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810174$13E18B73-5DC7-43CD-9845-ED89E47DAA38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60369e45aec5318897257ff261834ed1053282e","datavalue":{"value":"semiseparation of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$CF805965-E061-438F-9B38-D0ED8EE5BCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdf235ffda465c3aeb4250850467deb824af4c8","datavalue":{"value":"disjunctive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$C17656A6-C476-4894-9748-6AA5F48389FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1375fda89e988aa7ba8b12c7b3484bfb4e416884","datavalue":{"value":"lattice-regular measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$EF6D073E-60AB-4790-92C7-DDBCD1DDF2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba71f18635f21fb79a59c27b97fc2b22f2866bd","datavalue":{"value":"filter in a lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$16765032-96A6-4208-9A3E-E86933675C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbfb11217c8671993bacf5a582a983649e5b5052","datavalue":{"value":"delta lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$8538A75F-4737-4543-96C0-0EB33D13AB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b26c5be2adb9d2dc74e4a106dcc424c94efb7f6","datavalue":{"value":"I-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q810174$4A5CDEEF-BF5A-4AD4-A596-65198C457E4A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8bc723e44a850381299c06a8f3a14da5cc44d1d9","datavalue":{"value":{"entity-type":"item","numeric-id":1088014,"id":"Q1088014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810174$57F1CA61-1D41-4274-872F-B316F9249667","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":"Q810174$E81BB49B-A4E8-4D47-BF8D-8B023CD5F69C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc19f2df5cb75f9b6d47adbb76a1b18af787f41e","datavalue":{"value":{"entity-type":"item","numeric-id":810175,"id":"Q810175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0678acc1c93945b1bfd26d556703e838cab8dfe","datavalue":{"value":{"amount":"+0.9300349354743958","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":"Q810174$7AFF51F6-11C4-41CD-81EF-317E40F36049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303d670c7dd07d23647648a245705110bb37c89d","datavalue":{"value":{"entity-type":"item","numeric-id":810652,"id":"Q810652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da74ed223cbaaf85abf5cc10194c071e5edc687e","datavalue":{"value":{"amount":"+0.8878795504570007","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":"Q810174$5F5823D0-6346-4912-ABD0-95955688DA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51129ce48bea593a242ff5e6cb93b57615796c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3351636,"id":"Q3351636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bad77beeec287039c69dab11fa45bc9cb2c46f8","datavalue":{"value":{"amount":"+0.873030960559845","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":"Q810174$1F8732ED-FAF2-4A36-BCA2-8F2D11DABD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d46726bc7b5a999a701015366ac9b32537048c","datavalue":{"value":{"entity-type":"item","numeric-id":1922858,"id":"Q1922858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c79b8eaef68cff34dfca35c11747229a2cafa3","datavalue":{"value":{"amount":"+0.8437488675117493","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":"Q810174$30EDCF28-95B5-40B5-B356-86AEFFD53B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9193485b211fea5cbf213da280b94b52a23e8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1345782,"id":"Q1345782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c79b8eaef68cff34dfca35c11747229a2cafa3","datavalue":{"value":{"amount":"+0.8437488675117493","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":"Q810174$27B43E50-7D89-478C-9368-6DE9D534FAD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on semiseparation of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_semiseparation_of_lattices"}}}}}