{"entities":{"Q1771920":{"pageid":1782662,"ns":120,"title":"Item:Q1771920","lastrevid":69291021,"modified":"2026-04-13T06:01:28Z","type":"item","id":"Q1771920","labels":{"en":{"language":"en","value":"Locally finite varieties with large free spectra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158782"}},"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":"Q1771920$E34EFE21-57CF-4110-8EDA-8E8A02E3EC08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4baef537492ca5998045f2a6488471b081c15de","datavalue":{"value":{"text":"Locally finite varieties with large free spectra.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771920$252F552C-5762-485E-A5D9-3E2192C350CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33c07327b2fa1b5a8422761cfd07e4c1ee27703a","datavalue":{"value":"1060.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$00DBFC8E-91BA-4018-9F85-B930F4E60FF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771920$F857B7D0-BFA1-46C0-A2AC-275A7D90B7DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771920$F5766962-4EEB-4FA0-AD04-344A8BEE9578","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771920$38A2C2A8-A7E8-4D0D-A72C-9302D530D63A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9d98f21c971ea071dc7677123b213457d951084","datavalue":{"value":"For a variety \\(\\mathcal V\\), \\(f_{\\mathcal V}(n)\\) denotes the size of the free algebra on \\(n\\) generators in \\(\\mathcal V\\) and \\(g_{\\mathcal V}(n)\\) is the number of non-isomorphic algebras in \\(\\mathcal V\\) generated by \\(n\\) or fewer elements. Thus \\(\\mathcal V\\) is locally finite if \\(f_{\\mathcal V}(n)\\) is an integer for any positive integer \\(n\\). The aim of the paper is to show that there are no bounds for locally finite varieties:   Let \\(f\\) be any function from \\(N\\) to \\(N\\). There exists a locally finite variety \\(\\mathcal V\\) of groupoids such that \\(f_{\\mathcal V}(n) \\geq f(n)\\) and \\(g_{\\mathcal V}(n) \\geq g(n)\\) for all \\(n > 0\\).   Let \\(f\\) be any recursive function. There exists a variety \\(\\mathcal V\\) of groupoids which is locally finite and finitely axiomatizable such that \\(f_{\\mathcal V}(n) \\geq f(n)\\) and \\(g_{\\mathcal V}(n) \\geq g(n)\\) for all \\(n > 0\\).  Let \\(f\\) be any function from \\(N\\) to \\(N\\). There exists a locally finite discriminator variety \\(\\mathcal V\\) such that \\(f_{\\mathcal V}(n) > h(g_{\\mathcal V}(n))\\) for all \\(n > 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771920$EC342847-2AD0-433B-A72C-362AF6CD4C7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771920$F848EE02-9CDE-40CC-9543-AF7E7D694014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$5F8754F6-791A-4860-A456-59BB7F80F329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$5D6ED8A3-8382-4293-94E0-AD260A67D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$150CC17A-02E5-41F9-B802-9952E6F1AC12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e85ae563f576042a2a27348627798814446e16","datavalue":{"value":"2158782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$9C354527-5B9E-47E4-BF4B-7FAFC52714BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771920$490FC24B-349B-40B8-9E82-D33C01CDCFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a634f321e563f5fb23b12aad4bb8258164c8223","datavalue":{"value":"generative complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771920$FD069906-DB68-4CA2-9CA7-4DD3E98354CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872ca90e3cce02e4c73948f094653cd7ea34e3f","datavalue":{"value":"locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771920$67927E6F-B9A4-4717-BACB-5355497C020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771920$9DBD352C-AE75-4BA0-BEAB-79B2A7BA776B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771920$E06E20E7-40FA-442F-B412-576AFE157B9A","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":"Q1771920$E901EE18-3D63-4D25-9CA7-2D9A3E5E9F25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d4eabc9ced383ebcf7716d1ff8cca65d0ac46da","datavalue":{"value":"https://doi.org/10.1007/s00012-002-8191-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771920$F9BD9DD4-155E-40B5-BECD-7B3DC45A08A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d083cfeda7d962caa6aadb8e9728b4b23a2ccb0a","datavalue":{"value":"W2003939502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$422DEE46-0521-41EC-A64D-218CF32873D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b359c9bdc50ca1561c889484c5fe988e8be6c53","datavalue":{"value":"10.1007/S00012-002-8191-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771920$B0C12856-BA89-480F-98DB-42F67EED8426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6340dac532c1ae07b3358d038896b9e233ff1ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1771891,"id":"Q1771891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd56fa09aeb1e55a22d4b520b944471e66e96485","datavalue":{"value":{"amount":"+0.925198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$C0277E6A-E5CC-48B9-AB39-56A4C7E852B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711fb0162568950d077ac55af075a51733231d4f","datavalue":{"value":{"entity-type":"item","numeric-id":5487541,"id":"Q5487541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5081816ae192916cbc2cfd44edd31cd739ae8ad","datavalue":{"value":{"amount":"+0.92308235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$94A87CBC-A7F2-49B5-AC8E-2E48390B8D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0cbac7d9c5704895c038652ad0349bb2afc739b","datavalue":{"value":{"entity-type":"item","numeric-id":4353966,"id":"Q4353966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc200c5156b1cd72da1b507708967397fa07d67","datavalue":{"value":{"amount":"+0.89242685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$E3A6DA11-3366-42EF-B7AF-8CE76967EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11303f482d0b6c78f6cc321ef5860ebffaa5e2ec","datavalue":{"value":{"entity-type":"item","numeric-id":1118629,"id":"Q1118629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d9ae5a9ee44be50cda8cf852e9372426c78724","datavalue":{"value":{"amount":"+0.8905141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$D8331600-2327-4771-88E3-5EB6CCF065BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab4654d662dbdb72cf0a8204ae92044f594e994","datavalue":{"value":{"entity-type":"item","numeric-id":655395,"id":"Q655395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b99da431b82d8b855f5cfc301592061348ae03","datavalue":{"value":{"amount":"+0.8904012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$246695A9-B02D-412F-BB11-629C545C9EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a494ae50e20af7644045092173d80bb00d9b89b","datavalue":{"value":{"entity-type":"item","numeric-id":1104353,"id":"Q1104353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf478cca47d1ca136264a96ea6dec878170f687","datavalue":{"value":{"amount":"+0.88925177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$610FC49C-1B00-457C-B10B-7884CEEA0D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b461f5f965dd433655d15cccafb1d6ca7e5ee2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5218962,"id":"Q5218962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4c05d3004065e2e5e8bae7b8fb58beba5f1ead","datavalue":{"value":{"amount":"+0.8881179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$08A18FFA-C7BF-47D2-862B-84B792E56095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caddba22450a761781037a92c15b9bc7046c294","datavalue":{"value":{"entity-type":"item","numeric-id":2728496,"id":"Q2728496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c4f4deaad005b4135b4c964ed73e37af49d81c","datavalue":{"value":{"amount":"+0.88500834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$0DF95144-2477-43AA-9FC2-F60B22219249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ab971298b7227d3272b0daa3bacfec0adcb116","datavalue":{"value":{"entity-type":"item","numeric-id":4522500,"id":"Q4522500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a16b4e4d5593832b4e6e061ea3c44a5899560d4","datavalue":{"value":{"amount":"+0.88469553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$87076A09-63E1-4064-B6DD-61586C932FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd3add081689dfde00725eabee3d6c3a8ec45f2","datavalue":{"value":{"entity-type":"item","numeric-id":4799323,"id":"Q4799323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0ce956edb9917ae05d7f5236f021514651139d","datavalue":{"value":{"amount":"+0.883839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1771920$2D8E340A-D297-4C39-9BD3-0F210B3B6C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locally finite varieties with large free spectra.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locally_finite_varieties_with_large_free_spectra."}}}}}