{"entities":{"Q1771885":{"pageid":1782627,"ns":120,"title":"Item:Q1771885","lastrevid":69290733,"modified":"2026-04-13T06:01:22Z","type":"item","id":"Q1771885","labels":{"en":{"language":"en","value":"Axiomatizing complex algebras by games."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158754"}},"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":"Q1771885$38BBD197-6DAC-45FC-A90A-372B98E8F0B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d676edd7a1cee25d056501d170d07d4c23a20bd","datavalue":{"value":{"text":"Axiomatizing complex algebras by games.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771885$D748D669-C81B-4103-86E3-B563C4165110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0260d8e1f0fffbea31ab03c05c32aa7fe9e8a262","datavalue":{"value":"1063.08011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771885$09BB9F0C-0CA1-4748-AFB8-81524537E396","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24369a4a01120de64fed0b34349e1fe280e4b39b","datavalue":{"value":"10.1007/PL00000354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771885$484036C4-5E80-48BB-AF94-2128F5E43C87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771885$7484D579-BBAA-4B71-97A4-20F4AA2EEBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771885$A437F0D0-92CE-4F4C-827C-1667E144A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771885$869BBBC6-A3C3-45F5-BE09-262F0A7D018F","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":"Q1771885$9CA82702-4BE4-4A7B-A16B-E4546ACEC2AF","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":"Q1771885$AD6944C0-09EF-4BC5-9260-FADA7A80A614","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c37d1cbfc31d729c3d37476b1f1c57528e1edb8","datavalue":{"value":"Given an algebra \\({\\mathcal A}=(A,F)\\), a power algebra is the power set \\(P(A)\\) equipped with operations \\(F^{\\circ }\\) defined by lifting: if \\(f \\in F\\) is \\(n\\)-ary and \\(X_i \\subseteq A\\) for \\(i=1,\\dots ,n\\) then \\(f^{\\circ }(X_1,\\dots ,X_n)=\\{f(x_1,\\dots ,x_n);\\;x_i \\in X_i\\}\\). A full complex algebra is then an algebra \\({\\mathcal A}^{+}=(P(A),\\cup ,-,\\varnothing ,F^{\\circ })\\). Main theorem: Let \\(\\mathcal V\\) be a variety of a finite type \\(\\Sigma \\). There is a set \\(\\Phi (\\mathcal V)\\) of universal first-order sentences in the language of complex algebras over \\({\\mathcal V}\\) such that whenever \\({\\mathcal A}\\) is a Boolean algebra with \\(\\Sigma\\)-operators, \\(\\mathcal A\\models \\Phi (\\mathcal V)\\) if and only if \\(\\mathcal A\\) is representable as a complex algebra over \\(\\mathcal V\\). \\(\\Phi (\\mathcal V)\\) can be obtained effectively from the axiomatization of \\(\\mathcal V\\), and if this axiomatization is recursively enumerable then \\(\\Phi (\\mathcal V)\\) is recursive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771885$65DEE18A-D780-4060-9A7D-0EE3DE30040B","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":"Q1771885$9A99BF56-6BEA-492D-87B3-8A4906C49681","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771885$FE33E2E5-84C0-4E36-A331-9660831D38FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771885$12C04252-5C30-406B-80C7-A47DF484B2BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa1e7d08779310a22e2d4c58be1655a65c0e2f8f","datavalue":{"value":"2158754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771885$BF9D4151-3136-452E-B7CF-D78D60B54058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9945c4f9099acf0e910a599fc6e00b4fdf2067a8","datavalue":{"value":"Boolean algebra with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771885$AD8D0347-633E-445A-877F-2193F09F4C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aed5d325a9629ab7e64bb14b6f4c52f44b60d0d","datavalue":{"value":"complex algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771885$4EA91B5B-A118-45E3-AAF7-D403EC0370D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"787c9c2d6f0c9deeceb0426e4eb28353bb5ed6f6","datavalue":{"value":"power algebra axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771885$EEC89F38-F092-45D8-9877-BD30D7E762FC","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":"Q1771885$F4325EB7-1E60-405E-83B4-D85E6D6871D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94ed2e8b6f2e5f4cfaf895c681c317bde13871b8","datavalue":{"value":"https://doi.org/10.1007/pl00000354","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771885$BB3123CE-67C5-4BFB-AE50-737D4BD48482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07790e7e0a1b32861314aff05b7b5326e16f29e1","datavalue":{"value":"W2162528839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771885$75D7612B-F3C8-4986-9AE7-FD3597C3DA63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a31ed3560930852bf46f82ca6a9b15437db49d6","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de84d395340c79afd6b3775c62fdf868fbfb85e","datavalue":{"value":{"amount":"+0.8008399605751038","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":"Q1771885$F59F330B-928D-4965-896D-C32E6F0E1F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5f71576c871f493561f3e4c7093f144c78ed09","datavalue":{"value":{"entity-type":"item","numeric-id":1425190,"id":"Q1425190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecb12338e4501a81431b48c1321eae56af23cd9","datavalue":{"value":{"amount":"+0.7599515318870544","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":"Q1771885$5E52B986-131D-4BAC-A82E-8AD6749F6261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b244611ce51ab6bb6e39970b4269734e5ae8aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8c89e8df0ddaaa0a73d043469396c45b0f2100","datavalue":{"value":{"amount":"+0.7588411569595337","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":"Q1771885$5638E33C-E787-4D6A-AF60-436D72654314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636aa0419222a92116976c31587e844def2ab528","datavalue":{"value":{"entity-type":"item","numeric-id":3126404,"id":"Q3126404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f000960320a44414260f22467aecf10445bd176","datavalue":{"value":{"amount":"+0.7547553777694702","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":"Q1771885$9C8DA2DE-9F14-4F48-BFBA-46846446411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5abd409ff5b2d107d408b82a235c1a30c4f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":3170559,"id":"Q3170559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bcceece794ae1eacc85a34e0742043fe6e5a56","datavalue":{"value":{"amount":"+0.7535520195960999","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":"Q1771885$7C6E919F-437B-4642-A1E0-103E70C19C0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing complex algebras by games.","badges":[]}}}}}