{"entities":{"Q792751":{"pageid":794599,"ns":120,"title":"Item:Q792751","lastrevid":64375776,"modified":"2026-04-11T19:26:42Z","type":"item","id":"Q792751","labels":{"en":{"language":"en","value":"Extensions of iterative congruences of free iterative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854396"}},"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":"Q792751$F2922EBB-B6B9-4474-9CD1-6D77266F343C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d23a6d68d32552c0350623d1c4b6edee316a2b8","datavalue":{"value":{"text":"Extensions of iterative congruences of free iterative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792751$831742DA-D9EA-44B2-9267-55F0FD61912E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ef49f6667529e9bacb56de7638d5559b501f6b4","datavalue":{"value":"0537.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$D31FCEB0-AF7E-4134-970E-93CC2ED78E5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36d423d22513a3717fbf2177c7794434f22e87b0","datavalue":{"value":"10.1016/0022-0000(83)90039-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$FC8D01AE-AFE5-4882-9CF5-77E52F1E3E1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f3d17dde2255cf0d5e0bd87a89e512588d50f0","datavalue":{"value":{"entity-type":"item","numeric-id":790605,"id":"Q790605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$D68A7496-B662-4F78-9CB9-6168DF4F0140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$94C1C45C-BD55-42D6-AE0D-A5B284DC2683","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792751$053D0CD0-C96C-4212-80FC-221A73B85B9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c2f589a0ee7a79a7dbf2d211d0e0c809dd895aa","datavalue":{"value":"An iterative \\(\\Sigma\\)-algebra A is a \\(\\Sigma\\)-algebra with a unique solution for every fixpoint equation of the form \\(x=p(x,a)\\), with \\(a\\in A^ k\\) and p an n-tuple of polynomial terms in \\(\\Sigma\\) and \\((n+k)\\) variables. The \\(\\Sigma\\)-algebra \\(\\bar R_{\\Sigma}(Y)\\) of total regular trees on \\(\\Sigma\\) and Y is the free iterative algebra generated by Y. Given an iterative congruence K on \\(\\bar R_{\\Sigma}(Y)\\), this paper investigates the effect of enlarging the signature by adding a new 0-ary operator \\(\\perp\\) and extending the congruence to the enlarged set \\(R_{\\Sigma}(Y)\\) (whose elments can be interpreted as partial regular trees). The main result is that if \\(\\bar R_{\\Sigma}(y)/K\\) is iterative, then \\(R_{\\Sigma}(Y)/K'\\) is iterative, where (t,t')\\(\\in K'\\) if and only if there exist \\(q\\in R_{\\Sigma}(n)\\) and r,\\(s\\in \\bar R_{\\Sigma}(Y)^ n\\) such that \\(t=q[r]\\) and \\(t'=q[s]\\). The proof is constructive in that if \\(| t|\\) and \\(| t'|\\) are solutions in \\(R_{\\Sigma}(Y)/K'\\) of the fixpoint equation \\(x=p(x,| u|)\\) for \\(u\\in R_{\\Sigma}(Y)^ k\\), then q, r and s are constructed to show that (t,t')\\(\\in K'\\). This result is then used to show that if a regular algebra admits a faithful regular extension, then that extension is again iterative.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792751$8A202D9E-B2AC-4672-A05D-3BF3FEEE7625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$465265E9-1437-449D-B94F-F5FC677355C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$100CE47B-A991-48A0-B39F-41C8F7C489A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$7B05C43F-0724-4459-8858-83F9637AF5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b72b4b3715a103446d94bfd4a8a61f28dd953d20","datavalue":{"value":"08C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$A7BD8893-7AC9-4EBF-9816-448396BECA4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95c9e136f978f1c757bb7fad7201a4f281e88150","datavalue":{"value":"3854396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$B6E5C800-C4F2-4B52-8DA1-309CCA6F4B3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5592425186ab9646b7d9f7edd840de20cd41afc7","datavalue":{"value":"fixpoint equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q792751$CC9ACF21-2B77-4E86-AA26-3E94DCA84B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b936d4a004620434b32df3d916a86ae34818ddd9","datavalue":{"value":"iterative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q792751$5B25E809-6FBC-4945-B658-BFAE1B013D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29ca336072ae94a5956b220f122b324d515839","datavalue":{"value":"regular trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q792751$336F5050-68B6-499B-A3F6-A46A5D9052D9","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":"Q792751$B4F19700-6F69-4E33-BD6C-AA05F90C142E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e01e2088c36b7d5b125834d528fc3d557252630c","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90039-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q792751$7B76DEC7-1E7A-4781-B755-E1EB5F6B3033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b782367e08fee4b59802027b02ed9c163199b4f9","datavalue":{"value":"W2000958740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792751$C60F5812-AC0D-47F6-9676-170751A76132","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$5FC080DB-890E-4BED-89C9-30FBACE2E0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$F1659F8E-F33F-4623-94AD-90F735E935BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c8cb30ad32b9270e4d5117a37a9038bce01a05","datavalue":{"value":{"entity-type":"item","numeric-id":1238420,"id":"Q1238420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$75F3C257-82C2-423B-B5A2-B1BB830D429E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5f5552def5b27c0b9bb36314f74686295a8cd8","datavalue":{"value":{"entity-type":"item","numeric-id":5526993,"id":"Q5526993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$E427297F-E634-4203-A24C-4B6FC8B90C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$DE416CD6-B046-4F3E-A08A-5245FA22702A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$EC6C4F20-8C70-4D5F-9642-23C5E3DAD624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedb8152d416af671d1c0c35ead4948aa4fef20d","datavalue":{"value":{"entity-type":"item","numeric-id":1169813,"id":"Q1169813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$5C18757D-26B7-445A-8B60-66EA2DA15C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9ef2dcd3d0d98bef4874d0f766c072615cac06","datavalue":{"value":{"entity-type":"item","numeric-id":4185836,"id":"Q4185836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$B90D566E-6779-4D41-965A-39636809E7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70ed351e18cd3b7335ab963a99bdb32bde11580","datavalue":{"value":{"entity-type":"item","numeric-id":3877027,"id":"Q3877027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$EC00BA65-29A3-4CDA-B4B4-C8ADEF9FFEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900dcbd0437c0f7a103179892975c259ab9a8be7","datavalue":{"value":{"entity-type":"item","numeric-id":1142573,"id":"Q1142573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$28757F20-2964-48CE-969F-21D65C043107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe35b5d31c3594f59bb5a630d25393feb3b73371","datavalue":{"value":{"entity-type":"item","numeric-id":3938490,"id":"Q3938490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$DED8F551-485D-492A-9FB3-3A19402FD8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155dad1226a455a5721b39b05306420b53ecac51","datavalue":{"value":{"entity-type":"item","numeric-id":4362900,"id":"Q4362900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$9B8A55EB-0F3E-44F0-AF62-790402559DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8983abfefbc6699f2c89cde21598e776b35277b0","datavalue":{"value":{"entity-type":"item","numeric-id":4005171,"id":"Q4005171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792751$5E48596C-6F36-40AB-9A4C-36FAA8F4E610","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb049ddec2287a8818a0dde3ef89479eaad07892","datavalue":{"value":{"entity-type":"item","numeric-id":789385,"id":"Q789385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435c30a644d17ed93aef9c450b1965ddd0b83369","datavalue":{"value":{"amount":"+0.8521446585655212","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":"Q792751$B8E9DD7F-C80D-4A5A-9E8E-BDE20C02CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a7c365c52c013f42ac5192d8aa46fcacf2adea","datavalue":{"value":{"entity-type":"item","numeric-id":789159,"id":"Q789159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f73dd6e03937bd5f28d5c73a821454505f90faf","datavalue":{"value":{"amount":"+0.8214635252952576","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":"Q792751$AAEE3643-9BE1-4459-90BE-EE2D3A4599D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a7c8e2e9a88cc37253fbd0c8479bee8158d0fb","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f8bfca9d20fd70256ee8bd85ac8d4c1f1d6442","datavalue":{"value":{"amount":"+0.8126574754714966","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":"Q792751$F2976EA6-E3C7-4555-9E17-0FB91E491420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e02b0b6be2d3c613c62a6703be419dec4369d9","datavalue":{"value":{"entity-type":"item","numeric-id":5286027,"id":"Q5286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4e9b3d4c8cda4a1e686619db2b4228d5d1950a","datavalue":{"value":{"amount":"+0.8061250448226929","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":"Q792751$3672C1C7-4DAE-4FA7-B36D-A5CF4FF2965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929a744df4c370e88a6f53d0af435f28efdfd9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2849883,"id":"Q2849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aff30720f5e24fd55cfdef0b296beff58ee9ba5","datavalue":{"value":{"amount":"+0.8049768209457397","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":"Q792751$F1437C11-4DBC-4811-A68B-E89A1342CFF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions of iterative congruences of free iterative algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensions_of_iterative_congruences_of_free_iterative_algebras"}}}}}