{"entities":{"Q265800":{"pageid":267567,"ns":120,"title":"Item:Q265800","lastrevid":60490944,"modified":"2026-04-10T17:19:40Z","type":"item","id":"Q265800","labels":{"en":{"language":"en","value":"Continuity of G\u00f6del's system T definable functionals via effectful forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567557"}},"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":"Q265800$BD344B20-B0E2-4B60-AC18-007BC4717521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"205665c64d827855e86ef08f5a93c5ed89e8aea0","datavalue":{"value":{"text":"Continuity of G\u00f6del's system T definable functionals via effectful forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265800$5E241FC8-CE50-4A09-B77A-F8AF582DAA1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76d844d02cb40180a7b1b4bee6952c4c4d38ceb8","datavalue":{"value":"1334.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$C8151657-14A6-4D64-9CB2-6176F7C194FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265800$B6709FC7-348E-46FF-8862-479A92056BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$41341D60-CAF0-4670-921D-A8A94EA13A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$D8ED4C7E-DA3F-43D8-B21E-8FB84B2CC353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$B75FACA2-450C-460B-AA7C-6B8960A3CD5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0af36deb1f98d2a2e3481bbc46a9ae2b1c8beb84","datavalue":{"value":"6567557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$77B81397-8DF5-4C42-9AE4-2223134DDBF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af53fdfe646b5705fa60d1a5e3339094e3facfe","datavalue":{"value":"G\u00f6del's system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$C6E2CD1D-AE26-4676-AE86-903C23DDA552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$043845F7-3804-4A48-9223-7B47765536C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$EE5EFF01-558E-4C30-BB5B-56A83838569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$CC71DAD9-7FC0-4D23-85D2-6C131F6B265E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f1124b1f4453113a28d664ddf4824eea31b856","datavalue":{"value":"Cantor space","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$35B0BB3E-2C21-4EEB-AAC7-4F1583AD45F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2abf09ff30205e5c3bfaf4d6720518a5859693","datavalue":{"value":"intensional Martin-L\u00f6f theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$708B547A-9A94-4093-B9B0-B0D233721348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$FA09C2AF-ECFE-4D70-A648-867CE9F8F342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd9d67707919285e3da03410c7d6459473c74d5","datavalue":{"value":"dialogue","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$63A37C62-E586-4A8F-889E-F1ABAE086F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$58ADB83F-3F97-42EB-9A9B-6A35828EE999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd09c797952a268ece59feabb30b339489339461","datavalue":{"value":"logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q265800$F648C1BC-553F-4934-BAE8-8366C3EA2EF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d86bcbc928bd6418ac3e3c531c373db3286bf66","datavalue":{"value":"Q113317966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$3800CF34-9FBC-4B47-A3D7-5DEE776E8FB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$F2BD51A6-AFE3-4568-8C5B-78FA8A405309","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f5a8f1ad36814e42046eebe0d98a77863cb9fcd","datavalue":{"value":{"entity-type":"item","numeric-id":34512,"id":"Q34512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$EECE5E28-7A16-4B34-AA67-BD39D8FBAB42","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":"Q265800$2CD7C04A-2642-43DA-963C-E7DFA9D93FD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"942904235d1b6cc5f521162872604c257b3d7813","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q265800$2477E62A-3A61-4773-BD7E-20EFC6683C9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1c37a260e68f8bec7391f055c6b475ffda35ca5","datavalue":{"value":"W2152195288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$54CD39A3-8541-4E9A-8D0A-38129E4690D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0d46c11b669eda41f53ccef370c4dd764b569b","datavalue":{"value":{"entity-type":"item","numeric-id":478396,"id":"Q478396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$48F22190-650E-40B5-8FDB-230233BCF4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$30FF499A-84D0-44A5-A2A0-C043B640B81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$521FB019-DB6E-423D-82C7-F8EE044F6CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e4855cde125bdc1bb418924731ec6618aa622","datavalue":{"value":{"entity-type":"item","numeric-id":5191088,"id":"Q5191088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$5F43B111-93FD-45EC-B554-D0A8B333EA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afc8fd7b4f2ac2ed8fe082c8cb6295a646ffff9","datavalue":{"value":{"entity-type":"item","numeric-id":3065010,"id":"Q3065010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$DC0828C3-BE14-456E-ACB2-965D7919EE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f493278e2dff9c0dc2e9bc612ea2467f9385fc","datavalue":{"value":{"entity-type":"item","numeric-id":5253929,"id":"Q5253929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$244DBEAF-E79F-4288-99A2-97FA9FECFB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871fe04a4fdf1570318ebe8f55c4fb054e67efd7","datavalue":{"value":{"entity-type":"item","numeric-id":3401133,"id":"Q3401133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$D8AD7B31-512C-44C1-BF7C-09337A36CA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$E3D1197D-2E55-4D80-83E8-C06C6778A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$EBB480CB-C132-467E-ACEB-B42972329278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad2290b2f23ea5f7526969bf89295f840ed5c21","datavalue":{"value":{"entity-type":"item","numeric-id":2817707,"id":"Q2817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$BB4C67AE-AD6A-4EC4-B968-8013AE1B3ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c43b86216fe1c5702aab5ae75ac68f23c82c002","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$A2425D90-B73B-41E0-97BE-1162E38740A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265800$F7C0F9D5-95A1-4845-A98D-29611D6B2BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c9eaf3ea944b9504cd02fee7ae88eca869cb512","datavalue":{"value":"10.1016/J.ENTCS.2013.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265800$F363A696-BCA8-483B-9A4C-D26BC6ACDCEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d7b574c424b6743e9400f8e41c5ebf71d51db","datavalue":{"value":{"entity-type":"item","numeric-id":5300905,"id":"Q5300905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3facedad1a064012c0b1c08d60a0adf1319c6e","datavalue":{"value":{"amount":"+0.8151739239692688","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":"Q265800$D5163472-FF77-4A9C-8F1A-3702CBD189FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e91d888b20b1350fd2708476d5e3c86802fc7d","datavalue":{"value":{"entity-type":"item","numeric-id":3065010,"id":"Q3065010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02b0e8efd8c280276e242a2252b84b62ecbd93f","datavalue":{"value":{"amount":"+0.8066712617874146","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":"Q265800$E3D4988A-C1E5-4D4B-9EEA-227B70AA8EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ae5b64b5cb783f35831634a9381a944e7d1697","datavalue":{"value":{"entity-type":"item","numeric-id":5253929,"id":"Q5253929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719a9466ffc6bdd55254b14b3819d4ba490b3e1d","datavalue":{"value":{"amount":"+0.7845712900161743","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":"Q265800$EBFA3B1A-F659-40E9-9868-BFD456096992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fd9fb352aee5bc7fe47f52e49e1896e190e763","datavalue":{"value":{"entity-type":"item","numeric-id":5016215,"id":"Q5016215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e5cd26ed1d368e78a6ef03f637f164e79681c8","datavalue":{"value":{"amount":"+0.7722560167312622","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":"Q265800$8EBE48E3-6665-40E7-B941-A51C9E74AF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a1078123755d670f9603d32fe70f9482c75576","datavalue":{"value":{"entity-type":"item","numeric-id":5277837,"id":"Q5277837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ff07d925220ec6bbfe1e121c1e1d1d235df2a3","datavalue":{"value":{"amount":"+0.7415695190429688","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":"Q265800$275CA210-A27B-4E66-9F69-F2C7C321B215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuity of G\u00f6del's system T definable functionals via effectful forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuity_of_G%C3%B6del%27s_system_T_definable_functionals_via_effectful_forcing"}}}}}