{"entities":{"Q2563763":{"pageid":2574506,"ns":120,"title":"Item:Q2563763","lastrevid":72790071,"modified":"2026-04-14T07:51:25Z","type":"item","id":"Q2563763","labels":{"en":{"language":"en","value":"A Birkhoff theorem for partial algebras via completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958522"}},"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":"Q2563763$667A8CE1-F3CF-460E-8127-3125BF6EFCC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8b74f48828204d4b58b54568f1aff2014673608","datavalue":{"value":{"text":"A Birkhoff theorem for partial algebras via completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563763$2EBB18A3-7412-40B2-8857-380E71F79904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39482b647727271315b80ae65257388427771865","datavalue":{"value":"0863.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$40740E20-0671-44E1-8B2B-2CA5C9730702","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db33cc13d314a434cf770b54160ec2eb081d39a1","datavalue":{"value":"10.1007/BF00122685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$BC8D113A-6304-4F69-AEBC-08DDAA2F2E33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0b43fd690f834c9d287e9e10d86e61d82e668d","datavalue":{"value":{"entity-type":"item","numeric-id":768535,"id":"Q768535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$B058BC3C-F399-437F-9FAB-1967AEBFE4C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$25756BF0-270E-4C1C-8A2D-552CFB3834ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563763$79B3E6FA-8836-4C4E-B430-3C6128DB5964","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d1fe2a80fac35099ea2ddbdec7ccc8a5d50896e","datavalue":{"value":"It is well known that each partial algebra determines in a natural manner a total algebra via one-point completion of the carrier set. The presented paper deals with the extension of this idea to functorial algebras. Using the completion mapping \\((*)\\) and some designations introduced in his paper ``Monoidal structure of Mal'tsev clones, their theories and completions'' [Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 93, 57-69 (1987; Zbl 0641.08005)], the author proves the following results:   The enriched dt-symmetric theory \\((\\text{Set} (K^*)\\), \\(\\beta @>\\subseteq>> \\text{Set} ( K^*))\\) with respect to the dht-symmetric theory \\(\\text{Par}(K^\\circ_J)\\) belongs to the variety \\(|\\text{Th}^\\beta |\\) of dt-symmetric theories which fulfil certain important identities.   To each functorial partial algebra \\(F: \\text{M} \\to\\text{Par}\\) from any Mal'tsev theory M into the category of partial functions there is in a natural manner exactly one functorial total algebra \\(F^\\beta: \\text{M}^\\beta\\to \\text{Set}\\) from the corresponding dt-symmetric theory into the category of total functions such that certain properties are right.   If M is a Mal'tsev theory such that its distinguished object \\(I\\) is a generator and there are exactly two morphisms from \\(I\\) into \\(I\\) in M, then the mapping \\(\\mu |^*_{\\text{M}}: \\text{M}^*\\to \\text{M}^\\beta\\) is injective.   The main result is: Let \\(V\\) be a non-void class of M-algebras (monoidal dht-symmetric functors from a Mal'tsev theory M into Par) and let \\(\\langle V^\\beta \\rangle\\) denote the variety of \\(\\text{M}^\\beta\\)-algebras arising from \\(F\\in V\\). Then \\((H_cS_cPV)^\\beta = \\langle V^\\beta \\rangle \\cap|\\text{Alg} p M |^\\beta\\) \\((P,S_c\\), and \\(H_c\\) designate the operators to form all cartesian products, all closed subalgebras, and all closed homomorphic images, respectively, and \\(|\\text{Alg} M |\\) is the class of all M-algebras), and the following conditions are pairwise equivalent:  \\[ H_c S_cPV=V, \\]   \\[ F\\in V \\Leftrightarrow \\text{Id} V^\\beta \\subseteq \\text{Id} F^\\beta, \\]   \\[ V= \\text{Mod Eq} U \\text{ for a certain } U\\subseteq |\\text{Alg} pM |. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$BD35A23C-E444-45F4-A0BF-E608B40685FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$359F8766-6406-4973-8EEC-0ED53A6655C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$15D8F1A1-E8E6-40B3-949E-25908429BE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$D831D154-6711-4888-B68F-62B46608FC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$47E8C723-86D2-43F2-A2ED-3EF3E458A98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$55364A5A-4FDC-4880-BB6E-839C7858260D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"982352ec065f5fd50dc99375d3a26030f3e94c5f","datavalue":{"value":"958522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563763$A96C9E38-71E1-4C27-AF4E-16F0764037CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f272cc071d47b4238c13f8248a46359c60d1d6d1","datavalue":{"value":"closed homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$B89173E6-B850-4608-B624-CECDEA8F4FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56305e690496f2955b3353e91032fff5ed88d214","datavalue":{"value":"Birkhoff theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$3CED541A-8AFD-41E8-8DF9-2702CC7A3ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$FB9902F4-7B70-4C56-99B1-050C67D8FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac1f75c03256f19bdd606e21e05b5b9bd363129","datavalue":{"value":"one-point completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$D912EE85-BE94-4310-B918-102791384595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aeed7befb1f6282cbb055d2920dc8a6e475867f","datavalue":{"value":"functorial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$86CF33A3-F82D-4850-BE32-5CE21AA27B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff8cdeb00561936ba844dcdae2c8b6f529b7511","datavalue":{"value":"Mal'tsev theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$37D00C04-C6AB-4085-A8F4-86F7672A0126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2cbc0c9b4f73af5c5a75522ca3318c07d8b0bc","datavalue":{"value":"dht-symmetric functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$8A85DBCA-F884-4FA6-B9D8-440B34996DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563763$20236BDA-6563-4A67-B8F0-B258E6070305","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$8ED0DF63-52BF-4017-BC71-F1B0ECD7CE57","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":"Q2563763$F7ADBB3E-55BE-485E-8009-3DCA5A3128F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$807DE2D1-2EAB-4E63-95E7-C6F1B3D8172F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c566cb53ce0c6ecad034044c692a89716a05dd03","datavalue":{"value":{"entity-type":"item","numeric-id":3781809,"id":"Q3781809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$914C6B28-FA25-444F-84BA-C9E2EE81CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a06de7fc5ba4194bc28133b83c3fdfe2e9615a","datavalue":{"value":{"entity-type":"item","numeric-id":3979191,"id":"Q3979191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$7E400847-24FB-4CD3-B3A7-F68B1A99CDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5f391dfafae1ab4343841baa40207013a58b73","datavalue":{"value":{"entity-type":"item","numeric-id":4763282,"id":"Q4763282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$1B41CA3C-CE7F-4EDE-87B4-3584A12A67EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d994584a2c8245131a45189282839b0d364961d9","datavalue":{"value":{"entity-type":"item","numeric-id":2785640,"id":"Q2785640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$52C6A9B6-D64E-44A6-B12E-62595FB88E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e1a462678bc76cc1d48b3bfa31c7296e80f559","datavalue":{"value":{"entity-type":"item","numeric-id":3884279,"id":"Q3884279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$C610D25B-BBCC-4E27-9FF8-336B7DA90545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6d507c2d7476aff86544b2174ba42ea9c86898","datavalue":{"value":{"entity-type":"item","numeric-id":1821863,"id":"Q1821863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$54E81669-3F7B-4B8C-9199-677B3AC04624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2daebb70af438e7c65a99ac1c6e586dd60f4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1090753,"id":"Q1090753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563763$770AA0EB-F203-4D22-A5F5-436CCBECCC12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa12690b7616d190962c5c2f79c12927bb054f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3705505,"id":"Q3705505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7aa569e134953f1bb3dfe6505e3d1d78363133","datavalue":{"value":{"amount":"+0.7935326099395752","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":"Q2563763$736F2C89-B9C7-47BC-B91F-5D67938B7503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf35d0b339716740c064a706ea7a706c39f9b59a","datavalue":{"value":{"entity-type":"item","numeric-id":3781809,"id":"Q3781809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa32bd02bd668a6903408fddd7de5bb3fadd0355","datavalue":{"value":{"amount":"+0.7917407155036926","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":"Q2563763$FAB43B68-B7D0-430E-8B76-5DB7FCCB9387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e8c65ebbc82a222959a08126cb28dcf84de0dd","datavalue":{"value":{"entity-type":"item","numeric-id":2759858,"id":"Q2759858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed46f48e0704e16add3fea9077ae4926dd8beec","datavalue":{"value":{"amount":"+0.7863547801971436","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":"Q2563763$0D14614D-2F61-418B-8194-D1083F0D12FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3d84ea7e5f6792c2d2e6180cc4837750b02854","datavalue":{"value":{"entity-type":"item","numeric-id":4763282,"id":"Q4763282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332da0f289a8eb3dbebdf712b0e4bab06a53ce48","datavalue":{"value":{"amount":"+0.7831853032112122","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":"Q2563763$56BCB1B5-ABE4-4DAD-B7F5-66E35FF44633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Birkhoff theorem for partial algebras via completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Birkhoff_theorem_for_partial_algebras_via_completion"}}}}}