{"entities":{"Q1346899":{"pageid":1357638,"ns":120,"title":"Item:Q1346899","lastrevid":67669752,"modified":"2026-04-12T19:15:25Z","type":"item","id":"Q1346899","labels":{"en":{"language":"en","value":"Varieties whose countable embeddability skeletons are semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738950"}},"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":"Q1346899$AB248B54-348E-46B3-B583-0D84CA9B8652","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5069795e5a862684ca9f621c91eb0e3317066f08","datavalue":{"value":{"text":"Varieties whose countable embeddability skeletons are semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346899$F6C5FF47-1848-401B-BA62-3A0C75FEF373","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70637263edd4f9efb18284f2d884bf25e86bea8c","datavalue":{"value":"0817.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346899$42655683-98B3-4E88-A94F-54A12ED5A572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d41ce60c5de452b46c323a554da1e26e8e830f9","datavalue":{"value":"10.1007/BF02261694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346899$6510A6C9-79F1-4842-A053-BDA53D529616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f515545b29ff400e1acfaf6de558f22f16411a9","datavalue":{"value":{"entity-type":"item","numeric-id":1346898,"id":"Q1346898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$6CDBC72F-47B4-467E-97B2-B2A72C46A469","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$DBC98C52-FB75-44B4-9714-2672E60A28AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346899$D35B684A-512E-4651-A050-E3425115CAF1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a40a66f1f5819c619ac2ede106c2a0576ca80da7","datavalue":{"value":"For a class of algebras \\(\\mathcal K\\), let \\({\\mathcal I}{\\mathcal K}_{\\aleph_ 0}\\) denote the class of isomorphism types of finite or countable algebras from \\(\\mathcal K\\). For \\(a,b\\in {\\mathcal I}{\\mathcal K}_{\\aleph_ 0}\\) being the isomorphism types of the algebras \\(A,B\\in {\\mathcal K}\\) respectively, let be \\(a\\leq b\\) whenever \\(A\\) is isomorphic to a subalgebra of \\(B\\) and \\(a\\equiv b\\) whenever \\(a\\leq b\\) and \\(b\\leq a\\). The quasiordered set \\(\\langle {\\mathcal I}{\\mathcal K}_{\\aleph_ 0},\\leq\\rangle\\) is called the countable embeddability skeleton of the class \\(\\mathcal K\\).   The author proves that, for a locally finite discriminator variety \\(\\mathcal M\\) of a finite type, the ordered set \\(\\langle{\\mathcal I}{\\mathcal M}_{\\aleph_ 0}/\\equiv,\\leq\\rangle\\) is an upper semilattice only if a) every simple algebra \\(A\\in {\\mathcal M}\\) is quasiprimal, b) every proper subalgebra in \\(A\\) is one-element, and c) for any two one-element subalgebras of \\(A\\), there exists an automorphism of \\(A\\) which maps one of these subalgebras to the other. The same conditions are necessary for \\(\\langle {\\mathcal I}{\\mathcal M}_{\\aleph_ 0}/\\equiv, \\leq\\rangle\\) to be a lower semilattice, but, besides that, d) every simple algebra \\(A\\in {\\mathcal M}\\) has a one-element subalgebra. Conversely, if a discriminatory variety \\(\\mathcal M\\) of a finite type is generated by a finite set of algebras satisfying a)--c) [resp. a)--d)] then the ordered set \\(\\langle{\\mathcal I}{\\mathcal K}_{\\aleph_ 0}/\\equiv, \\leq\\rangle\\) is an upper [a lower] semilattice and has rather a transparent structure.   Reviewer's remark: The same problem was studied for non-locally finite discriminator varieties by \\textit{A. G. Pinus} in the paper reviewed below.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346899$31FC8089-2E30-4B4D-A6FD-92C7AFC0023B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346899$C6719743-7CD2-4369-B18A-57BA9F290F07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d86035b04507919ec8adf1338c5b3248ec0d431","datavalue":{"value":"738950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346899$09A124CC-5914-4C30-A7B0-3BEDDA06A3E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee610a06a876ae774e3040e2bb7708abe7170b9","datavalue":{"value":"countable embeddability skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346899$D27FFE43-CEE5-48D2-8E77-1770480B08E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d3ff161f56d556ec8940226fb1dd120ad3f329","datavalue":{"value":"locally finite discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346899$4815B9E4-7CF1-43A9-83E6-830952E6A1FE","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":"Q1346899$E453A9ED-D271-4AC7-8C87-E3ECFA119E13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61d625c3e889a0b684130cc19c303483a6673e4","datavalue":{"value":{"entity-type":"item","numeric-id":1089371,"id":"Q1089371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$E4CB5CB6-9438-4DDA-85F8-7BFEFA672647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$C12E8245-2FBF-404F-ADAA-BFA4A19EE8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$764B2581-5E0F-45EE-8900-F57172C27819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20538e2432752948c9ea494bd207ebee9caa2735","datavalue":{"value":{"entity-type":"item","numeric-id":1317602,"id":"Q1317602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$79C46591-583F-45F4-B9FD-273C09735449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd597488aaf1c4c9c372adda389d59fa4d369455","datavalue":{"value":{"entity-type":"item","numeric-id":3483336,"id":"Q3483336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346899$FA2FD0F2-1CBF-4B41-8B80-CD5809854A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89299de8eb1c986321d0fb9e0d935d039416fb1f","datavalue":{"value":{"entity-type":"item","numeric-id":1346931,"id":"Q1346931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbc89423a1b8a2c1fa93d336dcface51ef79b80","datavalue":{"value":{"amount":"+0.9393842816352844","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":"Q1346899$1D18ADD8-1998-4952-A1B5-2B12CD652199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3304205deccde282f8d9b86017641d6a513311d8","datavalue":{"value":{"entity-type":"item","numeric-id":1204700,"id":"Q1204700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5687468388db6b8fd9083e7bcb672677e3eb22e8","datavalue":{"value":{"amount":"+0.9352428913116456","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":"Q1346899$656FDCFD-1A71-4411-84CB-5E7B7D57229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd270e025d32a34526e7eae777fcad4c050e09c","datavalue":{"value":{"entity-type":"item","numeric-id":920130,"id":"Q920130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7326afbf36a3037c2f10a208950c23312441485","datavalue":{"value":{"amount":"+0.9345215559005736","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":"Q1346899$D844EB64-3AC9-4377-9C55-CE96E591ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddea8d6e76e5eac6232193a42c4317dc68eeda61","datavalue":{"value":{"entity-type":"item","numeric-id":4349304,"id":"Q4349304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aaf39d0d58bbb0e2565529c8a4ec01aa90585a3","datavalue":{"value":{"amount":"+0.9231702089309692","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":"Q1346899$A5203AE1-AC7A-42C0-8238-27FCF37D4101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05ac4649d6830e7286c3402b04e87e864754077","datavalue":{"value":{"entity-type":"item","numeric-id":3483336,"id":"Q3483336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c9f19bbff2fef68cbc117bc495db19c3ec2a4f","datavalue":{"value":{"amount":"+0.9212027192115784","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":"Q1346899$0093EB0D-E37C-465B-BB63-65CF97C7C51A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties whose countable embeddability skeletons are semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_whose_countable_embeddability_skeletons_are_semilattices"}}}}}