{"entities":{"Q2276991":{"pageid":2287734,"ns":120,"title":"Item:Q2276991","lastrevid":71740014,"modified":"2026-04-14T00:14:02Z","type":"item","id":"Q2276991","labels":{"en":{"language":"en","value":"On Banaschewski functions in lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193751"}},"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":"Q2276991$A7B4FAD0-6BE3-4E77-8263-4633FE699E5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a81f85c28c717f884e97dc499c406bbbafb827f","datavalue":{"value":{"text":"On Banaschewski functions in lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276991$EE6B4743-4231-438A-A479-BF588C72D2B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94572d9c3e2d34d09381244346c1bf30d0b94a26","datavalue":{"value":"0724.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$B039DC41-1D55-45F1-BDE2-BECA304ACBBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"821cc1af7ee3f529c47e95bc9b65948078456744","datavalue":{"value":"10.1007/BF01190414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$AF6C954C-F543-48FD-A3EB-8C19605ED6A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4ce2e379de11fe3ff39ee8abb7696585516e02a","datavalue":{"value":{"entity-type":"item","numeric-id":2276990,"id":"Q2276990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$3B51FCB5-6902-403E-BA32-82AD22994357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc8ebc99136375bf0082d22b30e6834cf055070e","datavalue":{"value":{"entity-type":"item","numeric-id":685294,"id":"Q685294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$1CC3C143-9DAA-467A-8986-71F419BC7BA3","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":"Q2276991$7B8F6B2E-4FCF-4168-90E9-7D0995EA686B","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":"Q2276991$55F87B17-9426-4FA1-9A48-2C6CA50117A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d63556df9539a58b983afaee3b1ee250fcb8854","datavalue":{"value":"Let L be a bounded lattice with the least element 0 and the greatest element 1 and X a non-empty subset of L. A function t: \\(X\\to L\\) such that for all x,y\\(\\in X\\), \\(x\\wedge t(x)=0\\), \\(x\\vee t(x)=1\\) and \\(x\\leq y\\Rightarrow t(x)\\geq t(y)\\) hold, is called a Banaschewski function or a B-function on X. The main results are some existence theorems for B- functions.    Theorem 5.2. Let L be a complete lattice with SA (for each \\(a<1\\) there is an atom p such that \\(p\\wedge a=0)\\), and let X be a non-empty subset of L with \\(JC_ 0\\) (for each chain C and each \\(a\\in L\\) such that \\(a\\wedge c=0\\) for all \\(c\\in C\\), the upper-join-continuity equality \\(a\\wedge \\bigvee C=\\bigvee \\{(a\\wedge c)|\\) \\(c\\in C\\}\\) holds) and AD (atomic disjointness property: for all atoms p, \\(a\\wedge b=0\\), \\((a\\vee b)\\wedge p=0\\Rightarrow a\\wedge (b\\vee p)=0).\\) Then there exists a B-function on X.    Theorem 5.4. Let L be a complete lattice which has the property SB (existence of basic supplementary elements: \\(a<1\\), \\(\\exists p>0:\\) \\(p\\wedge a=0\\), and \\(b\\nless p\\Rightarrow p\\wedge b=0\\) or \\(p\\leq b)\\) and let X be a non-empty subset of L with \\(JC_ 0\\) and GD (general disjointness property: \\(a\\wedge b=0\\), \\((a\\vee b)\\wedge c=0\\Rightarrow a\\wedge (b\\vee c)=0).\\) Then there exists a B-function on X provided that in case \\(0\\in X\\) there are non-trivial regular quasi-complement functions on X.    Theorem 5.7. Let L be a complete lattice with SC (as SA above but with arbitrary p) and let X be a non-empty subset of L with \\(JC_ 0\\) and D (0-distributive: \\(a\\wedge b=0\\), \\(a\\wedge c=0\\), \\(a\\wedge (b\\vee c)=0)\\). Then there is a B-function on X.    Applications to lattices with closure operations and to ordered abelian groups are finally given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276991$C86B5728-2EB6-48A1-90E4-45125337E83A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$1DEAA6D9-2BEC-412C-A5A6-E3B09D412542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$BCC6FAF3-9F74-4C7B-B4CD-4310C6B9D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa4446080f6ef2ae4d17a75a38b31128fb212f09","datavalue":{"value":"06C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$4C932125-88F6-4E27-B900-51FEE82B2A0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e819c2ed585a3ca1d1a1f9c2b304b05cad7dcb3e","datavalue":{"value":"4193751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$ACD8BC3E-0314-4DF9-A67E-467F027A3386","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67acd6693d792167f2649c5127215bbcab1d656","datavalue":{"value":"B-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276991$ECD5DF2B-6721-4428-A844-7F7504F84EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5df30e2edc6df6658e6367b160b0fc04671444","datavalue":{"value":"Banaschewski function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276991$C0A6A293-B4F9-4015-B0B1-DF779F71999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f2b89c1dc2ca3d72cb4c2f398e2f9ad34bbfc5","datavalue":{"value":"existence theorems for B-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276991$DA071B69-E7AF-48BF-BBC8-FFE9A8C44AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e835c0eeef4b2bd43d63f9582f61618fd6f1fcf","datavalue":{"value":"closure operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276991$9A67ED3D-58B9-46B5-8506-C851DF52DA78","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$52AA6831-EB3A-486F-8954-843118067739","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":"Q2276991$28BC1352-A76A-490F-A87E-4741543B5920","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7b415928a3ddff5acdc381c2268d8bb614be8e","datavalue":{"value":{"entity-type":"item","numeric-id":2543338,"id":"Q2543338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$79F0F7AA-9E27-4ACC-84B6-073BE3527915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$65B7946E-BBF0-4212-B6F6-37A7CAB41CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677f6a25f043e33a17d99c07e82c3d3a72a6c51c","datavalue":{"value":{"entity-type":"item","numeric-id":2530304,"id":"Q2530304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$102001B8-1A66-44B0-96C3-FDE2184DF3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76cac16721f1b04bb5745f5b2632a40bb3616f0","datavalue":{"value":{"entity-type":"item","numeric-id":5623714,"id":"Q5623714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$9C513687-3D4F-4B36-AACA-D7E9B34F3C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df2cf607a27337b69a03cc29686e163c3b42478","datavalue":{"value":{"entity-type":"item","numeric-id":3223453,"id":"Q3223453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$1D4D52F6-930C-4C50-B861-4444EDC26BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba93152231adb9dc08632cfdfc108cde92eb38f","datavalue":{"value":{"entity-type":"item","numeric-id":3788065,"id":"Q3788065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$B9C2FB4A-CA7E-454A-8CFE-D0639D176DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d10a4b942fc06347f09ac684cfdd13fa40771a7","datavalue":{"value":{"entity-type":"item","numeric-id":5905254,"id":"Q5905254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$D1602E88-FD64-417A-9596-686591BDD593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c8cdbed605f97c4ffb6020390b0a660040deaa","datavalue":{"value":{"entity-type":"item","numeric-id":4189329,"id":"Q4189329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276991$8D826596-D707-4793-8483-7624AF0F20BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a94b7f90f478e4671996d1813b485d3f1bd9831","datavalue":{"value":"https://doi.org/10.1007/bf01190414","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276991$4B908DBF-17DA-4A88-8B93-C3C0B443EC41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fda4b4554de6aea1228d30c4212bfd426cb1d189","datavalue":{"value":"W2030705607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276991$523EFD4B-4F1F-4624-8220-DBEEC6D2B119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be081206ca3d8f133010d5246a00404f29825f5f","datavalue":{"value":{"entity-type":"item","numeric-id":1646621,"id":"Q1646621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5981a208ce100a28d689d6f3bb1734fe5808429","datavalue":{"value":{"amount":"+0.7847435474395752","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":"Q2276991$48575DEA-BE24-49C3-999D-22133E9FC255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df4f8bdd74f363d59adfe0934d189469f4f4d36","datavalue":{"value":{"entity-type":"item","numeric-id":616121,"id":"Q616121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd66e4a8a73d9de459f71757b054c82ca921d4e2","datavalue":{"value":{"amount":"+0.7685410976409912","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":"Q2276991$50BE068C-1E8D-4CA6-B11B-AE241C58445C","rank":"normal"},{"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":"92a7295eeba26eb2dab54c3a9de3b628c74087dc","datavalue":{"value":{"amount":"+0.7392718195915222","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":"Q2276991$6363B820-0774-42A4-AD1F-6E0A6F643615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8258fa6cf153d48bba9d2614b5770800ede39e","datavalue":{"value":{"entity-type":"item","numeric-id":810174,"id":"Q810174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f849aefb8f4abfca873e454f3f2ba25f90fa8eca","datavalue":{"value":{"amount":"+0.725064754486084","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":"Q2276991$EFAB41BB-D388-488E-8ABA-86BA4B1D71D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b361b4aff12832ea3e89f3771912c625d9afff4c","datavalue":{"value":{"entity-type":"item","numeric-id":1971628,"id":"Q1971628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b5b25fef7f11bf4d95c76b4ce5991c20f5d285","datavalue":{"value":{"amount":"+0.7170363068580627","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":"Q2276991$18517D5E-8764-4914-83DB-5F5B6FE7A8D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Banaschewski functions in lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Banaschewski_functions_in_lattices"}}}}}