{"entities":{"Q1428035":{"pageid":1438775,"ns":120,"title":"Item:Q1428035","lastrevid":67728120,"modified":"2026-04-12T19:31:50Z","type":"item","id":"Q1428035","labels":{"en":{"language":"en","value":"More existence theorems for recursion categories."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056204"}},"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":"Q1428035$61BF736B-3A78-418B-BB27-F0303D40C1AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"695edbc0841aad6cca20365829ca96bdb53c8e2e","datavalue":{"value":{"text":"More existence theorems for recursion categories.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428035$A360B5D6-10B6-4AF5-A851-872E472F36A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65903fc9faa8fb42c857c0885a0e4d31e577ffa3","datavalue":{"value":"1049.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$6CB203C3-5C81-4FF7-A4E8-D12E3E933A55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"843dbf6193131c0e62aef9120be09b3f9c53aeca","datavalue":{"value":"10.1016/S0168-0072(03)00060-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$E4AD0F3C-3E9C-42EF-B782-AF2CE4ADA17A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24f7ddecc450f52e7fd0bd702862a8ff0709c104","datavalue":{"value":{"entity-type":"item","numeric-id":1428034,"id":"Q1428034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$1DF6F952-20C0-4754-BAF2-7BE59CE86546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$4762F577-F18C-4FFE-B16E-033079882CE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428035$0FE82BF6-B80A-4FB4-8CB5-0763D5D315E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b27756994005a02d213ba3ce645cc3d6383365d7","datavalue":{"value":"This paper is a contribution to the study of recursion categories, which are `formal categories of partial maps' equipped with a notion of recursion. Such categories have been extensively studied by A.~Heller, G.~Rosolini, R.~Di~Paola, F.~Montagna and others, and the notation and terminology have now been very highly developed. The present paper makes no concession to the casual reader: here is the statement of its main result. ``Let \\(\\mathbb C\\) and \\(\\mathbb D\\) be iteration categories, and suppose \\(\\mathbb C\\) is separated by an iteration functor \\(L:{\\mathbb C}\\to{\\mathbb D}\\). If \\({\\mathbb B}={\\mathbb B}(X)\\) is a uniformly generated isotypical \\(B^{\\#}\\)-subcategory of \\({\\mathbb C}(X)\\), then \\(\\text{Tur}({\\mathbb B})\\) is a recursion category.'' To explain the meaning of all the terms in this result would require a review almost as long as the original paper; however, it can be said that it generalizes a result due to Heller, which is the special case in which \\(L\\) is the identity functor on \\(\\mathbb C\\). There are also some applications to categories of coalgebras for suitable endofunctors of the category of sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428035$51B55CCB-AF5F-4226-BDE3-6EE3601574A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$064A5BC4-622D-4BA0-8F20-6255BB663927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$897FF1FC-15B3-4BD2-A909-D728AECCD885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$4B68EFF6-3E24-4D2A-90B9-CDE22D722517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$97450C15-225C-4FD9-97DE-1D692E2209F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3def36981296f1af4c1c469f306c9836447e283","datavalue":{"value":"2056204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428035$72FD03F5-4EFC-448E-9B75-4CAEE02869A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c09d2c2723754300c6ca8dc99c6290d04a1015dc","datavalue":{"value":"Recursion category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428035$6EACA032-9F33-4536-BD9C-7706D22024F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6971d1ddf65c0678b43a670d5d3627fad30188b2","datavalue":{"value":"Turing morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428035$46E9C2A0-D748-4B8B-8B00-98EDCA6F82BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0977a1c11339e29618178752e7a03b70bcce1a","datavalue":{"value":"Computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428035$21FBA7C6-A9F0-483C-8D34-66E837289B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b04f007d4d9d95e5214c3a6c045dbcdf537b2c6","datavalue":{"value":"\\(P\\)-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428035$8153769C-121B-44EE-BF9A-2228AE9659C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce81e641acf3041cc5fd1854ccca978d4493521","datavalue":{"value":"Coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428035$99348989-39C6-4FEB-875C-470C8CDB6965","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$D5C927CE-4F6B-4A06-AF94-89687585FB71","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":"Q1428035$0A115582-53A5-4F4A-9B55-6810C60D05AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"397846898dc0eb528b4e23925a126fc41d923fab","datavalue":{"value":{"entity-type":"item","numeric-id":3794173,"id":"Q3794173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$8586D464-56B6-4806-B8A4-238EECBA4895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dea0ed5547775504caa905b09ebb44dcd1345e","datavalue":{"value":{"entity-type":"item","numeric-id":3984439,"id":"Q3984439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$E92E3369-2641-43ED-83EE-33F93A284CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$D0FABF9E-D88C-4D1F-B86F-299864EA8A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$CDB6BE26-25D0-42F7-B18C-6170E6CCDCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6879cb07e152ae0fa0864640a6445f525a975205","datavalue":{"value":{"entity-type":"item","numeric-id":1771866,"id":"Q1771866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$0AB12752-F1B8-4322-A546-6740B3C67AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9339bd9c22e263b8bd77437db1b3be5eff15f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4792971,"id":"Q4792971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$18B10FF4-FD88-462F-8DFC-E77D6A4BC5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d35556a2f1a7b741c1f08046243a8601cf265bb","datavalue":{"value":{"entity-type":"item","numeric-id":3211292,"id":"Q3211292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$5514EF81-7959-4A7E-8D03-BB2DC7D35DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$75597500-6EAC-4B93-BC79-BA46A0316FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$9BC4096F-178B-44B4-B17D-562C46FD55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$B559D434-9267-4A87-BA31-5ECA3B4EBEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfacf948a82d2edf656de51c0e9500509d67f01a","datavalue":{"value":{"entity-type":"item","numeric-id":1115866,"id":"Q1115866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$8D1C9A79-07AA-4DF0-8A0B-F92FF645C120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01893c9933e36147590844551258a59c9de1ce15","datavalue":{"value":{"entity-type":"item","numeric-id":3826733,"id":"Q3826733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$C8A62481-1342-4B21-B733-E6869EEA4D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$42013DB6-DD54-4EE4-932D-19FB4C35D525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ff1d70314b29330318fa7f2679aa8ecbc18248","datavalue":{"value":{"entity-type":"item","numeric-id":4532605,"id":"Q4532605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428035$87076BCD-7C21-4564-A40E-BAB1689DF50A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be112fa87d58c18f3aa12a06030891b18891f57","datavalue":{"value":{"entity-type":"item","numeric-id":5202648,"id":"Q5202648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89151159531960b9d497bb852aa48a08044b203","datavalue":{"value":{"amount":"+0.7930305600166321","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":"Q1428035$41FA3138-D0B3-49A6-81FB-3394E06E0872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fbd953f8aff206f619e44a363487bb98a0536d8","datavalue":{"value":{"entity-type":"item","numeric-id":3984439,"id":"Q3984439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e097c76812ae9d45b130796d7bdb4044013b676","datavalue":{"value":{"amount":"+0.7802755236625671","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":"Q1428035$3B74FF2E-EC04-4F70-BAA7-6E9D8084E853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c265bdfb5e80f72bd1522bf540f4e9b4b3a90e40","datavalue":{"value":{"entity-type":"item","numeric-id":998306,"id":"Q998306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630373c23c0998be43910001a9220c1121e4049f","datavalue":{"value":{"amount":"+0.779884397983551","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":"Q1428035$642241AE-E76F-4B78-AA35-4039FCCCCED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de68b9c159d80daa697335548c3771df77168bfc","datavalue":{"value":{"entity-type":"item","numeric-id":3211292,"id":"Q3211292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8572b61c4056d6461b43b4241433e9c28c876778","datavalue":{"value":{"amount":"+0.7734860777854919","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":"Q1428035$16758B8E-7362-4C35-8393-35AA63BCAAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e34affae303a640ad2574f856b2aaf259f5a66","datavalue":{"value":{"entity-type":"item","numeric-id":3744154,"id":"Q3744154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e659f3df5d322862b5869fdadb099f7ed80b7448","datavalue":{"value":{"amount":"+0.759723961353302","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":"Q1428035$E6822919-4B12-4FD7-B473-755BF3CB948E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More existence theorems for recursion categories.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_existence_theorems_for_recursion_categories."}}}}}