{"entities":{"Q2105095":{"pageid":2115838,"ns":120,"title":"Item:Q2105095","lastrevid":57730698,"modified":"2026-04-01T03:44:33Z","type":"item","id":"Q2105095","labels":{"en":{"language":"en","value":"Third-order functionals on partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628767"}},"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":"Q2105095$4FCFC0AE-947D-42BB-A6E0-C447A3154E28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75f054082b1a97171fe836f6166f07972526257b","datavalue":{"value":{"text":"Third-order functionals on partial combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105095$DAC97CF0-CBA1-4777-A6FD-0D6DAD711F3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7da04feb6aa3e97ea2951f7cfa37311dc561bb","datavalue":{"value":"1502.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$26828221-46A7-4F71-BE4E-203A549C497F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b4005012caf0443082107d0ce56b28cc83a4951","datavalue":{"value":{"entity-type":"item","numeric-id":1740458,"id":"Q1740458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$737A2264-8374-46BC-8442-F6CEB8ADB50C","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":"Q2105095$B4481831-975F-4A0E-ACC1-D1427BE84779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105095$BF5A5EC5-C377-4290-BFAE-BC9459DBCF95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9597907e76c7f8808cb722bbb672152f3c1cdfce","datavalue":{"value":"https://arxiv.org/abs/2103.09000","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105095$4B3336B7-A10A-4CFB-9874-5BFC8D40A884","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2e6d8cc56dc9167660124f47c462604e72a8958","datavalue":{"value":"This paper is concerned with computability on higher-order functions in the context of partial combinatory algebras (PCAs). The paper [\\textit{J. van Oosten}, Notre Dame J. Formal Logic 47, No. 3, 311--318 (2006; Zbl 1113.03014)] offered a notion of oracle computability for general PCAs, while the paper [\\textit{E. Faber} and \\textit{J. van Oosten}, Computability 5, No. 2, 127--146 (2016; Zbl 1437.03136)] generalized this to second-order functional. This paper is now concerned with the third-order case. It was shown in [\\textit{J. van Oosten}, Notre Dame J. Formal Logic 52, No. 4, 431--448 (2011; Zbl 1248.03026)] that, for each PCA \\(A\\), there is another PCA \\(\\mathcal{B}A\\) whose elements are partial functions on \\(A\\). The main strategy in this paper is to view higher-order functional on \\(A\\) as lower-order ones on \\(\\mathcal{B}A\\).  The synopsis of the paper goes as follows:  \\begin{itemize} \\item[\\S 2] introduces partial combinatory algebras and the realizability toposes \\textsf{RT}. In this paper, PCAs are always relative and ordered.  \\item[\\S 3] introduces the relevant morphisms between PCAs, yielding a preorder-enriched bicategory of PCAs.  \\item[\\S 4] revisits the paper [\\textit{J. van Oosten}, Notre Dame J. Formal Logic 47, No. 3, 311--318 (2006; Zbl 1113.03014)], showing how to freely adjoin a partial function \\(f:A\\rightarrow A\\) to get a new PCA \\(A[f]\\).  \\item[\\S 5] introduces the PCA \\(\\mathcal{B}A\\) of partial functions as in [\\textit{J. van Oosten}, Notre Dame J. Formal Logic 52, No. 4, 431--448 (2011; Zbl 1248.03026)]. One of the central views of this paper is that \\(\\mathcal{B}A\\) is best as a relative, ordered PCA, even if \\(A\\) itself is an ordinary PCA. It is shown how, at the level of realizability toposes, \\(A[f]\\) may be reconstructed using the construction \\(\\mathcal{B}-\\), slicing, and image toposes, depending heavily on the fact that there is a geometric surjection \\[ \\mathsf{RT}(\\mathcal{B}A)\\rightarrow\\mathsf{RT}(A) \\]  \\item[\\S 6] treats the second-order case, where the construction in [\\textit{E. Faber} and \\textit{J. van Oosten}, Computability 5, No. 2, 127--146 (2016; Zbl 1437.03136)] is reinterpreted as a construction actually taking place in \\(\\mathcal{B}A\\). The author gives an example demonstrating that the elements of \\(\\mathcal{B}A\\) enjoy a kind of double life in the sense that they are surely elements of \\(\\mathcal{B}A\\), while, for each \\(\\alpha\\in\\mathcal{B}A\\), there are other elements from \\(\\mathcal{B}A\\) computing \\(\\alpha\\) in a specific sense.  \\item[\\S 7] is concerned with the third-order case. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105095$57864AE5-332D-468E-96F0-7C7D018FCB94","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":"Q2105095$400EBA45-A34F-410A-9CA0-7550A971A0B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$E719A28F-14C0-467D-93C6-C58A832F3565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$EDF16089-D65B-42FD-AE45-B78F5B2D62F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$047A3D19-6758-41A0-8C13-C11F87E57FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$582A81AB-A345-4D0B-81EA-F72073A705BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$05106127-37EC-4ABC-82A1-3BD566926B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$C995FD6D-9E86-4CFF-A6AD-706BE13F94B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5b5fdd964ffed96f7a0dc6302ceae7f77510224","datavalue":{"value":"7628767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$1C23B9AE-C774-496F-959E-7E1D086344A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105095$DDDA7CC1-A8F0-48D6-852D-405926B604C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d31c83b82fd129dffbd25a82175608da957586","datavalue":{"value":"higher-order computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105095$240BD88A-BFDB-4C12-96EA-36FEBFEAE621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105095$209D0EFD-0E18-4946-AD12-57889539057E","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":"Q2105095$54100CCD-B5AD-4196-A542-0421A56F1C03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c949aeb72669cbd26e5c66fb333159df651f3712","datavalue":{"value":"W3138695222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$6DD8DE64-37A4-4C9E-B0ED-CD8A4A29A092","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811242b51b2fbe0f7eaff68ef4417f3f8fbf2e79","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$49F04185-BC55-4C70-AB2C-81F53AFF39FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d151b846832cf2f6eacfad1e0e25ddc8b510d6","datavalue":{"value":{"entity-type":"item","numeric-id":5740205,"id":"Q5740205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$0949D330-F235-4136-8AD8-E806DDD702CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$ECFB1576-4FEE-45CB-BCEB-2621CB829D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044934af972e97f50b799669d7e72dc07493684","datavalue":{"value":{"entity-type":"item","numeric-id":2847361,"id":"Q2847361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$8112656D-0AB1-4621-A13A-66421BD73978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$810F58AC-D472-408F-AA5B-AEB3BA38AC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf723f5f87a7ab4e09645f0f134fad2698e3bf42","datavalue":{"value":{"entity-type":"item","numeric-id":4938567,"id":"Q4938567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$ED1782C9-1D79-4D0A-A277-8229EF6A9040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d42c7fe9e08e949535125d9db7f6febeb811e6","datavalue":{"value":{"entity-type":"item","numeric-id":866493,"id":"Q866493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$A5E8976C-A9D0-479A-A73C-1211C6D9C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$67652F37-6BFC-45F0-A952-22158DEB7805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c870040d68b3631e409dd6d510718b143ebe9b70","datavalue":{"value":{"entity-type":"item","numeric-id":654017,"id":"Q654017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$F3AABAAC-BCF2-4E38-BF7C-4D60BF29C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e64da8f90b8df0b62ddd2cdd8644e9b4fbab7b","datavalue":{"value":{"entity-type":"item","numeric-id":3386753,"id":"Q3386753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$1A4E3AB2-F54D-40E7-9ADE-65F351644872","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5057faa166a8af13cb0bb0dd6159a5d5926f07a4","datavalue":{"value":"10.1016/J.APAL.2022.103205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105095$9E8C1101-1C3C-4634-BF7F-C2E5A71B9F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b510e7821f9cd6f63832c7dd822555c622953d96","datavalue":{"value":{"entity-type":"item","numeric-id":5740205,"id":"Q5740205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a1e1f67b1c0cdb4f6f5cd61f20f25b0298b70a","datavalue":{"value":{"amount":"+0.7914069294929504","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":"Q2105095$1A79FDB6-0B5D-4B76-93A2-4FA122D3A2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cddce10e195f0dd99466c2121031e92b747ad8","datavalue":{"value":{"entity-type":"item","numeric-id":654017,"id":"Q654017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135bf3b618be84baa9978ae8a8c120188ec3ff24","datavalue":{"value":{"amount":"+0.7850977778434753","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":"Q2105095$FC613797-A6E6-4BC4-A3BC-B5B059CD2650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeddfa7e222858745110683417fd4b0159288cf","datavalue":{"value":{"entity-type":"item","numeric-id":5156775,"id":"Q5156775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a0c508160f3f7594c90aa259a3fc5b8439dd78","datavalue":{"value":{"amount":"+0.7808158993721008","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":"Q2105095$6A91A4B9-3C8C-4120-BD0A-7AD9335E77FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c300031121640aa7e69099115190657f9cb78c","datavalue":{"value":{"entity-type":"item","numeric-id":3386753,"id":"Q3386753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e140fe3e55ff4add53b0904b8979b711078b6027","datavalue":{"value":{"amount":"+0.7804402709007263","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":"Q2105095$D8B0E98C-1E9D-425E-BA1E-4E1EDA366B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8ceaa2b9e18dd3a3ef84d6a6e7e56c3a8f3a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f59c44b3c1ff0c083b69c9859a0b69fd55d24f","datavalue":{"value":{"amount":"+0.7777136564254761","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":"Q2105095$A6F890E0-14F8-4123-AD9B-E541B29CAD39","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105095$3E89A182-2BC9-4BC5-B4CB-37CBB652F752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2105095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2105095"}}}}}