{"entities":{"Q2276988":{"pageid":2287731,"ns":120,"title":"Item:Q2276988","lastrevid":71739987,"modified":"2026-04-14T00:14:02Z","type":"item","id":"Q2276988","labels":{"en":{"language":"en","value":"Arguesian lattices which are not type-1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193748"}},"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":"Q2276988$F25A4BAF-C0EE-40FE-A4E3-41F781FA4553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa71f5bc19d3a9cae739a3ae1a5f5923e3cb50f","datavalue":{"value":{"text":"Arguesian lattices which are not type-1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276988$333F7D51-B02D-40F6-B64C-A6273AE002E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a9ebc7e678ddfad0f2941b132adeebc63f34c6d","datavalue":{"value":"0724.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276988$A3BECEEC-CAF2-446E-852D-7FCA23C145A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5377aec2bd274b2ec543ae339ad8717ea37ac1ad","datavalue":{"value":"10.1007/BF01190416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276988$F7ADC979-61EF-4F68-884A-35C928FAD172","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":"Q2276988$D3D305F9-0300-414D-B92C-9623CDAA061A","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":"Q2276988$EBAB13BD-34CD-4C8F-9ECB-39FBDF8ED614","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a71bc5a424d33a8ad38b51bc30c3a2efe04c4cba","datavalue":{"value":"If a lattice is representable by pairwise commuting equivalence relations on some set (i.e. of type-1), then it satisfies the Arguesian identity [cf. \\textit{B. J\u00f3nsson}, Proc. 19th Nordic Congr. Math., Reykjavik, Iceland 1984, 78-108 (1985; Zbl 0576.06009)]. As announced in Bull. Am. Math. Soc., New Ser. 16, 121-123 (1987; Zbl 0616.06006), the author disproves the converse statement, thus answering a question posed by J\u00f3nsson in 1953. More generally, he proves that no finite set of identities or even universal Horn sentences can characterize type-1 lattices. His counterexamples also serve to show that even if the skeleton is assumed to be distributive neither the Arguesian identity nor any other finite set of identities implies type-1. This settles a conjecture of \\textit{J. B. Nation} and \\textit{D. Pickering} [Algebra Univers. 24, 91-100 (1987; Zbl 0633.06003)] in the negative.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276988$B811CCD0-32D8-480D-9FCA-98C905394CF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276988$1D042E11-80E1-4E98-BFDB-81E97672F143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276988$A71A7A0A-485F-49DD-9AAE-3E250BBBE323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0f1e17b35d896d545eade03da6e2dc3aea3b088","datavalue":{"value":"4193748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276988$17CCF754-5AB8-41A0-BF4B-CB425575D06A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654ab9f38437add4c689a918adf4b0af915c497d","datavalue":{"value":"type-1 representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276988$24D20A21-5FD9-41DE-8FA3-AB8AB09805C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6521dae18f8f4806ab141093a90865f9b6a7b6a3","datavalue":{"value":"Arguesian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276988$920D5958-F43B-4956-9A09-CDF5CA058696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bb5f891d594f374f8ede2f07d0d8ad16533a3b","datavalue":{"value":"distributive skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276988$8C249177-F217-40F3-84EC-38E7CD1F55D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"264b17aaee9266b952a5160b41caf01fbaac3ceb","datavalue":{"value":"Arguesian identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276988$51161EB3-9AA1-439C-9BF2-5389302756DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cf2390cbf1dc6aa717b01f2569e35ae6c0998e","datavalue":{"value":"universal Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276988$DE1DE4CD-8A1A-4715-8E19-AAF06C8D2C22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f1453544386c13b7525d1b0737e0391fa31510","datavalue":{"value":{"entity-type":"item","numeric-id":1191945,"id":"Q1191945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$64331DD5-EAED-467C-93B4-7A9CD928C941","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adec00be824bd247cdea1af83bd0dad28a9541c0","datavalue":{"value":{"entity-type":"item","numeric-id":588356,"id":"Q588356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$4024BBD1-8F62-4CE4-9655-0187F4DB90F4","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":"Q2276988$63A6CE65-9FA8-4774-BF71-B3D8FD3AD265","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b50c0ca1dc18869b0aaeb3200315ad6202bbc58","datavalue":{"value":{"entity-type":"item","numeric-id":1070254,"id":"Q1070254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$4AC149B5-C9E8-4E9D-86A9-399A6BF83640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e2a9267b97ee61c7a8831987d365bb3890d994","datavalue":{"value":{"entity-type":"item","numeric-id":4724677,"id":"Q4724677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$FA372EC7-BEBB-48CF-AEE2-D4F007DEE725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a734ab299e8bf770e5054bc4ff62aa5bba61f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":1077445,"id":"Q1077445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$59433A1B-FD71-4522-8409-3D1FC6CC4B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94f6f91958a2ae3e133c76356850791b895b927","datavalue":{"value":{"entity-type":"item","numeric-id":2265443,"id":"Q2265443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$78864E33-07FF-4C3D-8DA2-594ACEFFCD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b274a7051ff6e80e41d5513f2cdfb67980f565a4","datavalue":{"value":{"entity-type":"item","numeric-id":5822106,"id":"Q5822106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$A62DAB4E-C02F-4A9C-8357-60CD121926F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$68F2C94D-F7C6-41A3-9812-F00023552CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d6c6c684c63643370be09d6014e2164e998753","datavalue":{"value":{"entity-type":"item","numeric-id":1095959,"id":"Q1095959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276988$21719719-333C-4AD1-B125-587DA7532AF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba22c672e566fa56c95ad90560ba8ca242dda27","datavalue":{"value":{"entity-type":"item","numeric-id":3328591,"id":"Q3328591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805f21d2d29a43868f47f8c1f2c9ecf192c01475","datavalue":{"value":{"amount":"+0.8207476735115051","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":"Q2276988$8D6038E0-F9BC-4CDC-9B3D-6A0F7C24520A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b886b3e5e612afc86fa28ae05d6166cf185843","datavalue":{"value":{"entity-type":"item","numeric-id":3697063,"id":"Q3697063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0114776085e0cd92d4060275ab88cbe3e6a6d7","datavalue":{"value":{"amount":"+0.8121132850646973","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":"Q2276988$404C633A-E874-4A7A-95CD-CEF1AAAA10D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4bb2097849e93f7b7c0e720f777b4c14cfe5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4724677,"id":"Q4724677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602ceb2c7e94a52c12241c4d3748d3af940c9922","datavalue":{"value":{"amount":"+0.8060018420219421","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":"Q2276988$4E59DCBB-F69D-4CC0-81C4-02A4FA59E700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4fb28fa7836c2819933975a151a661a16f0288","datavalue":{"value":{"entity-type":"item","numeric-id":1315325,"id":"Q1315325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9184bcda92f0d9d2007a97ac6fcafafa148428e0","datavalue":{"value":{"amount":"+0.7881227731704712","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":"Q2276988$62181FBC-99D4-4660-AE81-59A5D6BF0165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7be956c3bc79a9f7fea108f969c3619b3bde79","datavalue":{"value":{"entity-type":"item","numeric-id":382340,"id":"Q382340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74c8cfdedbaf820583f010604fffa485c51b661","datavalue":{"value":{"amount":"+0.7791010737419128","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":"Q2276988$C372BB00-5ECD-4561-88ED-16D82D720C73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arguesian lattices which are not type-1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arguesian_lattices_which_are_not_type-1"}}}}}