{"entities":{"Q2350949":{"pageid":2361692,"ns":120,"title":"Item:Q2350949","lastrevid":43924050,"modified":"2025-11-17T15:44:50Z","type":"item","id":"Q2350949","labels":{"en":{"language":"en","value":"On varieties of ordered semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6450490"}},"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":"Q2350949$C415A12D-A550-4360-86C9-1B358C6A64C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c05d0ebe6c16a3f6038a7f3e4495f0a26afeadc2","datavalue":{"value":{"text":"On varieties of ordered semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350949$A8DD6EEC-A425-4919-B4DB-230A3A5D567E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da9299afa61083899127e0844a60f519e738c52a","datavalue":{"value":"1342.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$3D89B3E7-13AC-463C-AAFB-7C9A0CC287A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de15f03abc35b45ef1c727d3e71918591877e70c","datavalue":{"value":{"entity-type":"item","numeric-id":818934,"id":"Q818934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$9D2BE5DF-65C5-47B8-B270-C9E95CE1C5AF","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":"Q2350949$7F3C77B5-7362-41CF-BB0E-F2E371378291","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d118b8ecba20bb8bb055e8776c8b61374bfe3149","datavalue":{"value":{"time":"+2015-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350949$5C033178-A380-423C-8E21-10DD3AA9331D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d483f3cec5b7ebccef112a3f0792431a4ad5caa","datavalue":{"value":"As we know by \\textit{G. Birkhoff} [Lattice theory. Third (new) ed. Providence: AMS (1967; Zbl 0153.02501)], there is a one-to-one correspondence between all varieties of semigroups and all fully invariant congruences on \\(X^+\\), where \\(X=\\{x_1, x_2,x_3,\\ldots\\}\\).   In Section 2, the author obtains an analog to this statement for ordered semigroups, proves that there is a one-to-one correspondence between all varieties of ordered semigroups and all fully invariant stable quasiorders on \\(X^+\\).   In Section 3, the author uses syntactical methods presented in the previous section to study relations between the lattice \\(L(\\mathbf S)\\) of all varieties of semigroups and the lattice \\(L(\\mathbf{OS})\\) of all varieties of ordered semigroups, and proves that the lattice \\(L(\\mathbf S)\\) is in a natural way embedded into the lattice \\(L(\\mathbf{OS})\\). The embedding is not an isomorphism, infinitely many varieties from \\(L(\\mathbf{OS})\\) lie outside of the image of \\(L(\\mathbf S)\\).   In Section 4, the author determines the lattice \\(L(\\mathbf{OB})\\) of all varieties of ordered bands, proves that the closed intervals \\([\\mathbf{SL,B}]\\) and \\([\\mathbf{OSL,OB}]\\) are isomorphic (see Theorem 4.6). Furthermore, the author proves that if \\(V\\in L(\\mathbf{OB})\\), \\(\\neg(V\\in[\\mathbf{OSL,OB}])\\), then \\(V\\in\\mathbf{ONB}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350949$3545C59E-5ED9-4AAD-A114-2AEDEA000E4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$644398AA-8262-4F19-918A-654B8222940C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$2A9FDA6C-3A1A-4BF6-9639-138451E840B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$06CADF41-E9AC-46AB-A045-4CA2DEBEC97A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b99ea79d613d42f3d5ae64addf7e04d52c69250","datavalue":{"value":"6450490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$7057AE8F-2276-4E01-8B05-8838997010D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3d30499697ab5c4967c954736a61fef8b606b7","datavalue":{"value":"varieties of ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350949$D92A30FC-D79A-4861-9463-647C7F001231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c860cc65476bdb5abdf5be59ac85eccd0bdf6","datavalue":{"value":"varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350949$121CF846-F0C1-476E-BFC6-3CBFCB0C74F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cb483392fe55d91d3d5c71c2823f48ef6ccc52","datavalue":{"value":"fully invariant stable quasiorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350949$D9BB1719-1E9A-422C-980A-619F09ADDDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714c944cc2b075bc79a1d64d1ea10b5572b57ae9","datavalue":{"value":"ordered bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350949$464609F2-D96C-415B-A970-EADD52F706FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7cfb34df8908df4141c6c2fb67813c7a267354f","datavalue":{"value":"varieties of bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350949$4584B2C3-E023-46FA-A541-973AA8E57192","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cbd8f3a5b435da9455fd165b7b61ac24288ac4d7","datavalue":{"value":{"entity-type":"item","numeric-id":171333,"id":"Q171333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$9F8D9FAB-F8B1-479F-9EC6-BA82235DB6D5","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":"Q2350949$465812DA-F512-43CE-B8A0-D49D719D42C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02d5377c4ffe2d60997b978f17fe7890876f4b93","datavalue":{"value":"https://doi.org/10.1007/s00233-014-9630-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350949$E2AC2AB1-88C9-4E91-B66D-7A0AE9B51FF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"864a5c9d84ec9292600d3c7829f71db85fa7c01d","datavalue":{"value":"W1996419620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$932B733C-B97C-4B2A-B6F6-DBFA7AF1C94D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"876463c06754f13fa280e6494129becc9fdc26bb","datavalue":{"value":{"entity-type":"item","numeric-id":5628376,"id":"Q5628376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$696998B8-AD98-4A0C-BBBD-53C99BA9FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$4F914859-75F9-4E72-AE2B-963802BE2538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$B26378E5-65CA-4931-B243-E86167E0E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5359d557ac5cce5897cb3ae8122e0050ca065b2","datavalue":{"value":{"entity-type":"item","numeric-id":1293379,"id":"Q1293379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$A3BFE14A-BEE8-4CBA-8A35-327CC4250FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbf323f4ee11f320ae700f030242ac9f95d6559","datavalue":{"value":{"entity-type":"item","numeric-id":5589350,"id":"Q5589350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$5ABA835A-8649-4F97-935A-A9E56CD0D97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4e7648abc8032932e87d2f08b8cde6fe781bff","datavalue":{"value":{"entity-type":"item","numeric-id":2538664,"id":"Q2538664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$8FD62AB1-8FF7-4EF5-A44A-44F817F679A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790d8cbbc3a5de5eb621f1753473a027e58a831d","datavalue":{"value":{"entity-type":"item","numeric-id":3831206,"id":"Q3831206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$85789E2A-974C-403E-99BF-F2B6DBD3F553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$4450C53D-F0E4-43E3-AF0B-705164A9F7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa82a9fce3cb6a0b39a36807845b2ad37e53553","datavalue":{"value":{"entity-type":"item","numeric-id":1057987,"id":"Q1057987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350949$FE327E0E-5B9E-4574-95CA-33F91F10A251","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfd7898b83c20c528dc0e568384a4f9f0b95ff84","datavalue":{"value":"10.1007/S00233-014-9630-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350949$B358D1CC-EBF0-49F4-B9D9-F45826FD6239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c279eeb10d781e9ee065661c45d8e13bbf57e9c","datavalue":{"value":{"entity-type":"item","numeric-id":2490426,"id":"Q2490426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da763451ac1d5093ceb84047bbc20aa1d31df76","datavalue":{"value":{"amount":"+0.79653835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$A791360D-EEFA-4B28-9D44-D00A350B4C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90b4acc364618749493892a06f3dd265fa2f1b3f","datavalue":{"value":{"entity-type":"item","numeric-id":2490428,"id":"Q2490428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34457dc6ee16fdd1cf83e42b0282d059ecca1eca","datavalue":{"value":{"amount":"+0.78966147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$5D629BD3-04A4-4E08-AF47-3F96BBCDEC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8a92c8d9d8dd1fcd7e341c8e909d8fa98961a7","datavalue":{"value":{"entity-type":"item","numeric-id":818935,"id":"Q818935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffe51e8c56840a2979267283410bfcf748b8370","datavalue":{"value":{"amount":"+0.7880204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$1F3E2822-5D49-4A5A-8693-F32156BB30EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8ce63f7837213c1ab2a1a4013fade15beac449","datavalue":{"value":{"entity-type":"item","numeric-id":2277499,"id":"Q2277499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6290f56ee20a4c9e4c488fad3030ad967d1479","datavalue":{"value":{"amount":"+0.78486955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$1806F458-B8BC-4C42-A8B7-CE99916D3D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9366841f07f0417218fd1fc222b7dbcb5dd9394c","datavalue":{"value":{"entity-type":"item","numeric-id":795854,"id":"Q795854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e36a25896ad963f378ee8a4dd033d1bbc6c831","datavalue":{"value":{"amount":"+0.77920955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$2B4E85D5-5EBB-41D0-87F8-3101F5D0E0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac6e4d73f7ce9923e5beddcc5fd6a38b2ec7b15","datavalue":{"value":{"entity-type":"item","numeric-id":1589176,"id":"Q1589176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d4dcea94336442916838f6c930d5889deaba9d","datavalue":{"value":{"amount":"+0.77838373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$1E3B587A-DB13-4C7F-B5E3-53233742745B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9de662351dcf4ca67555e6099891eb56b5ec57","datavalue":{"value":{"entity-type":"item","numeric-id":3765841,"id":"Q3765841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6acbb73428b95ccd259c976db1af77fa14149f0","datavalue":{"value":{"amount":"+0.77794933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$63253524-3912-48E9-BD02-B753A7103A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f265278aa6cb19b7ae29ea72ea9a993801a13c1","datavalue":{"value":{"entity-type":"item","numeric-id":4634930,"id":"Q4634930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e7be5907b117b380f3e730d03b3ff71b856d0d","datavalue":{"value":{"amount":"+0.76920676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$B9D1DA88-39D0-4C4A-96BF-3C2DFD02D25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b9e6dbf606e658f7b2d0ba662171e1e1d8cb8d","datavalue":{"value":{"entity-type":"item","numeric-id":5192282,"id":"Q5192282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70a06e95baa0d2ff632b465af18f99002f1cef2","datavalue":{"value":{"amount":"+0.7678105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$D0A97E35-9603-47DC-B2C4-2ABE5B4FE390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce311f0d65ac24422b772b2b9ee920871fa3120","datavalue":{"value":{"entity-type":"item","numeric-id":3405202,"id":"Q3405202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbded69c2c87c1f825063be84f288655ba24d0b0","datavalue":{"value":{"amount":"+0.76594883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2350949$8D0FE9DC-C18D-4AFA-A1A1-A32EAC577B16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2350949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2350949"}}}}}