{"entities":{"Q1589022":{"pageid":1599762,"ns":120,"title":"Item:Q1589022","lastrevid":67934484,"modified":"2026-04-12T20:20:06Z","type":"item","id":"Q1589022","labels":{"en":{"language":"en","value":"Elementary theories of generic multialgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1541460"}},"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":"Q1589022$209DC8A1-8B0D-4BE7-8752-E1FD74C1AC91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e73457c182e23cd322ae406f40bd9ee2fabe5c9","datavalue":{"value":{"text":"Elementary theories of generic multialgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589022$3164107D-B4A7-4EF5-BB4B-67E479D8B2EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97828b6e2e7ad360396faafaad559b0d85e27374","datavalue":{"value":"0984.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589022$B4F99810-783C-4F66-8EB3-0A7431C79BF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589022$7BD8A0AA-0CA9-42A8-A97C-F8E8CF3CF333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d44b740cc16a5c0503e68c41530b9daa0bc7ab3","datavalue":{"value":{"time":"+2001-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589022$207A11D0-19FE-4B80-9599-27474683ECB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68fd5fe432d12bc95522e05c43a7a62901ad3846","datavalue":{"value":"An \\(n\\)-ary multifunction \\(f\\) on a set \\(A\\) is a map \\(f: A^n\\to P(A)\\), where \\(P(A)\\) is the power set of \\(A\\). Let \\(A\\) be the underlying set of a universal algebra \\(\\mathcal A\\) and, for any \\(X\\subseteq A\\), let \\(\\langle X\\rangle\\) denote the underlying set of the subalgebra generated by \\(X\\). Let \\(p_0\\) denote the multifunction defined by \\(p_0(a)=a\\) and, for \\(n=1,2,\\dots\\), let \\(p_n\\) be the \\(n\\)-ary multifunction defined by \\(p_n(a_1,\\dots,a_n)=\\langle\\{a_1,\\dots,a_n\\}\\rangle\\). Then the generic multialgebra \\(G({\\mathcal A})\\) is the algebra on \\(A\\) with set of multifunctions \\(\\{p_0,p_1,\\dots\\}\\). If \\(\\mathcal A\\) belongs to a class of algebras \\(\\mathcal K\\), then \\(G({\\mathcal K})=\\{G({\\mathcal A})\\mid {\\mathcal A}\\in {\\mathcal K}\\}\\). This paper shows that the elementary theory of the class of all generic multialgebras is undecidable. The class \\(G({\\mathcal K})\\) is not axiomatizable unless \\(\\mathcal K\\) is a locally finite axiomatizable class of universal algebras with at most countable signature. If \\(\\mathcal K\\) is a locally finite universal class of universal algebras of finite signature, then \\(G({\\mathcal K})\\) is axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589022$7AE44E6B-77EB-4E57-9DE0-9E7C3A4BF20F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589022$90B9F942-02DA-49B7-AC02-EE6C08FE164B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589022$D7151622-9652-4BF6-945D-605D141C50C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589022$955C36F5-AABA-4581-BC95-02E463B048B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589022$4F3FC9BB-ADC7-4D5D-B175-112536B9579C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75ed7ec4fa81f6ec410e0d5fbec66ca67aa9b0ea","datavalue":{"value":"1541460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589022$2E2A4CCF-C9A6-4130-85EB-D7B50266F8D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3699d4f35af8bc4b01ee9bead70dfddf3ae2f5","datavalue":{"value":"generic multialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589022$96AC1266-638F-417F-A6E1-A7E38137D2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589022$8975FF9E-534D-4E92-A646-1F00AE4A3F72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589022$AA9DFCD9-716E-457C-8DDD-5072BA1DF3E0","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":"Q1589022$2E7E60D3-9BA3-492C-9943-666977E76B26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2f143d9ff35da50ca54ade58c49901b03068d8","datavalue":{"value":{"entity-type":"item","numeric-id":4025010,"id":"Q4025010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e6357a9428ba73a781aef457caeba0ed1d5a2e","datavalue":{"value":{"amount":"+0.9091992","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":"Q1589022$3F806207-9654-4113-BC4C-E7B631136C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb27c85db678f9bacc28a8ca42c960e2b9e1e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":5932479,"id":"Q5932479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de61d15c66e6bc4992f7970e5018f17d9a140fda","datavalue":{"value":{"amount":"+0.9055116","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":"Q1589022$F53D6CD9-7795-4FEB-94C0-1417596B2F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b0ae558083c302ed5bd9b4e03f1c37595724b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5532624,"id":"Q5532624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e5ed6c7de616366be8c86d034d1697e87c7215","datavalue":{"value":{"amount":"+0.9047991","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":"Q1589022$F5985CE6-DD78-49B1-98E7-372F71A3B3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee5c4c000b45dac8968858f10377cad987520fd","datavalue":{"value":{"entity-type":"item","numeric-id":2253182,"id":"Q2253182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb4b4ed827a482f26fd728746f519452f9b5a0b","datavalue":{"value":{"amount":"+0.90189135","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":"Q1589022$CE4198DA-7744-43E1-93B3-4A7CA868C580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b92e31dcb5f53ec44b0f5996b5baa26a49b41b","datavalue":{"value":{"entity-type":"item","numeric-id":5917845,"id":"Q5917845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075940ac9163509f6db9903ab01878dcba95d32e","datavalue":{"value":{"amount":"+0.9001361","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":"Q1589022$C4E875F0-9A50-4E8D-B857-48464B9E0DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782166560457f9bfc93594acc9d9a8612f3b79f1","datavalue":{"value":{"entity-type":"item","numeric-id":5905085,"id":"Q5905085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075940ac9163509f6db9903ab01878dcba95d32e","datavalue":{"value":{"amount":"+0.9001361","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":"Q1589022$93E78A06-12E5-4E0E-B29F-7CB88F13EA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b476a2fdb9ddb5a180804426ec6b5ae284bac8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3818466,"id":"Q3818466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6246dde7ede71d35b4e167f322acc2bb04e45964","datavalue":{"value":{"amount":"+0.89240265","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":"Q1589022$B6AC5DF9-FFAA-4F6C-9A08-67A27F9AF7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242df1869e4137e404192b97c74388e2453ed9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1814983,"id":"Q1814983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8cb5a0ed2b0912387036f506201e76193a7094","datavalue":{"value":{"amount":"+0.89103055","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":"Q1589022$F8096705-6B8E-443D-9754-EB11CAC8A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4be2eddf1f9299f3ece8c37ce1435e2b972b64","datavalue":{"value":{"entity-type":"item","numeric-id":3413482,"id":"Q3413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe5a735e1a328e2229058fda7f3ec2eb1a1adf2","datavalue":{"value":{"amount":"+0.89096874","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":"Q1589022$5B8550D3-FDC3-418C-93B6-B4DF63F43A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e483222283507c421f6c763388d8744a79a8cb19","datavalue":{"value":{"entity-type":"item","numeric-id":3530612,"id":"Q3530612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f50b45a628693c891cc67fa1170e70ddcf0bca","datavalue":{"value":{"amount":"+0.89046514","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":"Q1589022$BE20191D-2BA7-4F15-8AD9-233698E3EC3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary theories of generic multialgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_theories_of_generic_multialgebras"}}}}}