{"entities":{"Q360174":{"pageid":361941,"ns":120,"title":"Item:Q360174","lastrevid":61276857,"modified":"2026-04-10T22:18:55Z","type":"item","id":"Q360174","labels":{"en":{"language":"en","value":"On representing semigroups with subsemilattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201465"}},"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":"Q360174$51B00582-12C9-4812-9864-1276482FA51D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8ac2fd8aff4df5f545fd7bf5aa0387d86d8eac2","datavalue":{"value":{"text":"On representing semigroups with subsemilattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q360174$7E5EA5DF-2F8F-4071-ABE5-553A4BFCC121","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d63154b94b9c766d6d81aecffa608ecc03c7c32","datavalue":{"value":"1283.20068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$AEFED7B4-9E32-45AB-8C88-6292EBD0EBA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360174$8357DB61-E259-4675-9B09-87EB4D2E0660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290b302b4bd6785e5f63e4d3d037b3f5d9b208a7","datavalue":{"value":{"entity-type":"item","numeric-id":915469,"id":"Q915469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360174$4D07107C-2751-48A7-98CC-5503C82D26B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360174$87493038-C7C0-4349-9645-AE5E9D26B679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q360174$184FAFD0-C084-416F-BC59-59F428491FD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"890a71b91de36fd5e41c6f0202aa7a0d2eb9eacc","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0021869312005947","type":"string"},"datatype":"url"},"type":"statement","id":"Q360174$F3B99447-EDE6-41F8-AF94-4951C1FD7F9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd88eadad132c484d19ac35c3f00bba496bf50fc","datavalue":{"value":"An assertion semigroup (or \\(A\\)-semigroup) is a structure \\((\\mathbf S,E)\\) where \\(\\mathbf S\\) is a semigroup and \\(E\\) is a distinguished subsemilattice of \\(\\mathbf S\\). \\(A\\)-semigroup \\(\\mathbf S\\) is called weakly representable as an \\(A\\)-semigroup of binary relations if there is a faithful semigroup representation \\(\\varphi\\colon\\mathbf S\\to\\mathcal B(X)\\), where \\(\\mathcal B(X)\\) is the semigroup of all binary relations on a set \\(X\\), such that the elements of \\(E\\) are represented as restrictions of the identity map. The representation \\(\\varphi\\) is a strong representation if the elements of \\(E\\) are the only elements of \\(\\mathbf S\\) represented as restrictions of the identity map. Along with the semigroup \\(\\mathcal B(X)\\) the semigroups \\(\\mathcal P(X)\\) and \\(\\mathcal T(X)\\) are considered which are the semigroups of all partial transformations and of all partial one-to-one transformations on \\(X\\), respectively. The corresponding classes of representable \\(A\\)-semigroups are quasi-varieties but it is shown that they cannot be finitely axiomatized in first order logic. The method is used to establish the absence of a finite axiomatisation in various classes of semigroups, unary semigroups and ordered semigroups. Along with new results new proofs of some known facts concerning non-finite axiomatisability are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q360174$1B6A80AF-E835-463A-AC4D-4EE30A1091E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$C1D7D494-158E-43B5-868B-43E89ADE069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$A7CFDF31-3D55-47D1-A1A0-49535F6D73F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$3BC68610-D918-4140-A74B-1F6A205EA32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$ACA45866-FF6A-4ED8-9DC6-79D83357D6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$C58347A0-D83F-4757-B048-96F9790ABFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$50C87716-5993-42D8-98D1-3FF004D3AE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$03EE7375-A4D2-44BC-A374-E16B94C97523","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b36278e255004d5a8c0f1231027fc9c10ff8b2","datavalue":{"value":"6201465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$9A6FC37C-BDF6-4ED1-B1FC-11CEFEDE050F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3c7d99944970a4a3d8b989381a83a80d483ff4","datavalue":{"value":"semigroups of partial maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q360174$30E84F3F-B083-424A-A4EB-EAC7AFE66B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4d68900b12ba5436d8467a50f2f0ae4ceef6f9","datavalue":{"value":"semigroups of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q360174$694CBCAC-3B8A-4FC9-9991-16C07AE14250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q360174$2D0284F5-D074-4509-8EAA-EE5A5AA04035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4c563f4dff943739eb5634fa7a37c30a3e5e0a","datavalue":{"value":"semigroups of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q360174$68A98808-646F-4A26-A854-1810D21784D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7515ed1c2c6dc921320494b384ee00fedf43c1d2","datavalue":{"value":"axiomatisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q360174$1CAA8935-68C4-4327-9C0A-7FFC969A8522","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360174$D2207CDC-1228-45F9-A8ED-9F31EA8C9EB0","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":"Q360174$5E0AEEA2-1275-4F98-A666-BC90CDC2101E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7fdbbf21b2cc523e8f29459b8716625f6843a7c","datavalue":{"value":"W1983334057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$DB1A91F9-D232-471C-97B4-6D447E52B019","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3acb0b8c89184c84eb9f3035ab817ee226b7eb7e","datavalue":{"value":"10.1016/J.JALGEBRA.2012.11.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360174$F33A6F58-33C9-4B44-ABB9-3EC5F8B00DE7","rank":"normal"}],"P1643":[{"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":"0fb6df360e4c2436a32bf6d7a022ce2598c7e1d2","datavalue":{"value":{"amount":"+0.8042507767677307","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":"Q360174$57D4F17D-15A9-435C-ABEE-9342A05FBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139e1c63f88d2f68940cc348a251e11be41b678f","datavalue":{"value":{"entity-type":"item","numeric-id":2520764,"id":"Q2520764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82aeff8b8c94b889304af55fa8483e8f85ef40a","datavalue":{"value":{"amount":"+0.7925818562507629","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":"Q360174$4695F86F-6CB3-40EF-91D6-D78864C97972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118419cf96187e304758d7614255899ecefcc134","datavalue":{"value":{"entity-type":"item","numeric-id":2474106,"id":"Q2474106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3321a94b7fe05445e9ab4e8f3347d2364ca2296","datavalue":{"value":{"amount":"+0.7717745900154114","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":"Q360174$1126B9B0-4D93-4185-8BB6-5AA53B2C214F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0e6802102fedb90785e547c5156f32d2e0bdda","datavalue":{"value":{"entity-type":"item","numeric-id":3395624,"id":"Q3395624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc2bd8a98ce4bd989217c6e73ca51c214356e33","datavalue":{"value":{"amount":"+0.771058201789856","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":"Q360174$06EE4042-8CDC-48D6-8841-8966B4D81874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c8d152c8a9e1ebd04970b25b2e7d5c27aa633f","datavalue":{"value":{"entity-type":"item","numeric-id":3507835,"id":"Q3507835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33625215626963b6a6d2357633518f459e351793","datavalue":{"value":{"amount":"+0.7610785961151123","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":"Q360174$89FCF518-A040-4C4B-AC8F-B6BECD452E17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On representing semigroups with subsemilattices.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_representing_semigroups_with_subsemilattices."}}}}}