{"entities":{"Q1362896":{"pageid":1373635,"ns":120,"title":"Item:Q1362896","lastrevid":70242489,"modified":"2026-04-13T13:26:26Z","type":"item","id":"Q1362896","labels":{"en":{"language":"en","value":"The class of prime semilattices is not finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045586"}},"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":"Q1362896$05613110-C7FD-4592-B4EC-E1EED3D7DB8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eabaf9dfd6884bf3cdb66ccda984f1db5a6138e","datavalue":{"value":{"text":"The class of prime semilattices is not finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362896$0B248331-336F-4E5B-BF0D-5A2B16C0BEE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6df9e750065e11e969c22f7b7a65a5ccc832a399","datavalue":{"value":"0905.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362896$C6603BF1-0435-4BE2-9EDA-3B04700640E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b48e3294b44ea6a4e632d8529b6d08daf2e202a8","datavalue":{"value":"10.1007/PL00005908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362896$EA4FE1F7-1DE7-4E1F-8BFF-7C03B6A79F92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83edf687e87db231eb1aae462d2d9887611a063","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362896$49FE46F4-5331-4865-BED4-8336042247DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362896$27EE7132-586A-474B-88B5-9F92211D8328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac8443813f2a05dafec6041e70cd505aec3d667","datavalue":{"value":{"time":"+1997-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1362896$E90111A0-21C2-4FCF-9C3D-3DAD4D510059","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1821d8b0b9b3611f40ac127abbd6c05dce456c18","datavalue":{"value":"A meet-semilattice \\(S\\) is prime iff for \\(x\\nleq y\\) in \\(S\\) there is a prime filter in \\(S\\) containing \\(x\\) and omitting \\(y\\). \\textit{R. Balbes} [Trans. Am. Math. Soc. 136, 261-267 (1969; Zbl 0175.01402)] has shown that \\(S\\) is prime iff binary meet distributes over all finite existing joins. \\textit{B. M. Schein} [Algebra Univers. 2, 1-2 (1972; Zbl 0248.06006)] stated without proof that the class of prime semilattices is not finitely axiomatizable. The purpose of this note is to validate Schein's claim. To this end, the author constructs a sequence of first-order sentences \\(D_n\\) expressing that binary meet distributes over existing \\(n\\)-ary joins and then shows that \\(D_n\\) does not imply \\(D_{n+1}\\) for any \\(n\\geq 1\\). It follows that no finite collection of \\(D_n\\)'s will axiomatize prime semilattices and this class, consequently, cannot be finitely axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362896$F8D874A8-815C-48BE-93B8-C09E6DEBEF38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362896$D140ED88-1E35-4D20-87BC-2DC1ACD8B732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362896$7272EB98-81D9-4F0B-9545-1FD3507AA1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3f136b552f71e25ff988c78f6b3a45352595c7","datavalue":{"value":"1045586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362896$98817071-53C2-4551-BEB2-93830EBFFAE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362896$ACF26B7C-B0E1-412B-8C59-4833EA802318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbca8cb1c792669251c97561d8a65dfe532720c","datavalue":{"value":"meet-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362896$357A6F8D-C6F5-4062-9AEE-4A805022C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362896$141FB3E3-DB7C-4051-B6F7-D2FE5DF845EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ea9aa6a0d31d5db25a2053a2940f7846d581a3d","datavalue":{"value":"prime semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362896$6C12E58D-483B-4A11-A8FC-31AADA38F778","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":"Q1362896$A46FAFBF-CB72-4497-910E-B0E72D67199A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c01d23c29e7e4a02b0c458d1382afe6f9d06890","datavalue":{"value":"https://doi.org/10.1007/pl00005908","type":"string"},"datatype":"url"},"type":"statement","id":"Q1362896$75E86DD0-7513-43D0-AE8D-49A31F7E1A34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8925c81849d0aa30faede1f65e189d94d85fe1b3","datavalue":{"value":"W1991614578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362896$F766AFFB-2740-48F3-A6CA-6EC1E8691502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c00268616f358521f17591e7f6de7d276ca01e","datavalue":{"value":{"entity-type":"item","numeric-id":3688443,"id":"Q3688443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310eb782e226f828e986e4116631fee3bc76d0f9","datavalue":{"value":{"amount":"+0.7590835690498352","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":"Q1362896$C275CD73-223B-4B9D-9FC8-51530B1F924E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285aac6a4ca0fbc8eb1a9a9251bbfe40c86a1dff","datavalue":{"value":{"entity-type":"item","numeric-id":5563388,"id":"Q5563388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ddef96b62002144e0218c9cd223d7e020a17f7","datavalue":{"value":{"amount":"+0.7525361776351929","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":"Q1362896$D70087CA-9437-40F0-A590-48CCB84A51EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03b794c7824932033d5a4637658821197fdd7a4","datavalue":{"value":{"entity-type":"item","numeric-id":1095163,"id":"Q1095163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22c029c47750c16e53c08d28f20c84fa2197fed","datavalue":{"value":{"amount":"+0.7296658158302307","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":"Q1362896$13CE1406-3962-4A1A-B2D7-A2DAA87A8299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe27ada3fd8b093bd16061dae939b4e05ccdb0","datavalue":{"value":{"entity-type":"item","numeric-id":387623,"id":"Q387623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4af320229b8358c1a2e31e42af5fb57354cab4","datavalue":{"value":{"amount":"+0.719971239566803","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":"Q1362896$1FF6C587-544F-47A6-9041-6FBFC11A5FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ef479d3a98d0eb5b849648e80aeea6feb11fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4484695,"id":"Q4484695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d83501992bd23abf2282a3bc70daa4912a64f97","datavalue":{"value":{"amount":"+0.7170881032943726","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":"Q1362896$B4B362D8-7681-4A91-9D43-EAB8655A489A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The class of prime semilattices is not finitely axiomatizable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_class_of_prime_semilattices_is_not_finitely_axiomatizable"}}}}}