{"entities":{"Q581396":{"pageid":583163,"ns":120,"title":"Item:Q581396","lastrevid":62929887,"modified":"2026-04-11T09:03:04Z","type":"item","id":"Q581396","labels":{"en":{"language":"en","value":"Adjointness in recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019042"}},"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":"Q581396$ADDF0170-ED10-4105-8B97-99829B3D98E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38792b103baa138e588ceba5fd64c53f023ed328","datavalue":{"value":{"text":"Adjointness in recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581396$3936FC61-334D-4BAD-82CE-9F505BE0EBD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5736b1d496d14c38c61a5b490283f95c88dbf75","datavalue":{"value":"0627.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$2531396F-143A-4C7B-B9DA-5E9DC5D5DF7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a42e4497491debdd44389f045d29aa9a645bf17c","datavalue":{"value":"10.1016/0168-0072(86)90056-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$126B8B2B-770A-4555-A040-2ECC6AB3E89D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843372140793d9d5527f1f4336e74b5f117ec778","datavalue":{"value":{"entity-type":"item","numeric-id":581395,"id":"Q581395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581396$BAEA6B5D-92E8-475F-83F5-78CFA62713BF","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":"Q581396$A0D3576D-4006-42CD-BBFA-DB670E39FC0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q581396$641ABDAE-CCCA-4EA3-9109-4D54245870C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0e0541eeaf80f94f7004d80ffadf3bdec11682b","datavalue":{"value":"In this paper the role of adjointness in understanding properties of computable functionals is described. The author begins by providing a new characterization of the completion functor into complete \\(f_ 0\\) spaces (defined by Yu. Ershov). The category of complete \\(f_ 0\\) spaces is shown to be a reflective subcategory of the category of \\(f_ 0\\) spaces with reflection just soberfication with the Scott topology.    Turning to the computable case, the author utilizes the environment of a topos (the recursive topos) to prove analogous results. Constructive completion (in the sense of Ershov) is shown to be a reflection, thought of as recursively enumrable soberfication, into the category of constructively complete \\(f_ 0\\) spaces. The presence of the adjunction provides a common framework for the analysis of different functionals. The defining property of these functionals is recursive naturality which is seen to coincide on constructively complete \\(f_ 0\\) spaces with the classical notions of recursivity or effectivity. Among its applications, the adjunction provides a common generalization of classical theorems such as those of Rice-Shapiro, Myhill-Shepherdson and Kreisel-Lacombe- Schoenfield.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$13C5AE81-2397-44B2-A75C-A4C263B472E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$EC5754EB-8DF1-48CC-9594-372E79E3BDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$B9496A2F-EACA-482B-A934-70BE0B2845E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$46DCC75B-41A9-44A9-ACB5-8AE9F8816090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$E6447510-944F-4931-8E8A-DE385F8F8D42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a41dfab50562d0fc6227bacbd3a8a3920378331a","datavalue":{"value":"4019042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$E4189992-2D33-4EDD-AE87-AA676644139F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30701766173703d2c3c5a29da8abc2b17cd59726","datavalue":{"value":"adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$8C61AD97-712F-430A-AC2A-A73AA285EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46fe81e4c24f40e2106e7b765acdd588902266bd","datavalue":{"value":"computable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$FBD97787-4263-42CC-961A-2CA479FF9102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c81f551537798eeb12d451ec1eaf2f65902b50c","datavalue":{"value":"completion functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$2FAA6B92-B5DC-4496-B9EE-C8D5DA9479EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bd12a75a6210d3348536808225d190be00cf4a","datavalue":{"value":"complete \\(f_ 0\\) spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$EB66772D-034E-450C-9F54-05BFBB7B4A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$3ECF3DE1-4B0E-45B8-908C-6B80B48FB82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$8E387443-C1E1-43F7-9995-605D302A62D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36f4baae39391bb189c6bf65d0e31b1b6c6b2ee1","datavalue":{"value":"recursive topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$0B635CB9-28A8-4342-88CE-206CA10E5DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d872f7a08e0462a889fb288222077db44c6e095e","datavalue":{"value":"recursive naturality","type":"string"},"datatype":"string"},"type":"statement","id":"Q581396$094D134A-2A7D-4F4E-8494-F35757B08C47","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":"Q581396$C46A87B2-9585-4D13-AFCB-5F72EC4EAFB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fe7267b9ecd3c76100b2568b181b88496aae71d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90056-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q581396$9040C4AA-6349-4E53-A334-58FBF1B93AB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd20aeb081464a455b5e0f49b88d2a4386d75149","datavalue":{"value":"W1971319015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581396$4A80E7FA-A371-4CBD-A01C-23511A9E371A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581396$FE04E9E2-2C7E-417C-BBFC-C1F39036A3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e2ff5d4943e38d73207e7174bfebcd9fc5e22","datavalue":{"value":{"entity-type":"item","numeric-id":1167158,"id":"Q1167158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581396$CBFB116C-711D-4504-AE34-0A229C6CF403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60acf17ccf9773494a593a4d4b0e60ee35e0b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":1054723,"id":"Q1054723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581396$97FBBE9A-4A99-42F4-B14B-BCB2346B4CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581396$7BEDEB78-9F3F-48E9-B15A-2FB362BF0F38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36feed30ae62c312394887e9c6c8c81912c3c768","datavalue":{"value":{"entity-type":"item","numeric-id":3795830,"id":"Q3795830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904ed2173760eaf6f583a11fb74f76c42257e7e2","datavalue":{"value":{"amount":"+0.7636389136314392","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":"Q581396$B0B21DDE-C846-4786-A49E-16E22A6607A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37311c4da765eccfec59e005864eee83c51ea5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4327832,"id":"Q4327832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5335d5c012572a309996e3033e88a601ab77c51b","datavalue":{"value":{"amount":"+0.7500272393226624","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":"Q581396$088A375E-5D7F-4C3B-89C8-699802D920EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a39dd893fe45454ce181c4963fd81fd76cf086f","datavalue":{"value":{"entity-type":"item","numeric-id":5368926,"id":"Q5368926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc2b36e48cb57b53ce470fffc1d404a4038b2ff","datavalue":{"value":{"amount":"+0.7497383952140808","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":"Q581396$C3B1D8FD-6FF9-4A1B-AA77-15FE63AD8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a1fb3e505ae0fd112fa6c9bb11cf1d60ce8eba","datavalue":{"value":{"entity-type":"item","numeric-id":911584,"id":"Q911584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b52b0d5e2c710885b3c91a1dc2fdcff9c5c661","datavalue":{"value":{"amount":"+0.7467772960662842","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":"Q581396$1E334B24-1BFB-4E93-AB33-6DB8F14B7AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b29fd95dcb802c258e59b1e2fcb1c454e78d668a","datavalue":{"value":{"entity-type":"item","numeric-id":1098843,"id":"Q1098843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc1a3b0627f4c2e317d50a3ac571694f8754b8d","datavalue":{"value":{"amount":"+0.7445533871650696","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":"Q581396$C55C2B46-1280-4574-8223-74FD518E9C04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adjointness in recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adjointness_in_recursion"}}}}}