{"entities":{"Q817674":{"pageid":819522,"ns":120,"title":"Item:Q817674","lastrevid":64565181,"modified":"2026-04-11T20:44:45Z","type":"item","id":"Q817674","labels":{"en":{"language":"en","value":"An exactification of the monoid of primitive recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013016"}},"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":"Q817674$86410986-65BE-42F5-B46B-9057404E7E9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dda455414445343fbd4d1f26dd10368710adba78","datavalue":{"value":{"text":"An exactification of the monoid of primitive recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817674$B88C9EB3-B1E8-4E1B-B20F-E2904ED2831A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4319d6ecbf9408dcb56fd6c9e4a1e6d48d61ee6a","datavalue":{"value":"1096.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817674$3E11023E-3DD7-4D5D-B72B-5198E17C1998","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$1DBA3E78-7FBD-4DE5-8228-B89104345520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817674$BE387162-2A3C-4E9F-A28A-1CAA3B6608C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f3cd7a539d8ca2c98d427820414f183a54e6647","datavalue":{"value":"Let \\(\\mathcal{R}\\)\\ be a partially ordered category with involution \\(\\ast\\), assuming that the hom-sets are \\(\\wedge\\)-semilattices. The category \\(\\mathcal{R}\\) is to be regarded as a category of relations, in which we can find a non-null subcategory \\(\\mathcal{C}\\)\\ of functions, namely, relations \\(f:A\\rightarrow B\\) with \\(ff^{\\ast}\\leq1_{B}\\) and \\(1_{A}\\leq f^{\\ast}f\\). The authors are interested in two special cases. The first case is that \\(\\mathcal{C}\\)\\ is the monoid \\(\\mathcal{N}\\)\\ of primitive recursive functions \\(\\mathbb{N}\\rightarrow\\mathbb{N}\\) and \\(\\mathcal{R}\\)\\ is the category of recursively enumerable relations on \\(\\mathbb{N}\\). The second case is that \\(\\mathcal{C}\\)\\ is a regular category and \\(\\mathcal{R}\\)\\ is the category of relations constructed from spans in \\(\\mathcal{C}\\). The authors note a similarity between the construction \\(\\widetilde{\\mathcal{N}}\\) from \\(\\mathcal{N}\\) in the first case and the exact completion of \\(\\mathcal{C}\\)\\ in the second case, so that they want to bring these two constructions under one hat. One possible way with the first case would be to first embed \\(\\mathcal{N}\\)\\ in its regular completion and then apply the methods in the second case, which was already implicit in [\\textit{P. J. Freyd} and \\textit{A. Scedrov}, Categories, allegories. North-Holland Mathematical Library, 39. Amsterdam etc.: North-Holland. (1990; Zbl 0698.18002)]. This article aims to handle the first case by a one-step construction, which is very akin to the construction of the category of modest sets (\\textit{G. Rosolini}, [Int. J. Found. Comput. Sci. 1, No. 3, 341--353 (1990; Zbl 0729.18003)] and \\textit{E. S. Bainbridge} [Theor. Comput. Sci. 70, No. 1, 35--64 (1990; Zbl 0717.18005)]) as well as the idempotent splitting construction (Karoubi envelope) used in [\\textit{J. Lambek} and \\textit{P. J. Scott}, Introduction to higher order categorical logic. Cambridge Studies in Advanced Mathematics, 7. Cambridge etc.: Cambridge University Press. (1986; Zbl 0596.03002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q817674$EBA1F9E3-8C48-4E24-A9B2-F7A3769A8DFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817674$3C0B6793-5675-4065-980F-FB0FCB35BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817674$F59072A9-8257-45CE-BF01-81498166CD36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26b21f4e6a36013d23f0067b632ff6a0f64c6be6","datavalue":{"value":"5013016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817674$63E598CA-8E5D-47CC-A314-2FD654A4BB88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac50ec2c362ec49670e8e90e0f9b972fb59ccb9","datavalue":{"value":"primitive recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q817674$F6F2C848-0E0E-4213-8ECF-B942680590A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8152fa1850dd36ec2b049a5b0683635d47e77fa9","datavalue":{"value":"regular and exact category","type":"string"},"datatype":"string"},"type":"statement","id":"Q817674$7FE005C4-29ED-497C-A2A9-C85588C48D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4dc7aa509e72663fde35f04b14b6b3a23d81371","datavalue":{"value":"pers","type":"string"},"datatype":"string"},"type":"statement","id":"Q817674$E9CA8592-00F1-430F-BFBE-E0835BD91B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52a271009bd614e4ebf24e05973cb3b9b8e5ec5","datavalue":{"value":"idempotent splitting completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q817674$B6E2EE31-2D2B-49C5-A244-D96D7ED1808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da9b33b14e9b0f0a6a7f12907d3371f7d24c1b5","datavalue":{"value":"relation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q817674$C9B4E9B6-5541-4B1B-8EAA-5BB14C409C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$BBAC0630-09B4-4910-9712-406118E809E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$C6A7B042-4D57-480A-8F41-105452C07159","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$F5C0FDDC-230D-4EC5-989A-722B1F914E0E","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":"Q817674$9CCDC39F-8686-4D1F-9B69-BB1A2EA28FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f50d1f7709ef9f8d2e509336e1d40a06b776347e","datavalue":{"value":"https://doi.org/10.1007/s11225-005-2765-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q817674$4D86C7CF-C35E-4B13-B898-9EAFBFFBC78C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00475fa009e2628f34c060c49dcf45cff0d5e331","datavalue":{"value":"W2169540698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817674$6D4C7CE7-429F-44C9-9D7E-46E077E596C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$C7A4C144-5079-42E1-9E22-8E78BA35D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$C908EDE6-A6DB-420B-AD4A-066D92259E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$7CD466AD-20A7-4EFD-A9FA-6CF00F4D99CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$BA789971-BAA6-4A21-99C9-6AA1516C1788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$0EADFCD4-8CBF-41FB-B86E-22DC3696E55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$FD8038D8-16AC-4672-B3AC-E46EEBE55041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd8ace739be7d1f9c2ad23eb5e267d35985b62f","datavalue":{"value":{"entity-type":"item","numeric-id":3244123,"id":"Q3244123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$0E35E26D-752B-4B81-8595-EAFFDA660C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ad90ac8b2e023019da65a452856cbdc3927fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4279245,"id":"Q4279245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$F191DB0C-015B-4FD4-91BD-C2DC0BEE3392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934d7350a70b1b70887c9d26b33bfa6f142b736f","datavalue":{"value":{"entity-type":"item","numeric-id":4896509,"id":"Q4896509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$6B21A09E-4FB2-4872-963B-D742D3F0A7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a903a775617edc184488e5cb7afa433676ebe0","datavalue":{"value":{"entity-type":"item","numeric-id":1818637,"id":"Q1818637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$26490624-D16D-4200-AC1F-7128F895F91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$13280CA6-895C-4FC2-9608-49F7E48F5F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$5EA96E91-152E-4A6E-ADAC-07D66548B608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc86f000278dc699ab23e219afadb18786e4bae","datavalue":{"value":{"entity-type":"item","numeric-id":4003736,"id":"Q4003736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$E45B60AE-D355-431F-9197-BDCD7039A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c710e855a61cc8b7548a0edc8f8269daa05d811","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817674$81F8144A-3C48-444F-8432-DCBDB66AC395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35adc8847911f8f3257a31eb820703a0f22c166","datavalue":{"value":"10.1007/S11225-005-2765-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817674$504E6E75-39C9-4E00-93B9-1EE43CFBC04E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c22b42444be451778a10c3b1e302c3da3a0062","datavalue":{"value":{"entity-type":"item","numeric-id":3715301,"id":"Q3715301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7bc694b13783244698cca5a924f7e6c6943297","datavalue":{"value":{"amount":"+0.7220296263694763","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":"Q817674$1D3CE012-9515-43A1-BDBA-27B4C6468E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc70e05a48f28e0d0851db83ef604788b71c2ad","datavalue":{"value":{"entity-type":"item","numeric-id":4804663,"id":"Q4804663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03406f05a968da986402119d31b7daecf23d15b2","datavalue":{"value":{"amount":"+0.7207069993019104","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":"Q817674$B0F4D817-BB79-45B7-9CB7-4CDC752ACB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61a3f57e9497c0869eac8581d1194a0227a351a","datavalue":{"value":{"entity-type":"item","numeric-id":4322431,"id":"Q4322431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff997c60c26b06ef4065cd1e9df6b1af785817e5","datavalue":{"value":{"amount":"+0.7139882445335388","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":"Q817674$DE2A15BC-1822-42C7-9F75-0DB6231DE2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06428a8605373f639cf30a411f0edd743e0843d6","datavalue":{"value":{"entity-type":"item","numeric-id":3347867,"id":"Q3347867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859e63694b0fd9626c146b20040673a6b50f6bdd","datavalue":{"value":{"amount":"+0.7019856572151184","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":"Q817674$FF6123F9-5158-4E19-B81A-247D0AD33886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf9ca6bef41fbfb24d2c0484f4da267d9b5bd40","datavalue":{"value":{"entity-type":"item","numeric-id":3514635,"id":"Q3514635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6225e1dc17c3d922873efde25843d628232b3fba","datavalue":{"value":{"amount":"+0.7006925940513611","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":"Q817674$47408FD3-5C4F-4FCA-8958-868CF8C41212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An exactification of the monoid of primitive recursive functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_exactification_of_the_monoid_of_primitive_recursive_functions"}}}}}