{"entities":{"Q1408762":{"pageid":1419502,"ns":120,"title":"Item:Q1408762","lastrevid":67376295,"modified":"2026-04-12T17:12:57Z","type":"item","id":"Q1408762","labels":{"en":{"language":"en","value":"The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1985878"}},"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":"Q1408762$2C500364-8F42-42AF-8752-234CACF4577D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"999a6c39f26f0626a0c0a18cc49d9bfb12425acd","datavalue":{"value":{"text":"The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408762$35AB11F2-E074-4BB5-A1FF-C11FE51170A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af0347cac8f14278541af30681ce2566f30ffc5d","datavalue":{"value":"1042.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408762$66484615-2BA0-40A8-93C1-82D4D1903D56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48fcfa284ab7036a64cf38d0b3b2503644e31c4e","datavalue":{"value":"10.1016/S0021-8693(03)00394-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408762$BF8E7E0F-2F1F-41F7-B679-66DE2329FED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dd916fef8e44016999cb10bcb9414cc4461f0f","datavalue":{"value":{"entity-type":"item","numeric-id":244473,"id":"Q244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$1946ED0C-8CC7-41B6-B27F-8971B6D010BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66dfc1bbe6c46e18bc4fd473fe304e23d4110281","datavalue":{"value":{"entity-type":"item","numeric-id":805742,"id":"Q805742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$5B05744B-472A-4C4D-8648-C6D80BBF2F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ef56f84518542c07ad0eea15904bfcf3f5fa59","datavalue":{"value":{"entity-type":"item","numeric-id":415548,"id":"Q415548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$057489A0-B401-4E59-9BA1-46E61C5BB4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$C30EF48F-8CD5-4C83-9567-67325B2A71AA","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":"Q1408762$7483AF64-0DAE-4942-A939-17B89FBFDB4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f37244814e4fbe2fab0838dfe21d7174c9a47265","datavalue":{"value":{"time":"+2003-09-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":"Q1408762$3D3089AA-7873-48E3-A0DC-345F69B343B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f74058939162d42cbf343d18a81c0bc1321e7ab","datavalue":{"value":"The article is the first one in a series of three papers in which the authors show that certain important classes of regular semigroups admit no finite bases for their quasiidentities and pseudoidentities. Let \\(B_2^1\\) be the inverse semigroup variety generated by the 6-element Brandt monoid \\(B_2^1\\). Main results of the article under review are Theorems 3.2 and 4.3.   Theorem 3.2. Let \\(\\mathcal C\\) be a class of inverse semigroups such that the inverse semigroup quasivariety generated by \\(\\mathcal C\\) contains \\(B_2^1\\) but does not contain the free inverse semigroup over a countable, infinite alphabet. Then the semigroup quasivariety generated by \\(\\mathcal C\\) has no basis of quasiidentities involving finitely many variables (in particular has no finite quasiidentity basis).   As a corollary, the authors note that if a variety of inverse semigroups \\(V\\) contains \\(B_2^1\\) then the semigroup quasivariety generated by \\(V\\) is non-finitely based (Corollary 3.3).   Theorem 4.3. Let \\(V\\) be an e-variety of locally \\(E\\)-solid regular semigroups that contains \\(B_2^1\\) but does not contain the variety of all inverse semigroups. Then the semigroup quasivariety generated by \\(V\\) is non-finitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$66303B53-D5BF-49CF-BB85-B6C8607570B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408762$F974E39E-DEAD-49E0-8E2D-D9359BE8CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408762$2A2D1FBE-4F8C-46FA-9758-096AC6967A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9771328cd61d57fc4ba1c5be55c4685f7129a86a","datavalue":{"value":"1985878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408762$60B8B0B8-E996-4E0D-BDD5-F8DE7193926C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$CFCFDADA-7AE6-48C2-835A-381E79D6DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$26DFA180-207F-447C-8BC4-FDD9E7B55034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ebcb8d5b4189aa45322bd625593cc1f33cd6c3","datavalue":{"value":"quasivarieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$E20A1524-3D8C-4BBE-A0FA-C2F741499898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$647732AE-E120-4E0D-909E-EAF9988183F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$82C2513D-E79C-4D8C-9A9E-EFE3CE437302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742fdafc7ea7d6f9903be0625bc2569b4ee82f25","datavalue":{"value":"non-finitely based quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408762$5E18B7BC-C8D4-490C-B2C3-D3990505C4A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$CFA8259E-5DA2-46AF-858F-04B0CAF8368D","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":"Q1408762$461EE6CA-0061-47ED-BB1B-9262F2133971","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6900f8b59f48e5c4740a0f11064a051db4aefa70","datavalue":{"value":{"entity-type":"item","numeric-id":1971714,"id":"Q1971714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$3BE87D08-9F03-4597-9B4A-B780F8F2A1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$9E7BAAB4-D2A7-42A0-BA05-1FAFD6D95CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933f5379577635c6add77213748d749867f72aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1593962,"id":"Q1593962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$49741F52-995F-4663-AA2A-83B9FA9D0E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56abe006846a9b8a59c8e20b7e5a83ea13c98aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1170635,"id":"Q1170635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$52C21C4B-A47B-4EF1-9159-024D19D8CF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60160ecf67e033c39938e226eb0086180edb01","datavalue":{"value":{"entity-type":"item","numeric-id":3818496,"id":"Q3818496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$8E8419F1-C4AA-43FC-82C5-72F3E3458B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301341bf714cc605aa393d7da6bbfdab9ae484db","datavalue":{"value":{"entity-type":"item","numeric-id":1976622,"id":"Q1976622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$0BBD9C6E-59BC-4DE0-81BF-E62EBB339AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$361AC7CF-DE05-48D1-A598-6F6F34CFF931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32251560a15f262c383ea7dcbd9bc41c3503084f","datavalue":{"value":{"entity-type":"item","numeric-id":1179486,"id":"Q1179486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$742554AC-1321-49AC-825B-873752FE71F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cbe4c1d531ff3016bd073745521b3e6d8ff37fb","datavalue":{"value":{"entity-type":"item","numeric-id":4335569,"id":"Q4335569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$62060DDA-4135-42AD-9E5E-7D696EA1CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c77e93c58083378ee4d9e986e6baa6aa4832","datavalue":{"value":{"entity-type":"item","numeric-id":917710,"id":"Q917710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$89B26C65-BC51-4862-81AB-8B3D1E0226ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94dc992ca5ba953fdc833dabc9720b7d6a638f7","datavalue":{"value":{"entity-type":"item","numeric-id":5777534,"id":"Q5777534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$4A0C4667-F38B-4276-8D8B-27DDF47DACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$07D3D719-36CC-4DDB-ADBB-A8D3E642AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862e55a773b13390d7a1de189dc93ad572cc48d7","datavalue":{"value":{"entity-type":"item","numeric-id":4200400,"id":"Q4200400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$6957ADE8-EDA5-455D-94AD-A7004100198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5674e46bde89fd8962395b99e8a7a10e649ce55","datavalue":{"value":{"entity-type":"item","numeric-id":4391164,"id":"Q4391164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$5C83D0DF-ED51-49C1-A2AC-E07C81CD5D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3cc120246d947ae414d4262cb779cb247daf52","datavalue":{"value":{"entity-type":"item","numeric-id":4227137,"id":"Q4227137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408762$9563D2BB-FA64-49EA-AFF7-76350E7A3716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4c4f042e4b86334e2d3ee0ec7a8fbb7bfc62986","datavalue":{"value":"https://doi.org/10.1016/s0021-8693(03)00394-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1408762$0299CE23-C447-4C8F-99CC-DB6B0C27F886","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"686548c2b870b57da7f6e3b715a267b7d29b6414","datavalue":{"value":"W188877664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408762$625A599F-1589-480B-BF0A-031D136DFC4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20d9468784e1d41fd548a1c90a5e126959d7968","datavalue":{"value":{"entity-type":"item","numeric-id":1434257,"id":"Q1434257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562cbf4315d4ada2ed3e766bc0f42782f81257e7","datavalue":{"value":{"amount":"+0.819724977016449","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":"Q1408762$6C324E1B-2497-4A03-AB2F-87316FB9D246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28117ff9c0fdb4a8e91de0e5f26c8afb656aa0f9","datavalue":{"value":{"entity-type":"item","numeric-id":3623389,"id":"Q3623389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e804f9e84f987909de620f3a3d73167c09639ada","datavalue":{"value":{"amount":"+0.8182629346847534","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":"Q1408762$DAA94C69-0D50-48C2-A6BA-CA165D9930E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1179e22c6961968ec21142de7d93fc7d69b89f0","datavalue":{"value":{"entity-type":"item","numeric-id":1184168,"id":"Q1184168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64adf138a492d7fb70210599021b1a83d31674c8","datavalue":{"value":{"amount":"+0.8151291608810425","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":"Q1408762$873451B6-0E63-400C-A44A-41B339A15B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16aaafc82dd71a7ba65f8e229ce886c5e3526953","datavalue":{"value":{"entity-type":"item","numeric-id":3807431,"id":"Q3807431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4593a621a2a5698ff8d764e1965693b80caa883a","datavalue":{"value":{"amount":"+0.814530611038208","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":"Q1408762$54287CF0-38E9-41F8-BE29-76A1A66117DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a86e66ac391fff35db9e202086837d278d20717","datavalue":{"value":{"entity-type":"item","numeric-id":4852667,"id":"Q4852667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfec8ec9cef8882542dd9104e1949e6896dcf36d","datavalue":{"value":{"amount":"+0.812870979309082","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":"Q1408762$3567F07E-300E-42F4-986A-1E553F46F4D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite basis problem for quasivarieties and pseudovarieties generated by regular semigroups. I: Quasivarieties generated by regular semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_basis_problem_for_quasivarieties_and_pseudovarieties_generated_by_regular_semigroups._I:_Quasivarieties_generated_by_regular_semigroups."}}}}}