{"entities":{"Q638494":{"pageid":640342,"ns":120,"title":"Item:Q638494","lastrevid":63324381,"modified":"2026-04-11T12:06:19Z","type":"item","id":"Q638494","labels":{"en":{"language":"en","value":"Classical descriptive set theory as a refinement of effective descriptive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947136"}},"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":"Q638494$B62A5CB4-9A6E-4F5C-BFDD-6018F5CE3B9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e5cc6bd124a58979017f047ae4645cc35a9b937","datavalue":{"value":{"text":"Classical descriptive set theory as a refinement of effective descriptive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638494$F75AF545-83D2-40F6-902A-78C1464E8C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad0982fbabd52af0810e76ec86beac1f59c35280","datavalue":{"value":"1230.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638494$403869D3-75F8-4732-8286-55A362671E89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a99737eae512011b9bc05738f2ccfddb1d9066","datavalue":{"value":{"entity-type":"item","numeric-id":638493,"id":"Q638493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$15A3EB1E-DA3F-4053-AAA8-FD5D5A654FB1","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":"Q638494$58213128-9900-4E29-BFB0-FD8699134BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28ce2fef0076f9b8b7c93bbdc314b820e86bb25b","datavalue":{"value":{"time":"+2011-09-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":"Q638494$1AD32CB1-D527-4EB7-88A3-4B886ADCAD54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c7a942aad505123b758198a03e1915bbae4cb86","datavalue":{"value":"Effective (modern) descriptive set theory is nowadays regarded as a refinement of the classical theory of definability on Polish spaces. In this paper the effective Suslin-Kleene Theorem is obtained as a corollary of the standard, constructive, proof of the classical Suslin Theorem (by applying to it a naive realizability interpretation). So, from this point of view, the author vice versa considers classical descriptive theory as a refinement of the modern one -- hence the title.  To describe the content of the paper, it is perhaps appropriate to cite the author's own words in the concluding section: ``Briefly, what we have done is to (1) introduce a formal language \\(\\mathcal L\\) in which many of the propositions of classical descriptive set theory can be naturally expressed; (2) define a realizability interpretation for \\(\\mathcal L\\) which is respected by intuitionistic deductive reasoning; and (3) derive the (effective) Suslin-Kleene Theorem by verifying that the (classical) Suslin Theorem can be proved intuitionistically from true, recursively \\(C\\)-realizable hypotheses.''  To help those readers who are not familiar with intuitionism, all the necessary notions and arguments are defined and outlined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q638494$58495C3F-F8B7-46C9-8A78-08E394240521","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"645a301166fa22236f78e221a4e109b760f6860a","datavalue":{"value":{"entity-type":"item","numeric-id":480339,"id":"Q480339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$6132118D-3DA0-416A-9F77-A2CE1EAAC819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638494$031D6DC4-162E-46D7-8875-78B71761BE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638494$F0A40978-1519-4F6B-874E-6F8062CF0997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b2423076b34fba8022c57bf5d63dbba28f8832d","datavalue":{"value":"5947136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638494$008CE0D4-C860-4964-9F46-853061C09EE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6cd522e6589a4836ae9f596063dd4c498054372","datavalue":{"value":"effective descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q638494$FB27B2A1-8DEB-4A50-9101-CE365312F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cec7055753622e13c43aceabb546c29e0921f6a4","datavalue":{"value":"classical descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q638494$2E65FD26-4D0E-4D5D-BAD4-7DDAE2118933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q638494$5A70C6C5-C9B5-42FE-8F76-FDFB2A451618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3260a6dd471bf85d74e0b125f27430e13b034a1","datavalue":{"value":"Suslin-Kleeen theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q638494$0FE72203-3DCC-45FB-B5A4-97D5541B8EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q638494$D9376BF7-F27C-4CC4-9DF3-247DA40D3E29","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":"Q638494$885FC8B7-297D-4054-9B66-3A0A2E03106A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77b5b097fc812899e131bf6707d56fb6906dedbc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q638494$042B2F97-6489-4509-9302-0D728E4BBEE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9740bc8a92503530a2b2e46d703eca0fd66b4c9c","datavalue":{"value":"W2123139964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638494$C844BDA5-5E89-4FAA-A890-485736F07BE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cd5e95ab81e4449379db593883c53235e5fd31","datavalue":{"value":{"entity-type":"item","numeric-id":3613302,"id":"Q3613302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$CCAE1EBF-6800-4335-AA73-42671EE3BA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf9e76e00cd85975e7ee3f0966c716f733f2823","datavalue":{"value":{"entity-type":"item","numeric-id":3226750,"id":"Q3226750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$37DEED83-9A67-4C23-94DA-CFC72E72BEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365fc3a8c1ea4fdd14d92715e8b6b254641238e4","datavalue":{"value":{"entity-type":"item","numeric-id":3226751,"id":"Q3226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$8692E531-BDC9-4EF2-BA0C-5671BC5D2654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f5eab70966b236525b2f1469660bcdcb8468d4","datavalue":{"value":{"entity-type":"item","numeric-id":5541833,"id":"Q5541833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$481F4CCB-54B9-4FA9-892B-119BF16DF514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$26DA79A5-F0E0-4ABD-89DC-A4F6AAFFD7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c88a55b1c088420ffbfdd545dbe103e25f7f60","datavalue":{"value":{"entity-type":"item","numeric-id":3644738,"id":"Q3644738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$335BBD89-CBAC-4D97-91AC-5C692A3D3725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a180b8fce60736ccd37eeea2fa33bcf2b0d72a38","datavalue":{"value":{"entity-type":"item","numeric-id":3161629,"id":"Q3161629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$43C09029-B0BA-474B-BAF3-CB3E83EBAA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96100d3945c0bd9f53640a81d642477488cbdc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638494$7EC783E4-9FA9-4CC1-9F87-8278F5028CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"146e8707e338c79bce15539d02735b2250b3913e","datavalue":{"value":"10.1016/J.APAL.2010.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638494$6BB8732F-A88A-4E63-A2AA-F035C9C4B900","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f063897347fcd45ed39f0413141b315cec2326","datavalue":{"value":{"entity-type":"item","numeric-id":3195711,"id":"Q3195711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181f2ee7c4332c903a9f290211d77a46e5d1e516","datavalue":{"value":{"amount":"+0.8298481106758118","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":"Q638494$957FE2E2-731F-4DAC-A98B-6F46EBFFE399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2354205651ca635010c7e25e85352ecdf5976cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4341928,"id":"Q4341928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a4b92345da92f1f9038e7e947b4460b3225a72","datavalue":{"value":{"amount":"+0.7510521411895752","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":"Q638494$F671892C-8E13-4BA8-AEED-7D5C5FFCB754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56c34ae3e14e0f213a8a3158dbfd489abdb908d","datavalue":{"value":{"entity-type":"item","numeric-id":2011663,"id":"Q2011663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d408cd1681988981caff3cdee4404355b1361e8","datavalue":{"value":{"amount":"+0.7451804876327515","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":"Q638494$08E5DD18-AC6E-4612-BCE3-087A2178FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9caeee58b1769dd5d7dd39234f26fff6a464e53","datavalue":{"value":{"entity-type":"item","numeric-id":1688967,"id":"Q1688967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97d55711c07639afb9e5f444e883a933f7271fa","datavalue":{"value":{"amount":"+0.7349340319633484","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":"Q638494$F99C3569-A72E-41B7-BF5E-590297260E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0bef278d8067da9e69f7a48b29b898c30aac1b","datavalue":{"value":{"entity-type":"item","numeric-id":1812904,"id":"Q1812904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd09337cc587b190b16efc6fe8d0422cadb9bfd7","datavalue":{"value":{"amount":"+0.7285735011100769","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":"Q638494$E8F5C35E-F8D6-4913-8DFD-CDE35967D346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical descriptive set theory as a refinement of effective descriptive set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_descriptive_set_theory_as_a_refinement_of_effective_descriptive_set_theory"}}}}}