{"entities":{"Q2433097":{"pageid":2443840,"ns":120,"title":"Item:Q2433097","lastrevid":73404180,"modified":"2026-04-14T15:48:16Z","type":"item","id":"Q2433097","labels":{"en":{"language":"en","value":"The J\u00f3nsson-Kiefer property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5068031"}},"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":"Q2433097$DF8C81E4-640F-486E-8FEE-79D20EF460E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64b8be2a32f829c112b0b8b2ade6f7d881f4d665","datavalue":{"value":{"text":"The J\u00f3nsson-Kiefer property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2433097$E5BA35F8-3E3C-4A81-B471-259E4EBAA1A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05d280f86d9f171abd5cea6e3fe567bcff0045ce","datavalue":{"value":"1108.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$5144D265-C3BA-4BE7-B65F-F89966C5103A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f542c590689b7db9e238ff6636ee04500855c3","datavalue":{"value":{"entity-type":"item","numeric-id":922574,"id":"Q922574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$1355D51F-97C0-4102-B433-A6B12580B476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$C1ECDE2E-1B9B-4C65-8D29-A83525659269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce6c7c13f79df3493945bb3eac148fd4a412831b","datavalue":{"value":{"entity-type":"item","numeric-id":219076,"id":"Q219076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$90645E01-4D79-420F-8004-F441C1A96539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855684eef6b1f96405b4df9d424e7af0ba05ea99","datavalue":{"value":{"entity-type":"item","numeric-id":945024,"id":"Q945024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$B6CE0357-CFC6-4769-8425-61138FBEDDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ab44fff9c88d94f451b15a05165816cf799437","datavalue":{"value":{"entity-type":"item","numeric-id":438816,"id":"Q438816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$C851C3BD-3D80-4C40-9E4A-60636D41B6E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$2EDF443A-8C41-4F9A-83CF-3B9A0620A3FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50b7fd0a0c44a7cc6c2f9a66104698377fd376f1","datavalue":{"value":{"time":"+2006-10-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":"Q2433097$4CDD4FDB-E76C-41FB-BDCB-649E47544F47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e8f43bd71de6cd68ce45c3dcfc280764f8561bc","datavalue":{"value":"A lattice \\(L\\) is meet distributive iff \\(L\\) satisfies \\(u = x\\wedge y = x\\wedge z\\) implies that \\(u = x\\wedge (y\\vee z). \\) The concept of a lattice being join semi-distributive is the dual of that one just defined. One says that \\(a = \\bigwedge C\\) canonically if \\(a =\\bigwedge C\\) irredundantly and whenever \\(a = \\wedge B\\), then \\(C\\) refines \\(B\\) in the sense that for each \\(c\\in C\\) there exists \\(b\\in B\\) such that \\(c\\geq b.\\) An element \\(p\\) of a lattice \\(L\\) is meet-prime if \\(p< 1\\) and \\(p\\geq x\\wedge y\\) implies that \\(p\\geq x\\) and \\(p\\geq y\\). Dually, \\(p\\) is join-prime if \\(p > 0\\) and \\(p\\leq x\\vee y\\) implies that \\(p\\leq x\\) or \\(p\\leq y\\).  \\textit{B. J\u00f3nsson} and \\textit{J. E. Kiefer} [Can. J. Math. 14, 487--497 (1962; Zbl 0107.25202)] observed that in a finite join semi-distributive lattice, the canonical joinands of \\(1\\) are join-prime. The J\u00f3nsson and Kiefer property has arisen naturally in a number of settings. For example, V. A. Gorbunov and his co-researchers deeply investigated the Birkhoff-Mal'tsev problem which asks for a characterization of the lattices isomorphic to the lattice \\(L({\\mathcal K})\\) of all sub-quasivarieties of \\({\\mathcal K}\\) for some quasivariety \\({\\mathcal K}\\). Among their first discoveries was the fact that these lattices are dually algebraic lattices with the J\u00f3nsson and Kiefer property. Also, if a lattice satisfies the J\u00f3nsson and Kiefer property, then it is join semi-distributive.  In the paper under review, the authors investigate conditions under which the least element of an algebraic, meet semi-distributive lattice is a (complete) meet of meet-prime elements. For example, they prove that this is true if the lattice has only countably many compact elements, or if \\(| L| < 2^{\\aleph_0}\\), or if \\(L\\) is in the variety generated by a finite meet semi-distributive lattice. Finally, they give an example of an algebraic, meet semi-distributive lattice that has no meet-prime element or join-prime element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433097$4DC33498-E961-47AE-B791-F10208B0AE5A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"48628d30d5643f8539e03d6f136f60aba491a04d","datavalue":{"value":{"entity-type":"item","numeric-id":592500,"id":"Q592500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$CBD9DE0B-37DB-4A7C-A880-DA8A9687CF59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$BAB47945-1745-4484-B1AC-C7D4305C5CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$77A7A874-F2F3-4693-95A9-60A9A09B7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$6F7CC588-5B11-4C9B-90FD-B33550137BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$3BC876A5-0806-4444-B76D-A109B651E8F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"241f09075db4cb7b384f3bbfe126f91642032c07","datavalue":{"value":"5068031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$F0D6ADAB-91BD-4D76-AD2F-357A6D05437D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f7a85d10d0ea50fc371ba4945da040f473f456","datavalue":{"value":"meet semi-distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433097$A2292E9D-FC2B-4095-AB7B-0F3053455563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc27894abd0b9999ced1a98052002a1968197996","datavalue":{"value":"psudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433097$5609A952-64FE-48F7-8177-355A8DABE707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4387bef9e849785047e46860c7b7fa66989b76","datavalue":{"value":"meet-prime element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433097$15FA83BC-36B6-4CCA-8E7D-7301E1D25304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4873c386f3491eeaf058081bace1650476a0a8","datavalue":{"value":"join semi-distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433097$A71D40E3-64E4-43EC-8181-5E48F0451B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24665bfb09d2e1946801a29248b117e4750faf21","datavalue":{"value":"join-prime element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433097$0778372F-25A0-41FC-B0CE-9D983E253B12","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":"Q2433097$2C36CB10-7F1E-4BA0-BB8C-CDAF1BB18C28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49b284ffc26bf1dd97f9c75c64e34da98bbd0aaf","datavalue":{"value":"https://doi.org/10.1007/s11225-006-8300-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2433097$DC8ED20C-4744-4F1F-ADD7-76DE34DC298D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"614480d4ce1bbd1aa5c064c7c6bea3cd2d4a0cdc","datavalue":{"value":"W1964060510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$038D3100-41CD-4861-9465-F23CDC0C5641","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2781016e94da72b89fbf311f5997d4a52bb01202","datavalue":{"value":{"entity-type":"item","numeric-id":1770619,"id":"Q1770619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$776865A0-CA4E-45FD-BA86-56757CE84D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7283557d38ecef7c48dab2fac59234b9957404","datavalue":{"value":{"entity-type":"item","numeric-id":2577688,"id":"Q2577688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$19376A13-5D5B-458D-BFDB-77BA08DB4E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd3131096b2e3cba8c5628410f16a8323cdd684","datavalue":{"value":{"entity-type":"item","numeric-id":922575,"id":"Q922575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$B945EBE0-5C9C-41D1-9BD6-E7AFEE99A38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2056ead07081fab79d0f8c0760aa4a4049adcc38","datavalue":{"value":{"entity-type":"item","numeric-id":1826508,"id":"Q1826508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$98594689-CF4F-459D-8D27-ED0E5AD6EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$49918484-3982-4612-86B4-E44DFC7717F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b060d644f4df15a26a72a0f1b86cb807016bd3c","datavalue":{"value":{"entity-type":"item","numeric-id":1137602,"id":"Q1137602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$ACF7FBF5-FFE5-478F-9BF7-2692C05423EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba21172ef8f1257060f933893a880bfeb61ebb16","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$D9C1977C-D26F-42E2-BF32-0E3A0520AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6817f140f7ed229b9688f514301d0ff6b45796","datavalue":{"value":{"entity-type":"item","numeric-id":3674739,"id":"Q3674739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$62BC9570-E43E-4B0B-BA7D-C8DB8BA473CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7643317fab34cccf924833375133bdda9fede089","datavalue":{"value":{"entity-type":"item","numeric-id":1052353,"id":"Q1052353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$6F86899F-60AF-401B-B5A1-10A5FCAB073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a2d1a1ef9567ece0c524b8a10f01f19ebfd116","datavalue":{"value":{"entity-type":"item","numeric-id":3294257,"id":"Q3294257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$B33BDE92-FC7F-4C50-BA9D-DB066E6993E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f13f49c9a7d5f06fdb9ca73b862099a11fbb631","datavalue":{"value":{"entity-type":"item","numeric-id":1770614,"id":"Q1770614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$F994E3A5-C10D-4028-9E11-3E721744F0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c8f201e16cd35ad62cf4cc6184ab16a39b3498","datavalue":{"value":{"entity-type":"item","numeric-id":4517148,"id":"Q4517148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$DC14EE2F-B48F-4DDF-9079-594F2A45CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818cedf0d7095bee5fb759ee853a47a147d669b3","datavalue":{"value":{"entity-type":"item","numeric-id":4795507,"id":"Q4795507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433097$255F5162-B7AE-4F31-BEAB-E75EE865E592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a844d9078d7bf992497b9b0959170ddeae8244bc","datavalue":{"value":"10.1007/S11225-006-8300-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433097$F11CC1B6-6B0C-47BE-8B5B-67C066D5D011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4e2cd51e72bc3d2d8eec2849a4019afff195c1","datavalue":{"value":{"entity-type":"item","numeric-id":4206793,"id":"Q4206793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7377d6991cb993c180c2a90a036a193fd06feae","datavalue":{"value":{"amount":"+0.7281861305236816","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":"Q2433097$AE0CB318-2F1A-4D4E-AB7A-0D873726684B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84ae072fe04084fe361389f603a675780c92950","datavalue":{"value":{"entity-type":"item","numeric-id":2788071,"id":"Q2788071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa65f8f106d5189051df989142e8781c440410e","datavalue":{"value":{"amount":"+0.7227346897125244","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":"Q2433097$BC56B4D0-7C1D-49B5-8717-7AEA1C83171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ba2d1dff4a77b2ca12ef04b91635260e6353ca","datavalue":{"value":{"entity-type":"item","numeric-id":4879749,"id":"Q4879749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48cddddb2ca62e6bf1413d3e6508d9d6b62a8c1f","datavalue":{"value":{"amount":"+0.7188230156898499","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":"Q2433097$4A549193-8BF8-497A-89EC-4B66AE9D799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2eabb1d78f9009bc803f127d33566d355e79b93","datavalue":{"value":{"entity-type":"item","numeric-id":4291363,"id":"Q4291363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1af0e5837bbf1e0eb8409656fe8dacbd3503ee","datavalue":{"value":{"amount":"+0.7170134782791138","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":"Q2433097$A7AC99BB-BD8C-446E-A177-677D19EE0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387e66d170caac905c83d0a98823ffedf9f33a5c","datavalue":{"value":{"entity-type":"item","numeric-id":1207723,"id":"Q1207723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75869166e2078514d2f5745109d1b67a70257a80","datavalue":{"value":{"amount":"+0.7163716554641724","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":"Q2433097$A01D5461-8A9F-4853-A82E-CD5218E85358","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The J\u00f3nsson-Kiefer property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_J%C3%B3nsson-Kiefer_property"}}}}}