{"entities":{"Q678851":{"pageid":680700,"ns":120,"title":"Item:Q678851","lastrevid":42638794,"modified":"2025-07-07T14:19:19Z","type":"item","id":"Q678851","labels":{"en":{"language":"en","value":"The modified realizability topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004404"}},"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":"Q678851$DAE891D7-1B54-4369-915A-B920B91E6404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91adf4efba4094588118657ba805cae3e8d7b62d","datavalue":{"value":{"text":"The modified realizability topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678851$C5B5AA2C-37D9-4469-9E09-1A984EDCC6DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd410e6dc6cc6cbfc71f1bb2c2bceb24b93fd19c","datavalue":{"value":"0882.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$B9B84988-A66E-4F75-B034-C4C729FDEBE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cff4384529d3c4e2f2fa6fe708a33085126e8f09","datavalue":{"value":"10.1016/S0022-4049(97)00101-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$BE9A3F70-B60D-4E32-9BD4-E30FE093F8E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$3D024A76-B64E-435D-B104-7F121CA5171D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$822B4001-8B5C-4709-ABB4-E56389B7D9BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ea4b75898e5fe8873b0518811453d85b71b15a","datavalue":{"value":{"time":"+1998-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678851$D721B625-EA75-4125-A6C6-DD7475F37282","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43e1a8a42ea1e7793ccbbe54480823f86086c841","datavalue":{"value":"The modified realizability topos [see \\textit{J. M. E. Hyland} and \\textit{L. Ong}, ``Modified realizability toposes and strong normalization proofs'', in: M. Bezem et al. (eds.), Typed Lambda Calculi and Applications, Lect. Notes Comput. Sci. 664, 179-194 (1993; Zbl 0793.03079)] is the semantic counterpart of a variant of Kreisel's modified realizability. This topos is here analyzed as a closed subtopos of the ``effective topos built on sheaves on the Sierpinski space'' (with the open complement being the ordinary effective topos of Hyland). An interesting logical principle holds in this larger topos, and this has also some consequences for modified realizability.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678851$FCE66B02-D9DD-4895-A713-ECEE071B07B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06053073f43b1cb7a30d04c3029abef6e6536b0b","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$9F06EF38-03D1-4ACC-8C52-8ACB208A8556","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$1614285F-A059-4D12-9800-2923B876FD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$009748E2-BF35-4D6C-A9F9-3A20E88E963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$944F8974-1D73-497C-B6AB-C561961F7C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c64c57abe272852a76f7daf4a95d949706b53cf","datavalue":{"value":"1004404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$6EE82584-3F67-4D61-9A87-FAB31B994B95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q678851$9CF6B93D-7232-42EA-83BC-83BB27266C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q678851$54611D79-9EF8-4366-A71A-51D19847B531","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":"Q678851$A9A2B018-9AD2-4A21-BC61-B7219ECE0481","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$FE2FBAD0-1B7A-4CFC-945A-F9B4BFEE811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$849DBD4B-2D3D-4BD9-A77C-4AFF81EE9619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90115fec3c9dd38731bc75a59a44443e7647739","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$08AC7AFC-03DD-443F-8E04-3169C1DC0116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$E8AF6630-E938-4AEE-8C67-5DC9515B3EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$E31A0F1F-11C5-4175-9E04-2EC94FFF8E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$B13EFA65-982F-473F-A8AD-C6CD741000C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e6add6d7e4f9b356a84d7914f4cae03cd3f03b","datavalue":{"value":{"entity-type":"item","numeric-id":4525289,"id":"Q4525289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$06F1D65A-8368-40FC-8657-873DB443DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$0F04EC94-BB8A-41F8-88A7-1F46468252F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678851$57879F70-F3CE-4892-AAA8-34013E0F8C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ea2b0bce425eea77774f8f9644f401faac81ab9","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(97)00101-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q678851$6E373E53-3693-439B-9120-49B5F1D439D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65135596319833d5f0bbb64617409346ad50c862","datavalue":{"value":"W2042945291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678851$C2343A29-9FCE-47E5-B9C9-47A99D82062F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c500e46ae37c57df52a0c433156a84ee6c5881","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba7d5c13b147d9e33148b2cf55eaea32da9ebec","datavalue":{"value":{"amount":"+0.9373603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$1F8F9A8C-4182-4B7E-BEDC-237AD1F5B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490ad9eda999a761acd16e6cd105887a4a3cddaf","datavalue":{"value":{"entity-type":"item","numeric-id":1683375,"id":"Q1683375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9428846da620afce12fba231ba9fc4f20e4aab4","datavalue":{"value":{"amount":"+0.9212545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$8099EDAA-0694-49EB-8751-9A1D3EBBB017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317652fb99f0be1e9e36e60dabe75be470929a59","datavalue":{"value":{"entity-type":"item","numeric-id":3826731,"id":"Q3826731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc85c7896448b55b615eb4a362ed4dadcc37a5a4","datavalue":{"value":{"amount":"+0.89267147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$D92C1DA5-E411-4F59-AA40-68DF33C2B1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688c748bf5e385f5486844eab0ce6c72f9f37b27","datavalue":{"value":{"entity-type":"item","numeric-id":2847361,"id":"Q2847361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03cec6204fa7d4b2ece9bcfa7b38d3ac46790d05","datavalue":{"value":{"amount":"+0.8922609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$C5DDF2AD-DB4C-437A-8881-947B0396D461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9246536b4c74ca4b3e97fced24f3b4b1c2c6b6","datavalue":{"value":{"amount":"+0.8916869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$F9F4F79D-CEE4-4A5F-A60C-1DBB8440DC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb13850588f54d9682f1f07fafe638a4e95be766","datavalue":{"value":{"entity-type":"item","numeric-id":5277840,"id":"Q5277840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de35da5c5434797372fc4ee144b3d16c8138cca8","datavalue":{"value":{"amount":"+0.8857157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$1D2A31A7-CDD9-4124-A1C9-6EBE6BD0EAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabf00cd57dadaeda4adae1c8cbe9d1766ce61fa","datavalue":{"value":{"entity-type":"item","numeric-id":5413231,"id":"Q5413231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7acbd01b02153f92f352b19019fe4429e3c8fdd","datavalue":{"value":{"amount":"+0.8853668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$192EED11-A7D8-4B73-90F5-3644DA9C0C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c0c76694c34ed2d1ebf0a526d75ad1d02f420f","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774dd38b4994c6e90141c0f9bbd89c39d11fec84","datavalue":{"value":{"amount":"+0.87889457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$B58FD47E-CC8D-470E-8324-5A0EF6B1A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5dd29b6b333a3dc47fd328884fc849c8ebfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3978987,"id":"Q3978987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e53a0a28958c3698f67a7ea6dba81059e9a82f9","datavalue":{"value":{"amount":"+0.87861675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$4CDF5EA5-9CEB-4332-B07E-A2E021A4D6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4067ae2d880ffb4902c82352ef360606ffb0321","datavalue":{"value":{"entity-type":"item","numeric-id":5858930,"id":"Q5858930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0b5c71bcf1eab94e374edab0ededea890bfd53","datavalue":{"value":{"amount":"+0.87566113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q678851$00B44F95-7E9C-4B1A-AB5F-7A2EB4EC3D42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:678851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:678851"}}}}}