{"entities":{"Q607451":{"pageid":609227,"ns":120,"title":"Item:Q607451","lastrevid":57082011,"modified":"2026-03-26T12:57:45Z","type":"item","id":"Q607451","labels":{"en":{"language":"en","value":"Closed classes of functions, generalized constraints, and clusters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5818027"}},"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":"Q607451$E0FACD15-F77A-4520-A09B-261B6F3CB020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d6dbfb6c58649a9e094383c40fd4db9396d6b30","datavalue":{"value":{"text":"Closed classes of functions, generalized constraints, and clusters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q607451$274BD20B-E64B-4CAC-B04A-19BB5CF5AC21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de31bd8c16d0da45803d155bff6a71c0b09f2780","datavalue":{"value":"1220.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607451$D0FDA54C-ABA4-4007-BB06-93909ACA9C8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b604f4a510b3761f9e74cc9c5f7b73c9018f149","datavalue":{"value":{"entity-type":"item","numeric-id":251901,"id":"Q251901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$B9780262-EA08-4D27-8D85-0F8251563C5D","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":"Q607451$F92F0F5F-9E47-4EE7-A527-49BEBDA25160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q607451$DA5D0791-3690-4028-8891-14715F48B535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f00af51f6609e91d1c5e5415b647822e03140cc","datavalue":{"value":"https://arxiv.org/abs/0810.3212","type":"string"},"datatype":"url"},"type":"statement","id":"Q607451$A982B31B-E25A-4B84-8D8C-97E8E4F425D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b47af93162b497171345562630c8b2cc3f5b91a1","datavalue":{"value":"For a fixed base set \\(A\\), the maps \\(f : A^n \\rightarrow A\\) can also be regarded as operations on \\(A\\). Let \\({\\mathcal O}_A\\) be the set of all operations on \\(A\\). Mal'tsev introduced five types of operations on the set \\({\\mathcal O}_A\\): two kinds of permutation of variables (denoted \\(\\zeta\\), \\(\\tau\\)), identification of variables or diagonalization (denoted \\(\\Delta\\)), addition of a dummy variable or cylindrification (denoted \\(\\nabla\\)) and composition (\\(*\\)).  The algebra \\(({\\mathcal O}_A, \\{\\zeta, \\tau, \\Delta, \\nabla, * \\})\\) is called the full iterative algebra on \\(A\\); its subalgebras are called iterative algebras on \\(A\\). Clones are iterative algebras that contain all projections. The ``preservation'' relation between operations and relations on \\(A\\) induces a Galois connection whose closed operations are exactly the clones of \\(A\\).  The first part of this paper presents existing results on classes of functions that are closed under only some of the iterative algebra operations, and on a Galois theory developed for these variants to describe the closed classes in terms of a ``preservation'' relation between functions and some ``dual'' objects which in this case are more general than relations.   In addition, the authors describe the classes of operations on arbitrary nonempty sets \\(A\\) that are closed under the iterative algebra operations except for the identification of variables. They show that the classes of operations on \\(A\\) that contain all projections and are closed under this subset of operations are precisely the closed classes of the Galois connection induced by the ``preservation'' relation between operations and clusters (downward closed sets of multisets of \\(m\\)-tuples on \\(A\\)). They also describe the Galois closed classes of clusters as classes that are closed under certain operators (conjunctive mirrors, unions, quotients, dividends).","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$0B8A5009-F3B4-46EC-8A11-28CBDBCDC9AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"895d5fc798d777f77a43df1e1b11857e28584cdd","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$F9532869-74BF-41C0-917E-3747BF7A6C38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607451$8812C702-AC2C-4A13-B4B3-F3CCDE97A4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607451$6EA8DD5C-0834-4E77-BD4A-E37D6026B00D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab7fff95b5af1b23931c3471d7ccdb14141d090","datavalue":{"value":"5818027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607451$4D5F146C-BA5D-435E-960E-41B4BAC28E56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b88d2b2ce7293175b5ce95822467df0ca5012","datavalue":{"value":"function algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$5796C00F-B58A-483F-8752-52D1631B1DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec13f4f8ef2b7fba225d6a716281c246f82b2eb","datavalue":{"value":"closed set","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$CD4725ED-A1C4-401B-83C2-43209AC814D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ddc9a0cd844e32824631876b02438a1f305c361","datavalue":{"value":"cluster","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$E92560C9-27EF-486C-B140-C4DDDD7D0B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$6B1A5BF0-C246-4F60-A2F4-C48D8007B5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515d3916acf8c87e9d6a57eec7bd685dfb958c96","datavalue":{"value":"iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$73BCDE4E-BECA-40E9-89FE-16560C45F554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q607451$DFAF5139-CEDD-4330-BAF8-6F37922AB34B","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":"Q607451$E3F76601-DF5C-48BF-AB1F-9A0BD629F0E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6504c1bc3cb8d16df6962b2febd4ec99a214ace3","datavalue":{"value":"W3101798845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607451$89B164FE-1DC9-4912-B0D7-22951203A36A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb46d1dea000e9937eec61fcda5b26d3f06c3d73","datavalue":{"value":{"entity-type":"item","numeric-id":2577758,"id":"Q2577758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$2F63BA2B-EE67-448D-889D-1302A4006DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ab417b18cef667d01c13ce5aa3f3fef3d6d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4828280,"id":"Q4828280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$7C3764A3-531D-440F-B5F7-AABED70A1A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$174C217B-9315-47C9-8BD9-3818E04320A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6949e1d1009268712ba60747f36949f2259ec00","datavalue":{"value":{"entity-type":"item","numeric-id":3735707,"id":"Q3735707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$C3E557D0-49EB-43CD-8C64-24B132FE6B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998e223d942eb37a1ca885766de03ad261bb8b88","datavalue":{"value":{"entity-type":"item","numeric-id":1841905,"id":"Q1841905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$2BB81DD0-A83D-4E63-8E59-E5B48C9A25F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$A8C34D36-0016-47E1-9640-3F60101BEA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5038ff04f5a788929fff0bc1c34fd45daee1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1613555,"id":"Q1613555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607451$461E345D-8B2D-4385-93C5-D50261A3A4F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20907c388d74519c6b038897bcd2e5e5436dbc63","datavalue":{"value":"10.1007/S00012-010-0071-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607451$B785AD17-E503-402D-BFA4-64574D8FFA57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a5db4b45d6dcfeea359b454e660180c7ccd58b","datavalue":{"value":{"entity-type":"item","numeric-id":2448953,"id":"Q2448953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9bdd68278d0d3f9d6264ec74e5ad414d74820b","datavalue":{"value":{"amount":"+0.879422","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":"Q607451$AA31671C-451D-46EF-B155-485736884B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5a9dc61acd39733418dcff83bdd2c52b182ec6","datavalue":{"value":{"entity-type":"item","numeric-id":2577758,"id":"Q2577758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c3e91a5f431f848e56a3b89cda49006f722a5f","datavalue":{"value":{"amount":"+0.8733831","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":"Q607451$31DFC192-B3EE-41D8-8224-4DF53F443421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258e2ff167449daeef3d13bf222bc035cabc0d42","datavalue":{"value":{"entity-type":"item","numeric-id":2787170,"id":"Q2787170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb57d115f15735fc5eaf337c13425c70494f72e","datavalue":{"value":{"amount":"+0.87203705","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":"Q607451$4D0E302E-85A9-4A88-80E1-E0D3CC427689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc24f5eb32f1dd159ca2997be65ee44a4ee74444","datavalue":{"value":{"entity-type":"item","numeric-id":6106402,"id":"Q6106402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e67820b912631f17c71d95323d9838faeede2e","datavalue":{"value":{"amount":"+0.86428213","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":"Q607451$8B088DBD-3206-46E7-81FA-67EA886D14EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0294cd1e30f8ba052e0f76c0c351cf4738d96c","datavalue":{"value":{"entity-type":"item","numeric-id":2766323,"id":"Q2766323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb42021ecb136f62253997bf167979637b33512","datavalue":{"value":{"amount":"+0.8594211","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":"Q607451$A870C68D-6942-4D4D-A1F3-E49D08467B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08a38129e93f439d39ca3a353d121403eddedca","datavalue":{"value":{"entity-type":"item","numeric-id":1065382,"id":"Q1065382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d266bfbd0f9b7e5e392e7e3c36ab766a5d3ee2","datavalue":{"value":{"amount":"+0.85699886","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":"Q607451$2F8990EA-B226-4765-99AF-3B78B85F7B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112fba5c82b410ed71ad282e21a906ce2ae5076a","datavalue":{"value":{"entity-type":"item","numeric-id":5159744,"id":"Q5159744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb50fbf1956783a97032462c61f96b17133f216","datavalue":{"value":{"amount":"+0.85659975","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":"Q607451$3CBA97B7-37B1-4F52-851F-DE0D4227C77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde18c027bca9ebc6de7638ca5e20bda46719f32","datavalue":{"value":{"entity-type":"item","numeric-id":3739849,"id":"Q3739849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a80c8067a11cc117f5a9085316431cb4fbd423","datavalue":{"value":{"amount":"+0.8564305","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":"Q607451$386E1514-28AE-40F4-B2FA-8C02113483CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634adbee3a87c347f369abb2251e0b109f21b110","datavalue":{"value":{"entity-type":"item","numeric-id":5411786,"id":"Q5411786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1e333b1104548fdc55a8354fad5ae8c9093d87","datavalue":{"value":{"amount":"+0.8554162","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":"Q607451$808D7EAF-6804-46F7-8E67-11A6E0EF4639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67c8e95fd968b193594a4d0ebb42753f0590bac","datavalue":{"value":{"entity-type":"item","numeric-id":4886851,"id":"Q4886851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec41dbc5c8521a0ea77e0d8a4b491718f54ea64","datavalue":{"value":{"amount":"+0.8547515","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":"Q607451$7777C3AD-7750-49D4-ACD8-F4C9B0602FE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:607451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:607451"}}}}}