{"entities":{"Q1179772":{"pageid":1190521,"ns":120,"title":"Item:Q1179772","lastrevid":69837777,"modified":"2026-04-13T10:41:00Z","type":"item","id":"Q1179772","labels":{"en":{"language":"en","value":"On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25319"}},"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":"Q1179772$DB5CA137-9690-4760-BEAE-CCD54489348B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"257a6baf7c9a3001f96bd58e90f9ccec251da86e","datavalue":{"value":{"text":"On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179772$221C696E-0E35-491B-AA5D-F45791E82A87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bec03a0c576dd3e01c15a2d17a41a6b16fdf1bf6","datavalue":{"value":"0757.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179772$609EB366-30B0-43AA-A46B-20CCD788DBCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63a0b01ba0c9e900e05ad246c58f16ff94e86397","datavalue":{"value":"10.1007/BF01191088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179772$94AB0F3C-1834-4D5E-8333-8F73AFF01A73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2033399bcefd29e07518cc6220530813309617e3","datavalue":{"value":{"entity-type":"item","numeric-id":186170,"id":"Q186170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$66D2CB9B-CEBC-4912-BBB5-89376DA20453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55bc96d0d67197cb5499bbb5a076e104d4a8e44","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$96D7A235-AB3F-4276-B2F2-4435EAE02BE1","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":"Q1179772$AFA8FC02-F371-42C9-B954-4A2E02F60C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q1179772$D5DE2B87-375C-429E-A8C7-3B3E900F1AE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a902b4d5f0b972e80105e5f7982b5cc125835d9b","datavalue":{"value":"A ternary relation \\(R\\) on a lattice \\(L\\) is called a betweenness relation on \\(L\\) if \\((a,b,c)\\in R\\) is defined by \\((a\\land b)\\lor(b\\land c)=b=(a\\lor b)\\land(b\\lor c)\\). \\textit{M. Kolibiar} [Z. Math. Logik Grundlagen Math. 4, 89--100 (1958; Zbl 0087.26002)] proved that a ternary relation \\(R\\) on a set \\(L\\) is the betweenness relation of some lattice structure on \\(L\\) iff it satisfies four conditions labeled (A), (B), (C), and (F). These conditions are explicitly described in the current paper, but are too complicated to reproduce here. The point is that Kolibiar proved the independence of the first three conditions, but left open the independence of (F) from the remaining conditions. In the current paper, the question is answered in the affirmative. There are also some interesting results on the question of whether the ternary betweenness relation on (distributive) lattices has a first-order axiomatization.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179772$CC428005-2665-46A9-91D8-54C4F66F35E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179772$53E88489-C0EE-4967-A0B3-3AB047D4C0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179772$95CFAE32-5F02-400C-A76C-B1B7BFC4B671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83ec0c6d596bd33ce99c804a66e25e53634cfa99","datavalue":{"value":"25319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179772$F49121F1-240A-465E-BC9C-37B26B04D42F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36376c01f1ebc169b5e22cbdb28868d792a1894","datavalue":{"value":"segment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179772$430BADF3-8F74-434E-8BF5-ED325CD811C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0397a9bf01294d94fa99e167dd170518b6ca26f6","datavalue":{"value":"convex sublattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179772$C530DC09-7DB3-43DE-A27A-5EF8D62D707B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67dc0285b8260783062d2308b0b72332b54cb048","datavalue":{"value":"ternary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179772$3C8279A8-FF8A-4725-9EE3-8EF5557F9120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1c4f89edba8b9a6914fe942a6a41e67044b0a7","datavalue":{"value":"betweenness relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179772$20FA975A-5C32-4F46-A9EA-8BDBDEEC650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e12ea191fd7496f0c27fe8ba85ccf188b43ead9b","datavalue":{"value":"first-order axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179772$E2B15414-2D43-4234-BF97-6A07A46B2AA2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"88a87edeea11e54abfe6c168c94e598e8120dc75","datavalue":{"value":{"entity-type":"item","numeric-id":1042320,"id":"Q1042320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$B5F2FE8E-C648-49B4-9B43-C0D1812E5C96","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":"Q1179772$F09D7E05-87CD-48A5-87BA-C8BF7E3D8F04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"893042b1d9c45035e7e4809d5a0c2f4eeeaab77f","datavalue":{"value":{"entity-type":"item","numeric-id":2649044,"id":"Q2649044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$2B201C76-E931-41E0-99D0-8F32256DB8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$BB996643-4DD6-4A92-A1C5-64CB602D3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f77952e68a484193617484ce7b7cd75f62ac86","datavalue":{"value":{"entity-type":"item","numeric-id":5610399,"id":"Q5610399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$E17CC4A1-23FD-4742-8B16-7551C28758FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b8770cb822b3bd33956d04ca600476da80e231","datavalue":{"value":{"entity-type":"item","numeric-id":2650274,"id":"Q2650274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$8564C7DB-4834-46C4-B82E-E03099E785FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48673fa95d15c975b4297a6804480a8d5ba08d61","datavalue":{"value":{"entity-type":"item","numeric-id":3240266,"id":"Q3240266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$9C3FFA65-1195-468E-898D-FB59C9505BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f462b7ddc61912db4fc9a7ed4ef287d7c7bfc0df","datavalue":{"value":{"entity-type":"item","numeric-id":3259739,"id":"Q3259739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$EC962D41-925B-410F-84E6-A96E19A2F3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9222a9d4dd43b007167c5c4c97ea7333d698675c","datavalue":{"value":{"entity-type":"item","numeric-id":5834626,"id":"Q5834626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$3A56C676-AE18-4DD6-A069-DCD3AED6C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d160ee5bad6e00a72f29574ea554aaf1ded7f8d7","datavalue":{"value":{"entity-type":"item","numeric-id":5834623,"id":"Q5834623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179772$45CF00C7-3DDA-4F58-8C2D-724970684370","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23169fca411ad10647ffb57d323e2e7b5f0ed047","datavalue":{"value":{"entity-type":"item","numeric-id":1913873,"id":"Q1913873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b00d1562f7bae9660d08c48eb0bc82a0edebf70","datavalue":{"value":{"amount":"+0.9297010898590088","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":"Q1179772$415BE3BF-D35B-40B9-B9D0-5B04DD472B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ebbec486bde1a503c7af1c366c0bc284262b10","datavalue":{"value":{"entity-type":"item","numeric-id":4722118,"id":"Q4722118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6081da9ea64554e91126a88e07b8044a17c7d8","datavalue":{"value":{"amount":"+0.7955760359764099","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":"Q1179772$0D4D2ACB-AADB-4D55-A5FF-14F79A64BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0498726de44211c138f476eca73ea474f54de9","datavalue":{"value":{"entity-type":"item","numeric-id":4887623,"id":"Q4887623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a510c40de52a3ef57621a6a11b958137c2c408d0","datavalue":{"value":{"amount":"+0.7451066970825195","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":"Q1179772$DF1FD034-409A-49D8-B576-8194BCB19126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2248589d7ae0413e2da8de3ed061e177db8bb8","datavalue":{"value":{"entity-type":"item","numeric-id":1773439,"id":"Q1773439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fac014da06e9e01a59b10d21527180ab1e9f9b7","datavalue":{"value":{"amount":"+0.7440153360366821","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":"Q1179772$8C7057D4-4928-4DCE-BBF7-DA76DDA622AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar","badges":[]}}}}}