{"entities":{"Q1780019":{"pageid":1790761,"ns":120,"title":"Item:Q1780019","lastrevid":48495271,"modified":"2026-01-05T00:23:58Z","type":"item","id":"Q1780019","labels":{"en":{"language":"en","value":"Finiteness properties of varieties and the restriction to finite algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2173802"}},"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":"Q1780019$CFDCE7B1-A370-4D52-AE86-9CE37884DAFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24980c6ecfe47cb2b4a32d3decf4bf77ac82bae4","datavalue":{"value":{"text":"Finiteness properties of varieties and the restriction to finite algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1780019$BF50D0C1-2683-4175-87C3-2A664BDE9FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9da7b5517fd57440398ddec96844b2cc77a1f63","datavalue":{"value":"1073.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$3C76DAD7-6CB4-4710-9C07-5F2B49E9E51A","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":"Q1780019$5F17C6BA-F846-4297-9A14-31B438C071DE","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":"Q1780019$C70FF501-5C09-45A9-9C61-24C88062173A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa0f73eabd5c261301b736c9134a511abb65dc09","datavalue":{"value":{"time":"+2005-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1780019$A8046FEB-EAA8-4C69-95E5-1A61AB88F82E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63344e4e718efa0850f1b809029015760be4984b","datavalue":{"value":"Answering a question asked by the reviewer [Sci. Math. Jpn. 53, No. 1, 171-199 (2001; Zbl 0990.20039)], the author exhibits an example of a semigroup variety \\(\\mathbf V\\) generated by a 7-element monoid such that every finite semigroup in \\(\\mathbf V\\) has a finite identity basis while some subvariety of \\(\\mathbf V\\) is not finitely based (Theorem~4.3). He also constructs two finite monoids \\(M_1\\) and \\(M_2\\) with the following properties: each \\(M_i\\) generates a limit monoid variety while in the semigroup variety generated by each \\(M_i\\) every proper finitely generated subvariety is finitely based but some proper subvariety is not (Proposition~5.1).   For general algebras, the author observes (Theorem~7.1) that a combination of results by \\textit{R.~McKenzie} [Int. J. Algebra Comput. 6, No. 1, 49-104 (1996; Zbl 0844.08011)] and \\textit{R.~Willard} [Trans. Am. Math. Soc. 349, No. 7, 2755-2774 (1997; Zbl 0870.03010)] leads to the undecidability of the following decision problems: given a finite algebra, decide whether or not the variety it generates is hereditarily finitely based or is hereditarily finitely generated or has only finitely many subvarieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$47F925E5-731A-4866-B229-6B2B34C97E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$041AA057-64F2-4E79-89F4-C0ECC3742456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$C6827FAB-F8DC-45FD-AF44-5F87F7D5C974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$C054D934-81BD-446B-9238-3A3AACDA972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$5F6DF809-7F53-4627-A774-FB3F17F6A920","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3da2d57c5b4f3824f257a63fd77f396143e66922","datavalue":{"value":"2173802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$70BB32C9-CCD5-41AE-A529-B158E45152A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$D374B451-CACB-4CD0-AE01-517EA4CF1AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aeaa1a1ea6981946566573aed7f7fc320993171","datavalue":{"value":"finite basis property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$243B94EE-5860-41E5-9DC7-B8009B3DAAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1360c3ce0c7f6eea68c9788427fd1a998fbc48a2","datavalue":{"value":"limit varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$85A7D908-EB6A-4524-9686-D1794C2886AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62216551a91fa1730aa4e08f86f5b8f85cd9d99","datavalue":{"value":"hereditarily finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$925A7A9E-2FF6-4C96-B0AB-8B7B63AEAF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b211d9c49daa8b595b55e4561af76311e2258f79","datavalue":{"value":"hereditarily finitely generated varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$1C61342F-8BFD-43FF-A8CC-A751BDEEE70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705e4fc8ddcd48c1b450d4ae59695170ab4f4726","datavalue":{"value":"small varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$DA3D735B-118D-40E3-ADF2-B7C09A2C6DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780019$7FD5E19C-BDE6-4ABD-B60E-F0D612A9B1AB","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":"Q1780019$7026C7C2-6B1A-440C-B1B8-FAC803DE4FAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5513d06c7bdb2bb39c4fc2e483420fd8f6ea69d","datavalue":{"value":"https://doi.org/10.1007/s00233-004-0161-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1780019$020BA52B-E75C-46A2-A4B7-FC7DD014D5A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a02c76da164d66ac89facdd373f32d733d399e4d","datavalue":{"value":"W1963603096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$49673F2C-2B40-4131-A2FF-52C5237589DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a88f586c918468642b573c3929d78b009ae95c4c","datavalue":{"value":"10.1007/S00233-004-0161-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780019$81B3BDBD-8A5D-4D36-B6D0-5A487E403E93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9989a7fc1eea1f3a10df447be0d01026b6506d0","datavalue":{"value":{"entity-type":"item","numeric-id":583378,"id":"Q583378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e96e34227d4f4678536c5b3bdff34a24adc4da","datavalue":{"value":{"amount":"+0.799843966960907","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":"Q1780019$3E9003E1-4D0C-4864-9EFB-D7A2305F0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3dab00fa0ac4ef3687aeec709e4e8f3abacf6a","datavalue":{"value":{"entity-type":"item","numeric-id":4841104,"id":"Q4841104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5be956bc44b986a5831bfe1f07d9ffca740990","datavalue":{"value":{"amount":"+0.7859600782394409","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":"Q1780019$D84263AE-7AC7-4DE9-B487-BCC7F0824EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580fadc64852befac6a62702ec4b9ea59617287c","datavalue":{"value":{"entity-type":"item","numeric-id":3769093,"id":"Q3769093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5be956bc44b986a5831bfe1f07d9ffca740990","datavalue":{"value":{"amount":"+0.7859600782394409","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":"Q1780019$9EAD16EB-8337-4475-821C-791E276E75AA","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":"68d23e079e18670b59ce49b20ba4e00829288b48","datavalue":{"value":{"amount":"+0.7787089943885803","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":"Q1780019$A3053DEB-389C-4991-B8A8-E247B23AA402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a30f733ad94903446c12f04eb11a415f273c2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3788205,"id":"Q3788205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0fbbce0763b4c0f3d9994148182ffb31d4e5bc","datavalue":{"value":{"amount":"+0.7770028114318848","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":"Q1780019$75E84603-4327-4929-8A1F-5ADB3581554E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1780019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1780019"}}}}}