{"entities":{"Q2366356":{"pageid":2377099,"ns":120,"title":"Item:Q2366356","lastrevid":43951812,"modified":"2025-11-18T11:38:07Z","type":"item","id":"Q2366356","labels":{"en":{"language":"en","value":"Effective choice of constructivizations and recursive consistency of problems on constructive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223728"}},"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":"Q2366356$AD7B0F5B-39E0-42C3-849F-BB09AF52050E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef7b0fae3aa7acb3b032e7b4d526ed3c12464721","datavalue":{"value":{"text":"Effective choice of constructivizations and recursive consistency of problems on constructive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366356$D25426F8-D404-4B20-92D6-70B096ADC88A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b6583d4542bca665d93da3fb5453a69d280680d","datavalue":{"value":"0790.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366356$0592D987-907D-4178-AFB8-D45E36F907D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a3e67782d339b89136d7ef3858a826354d05c17","datavalue":{"value":"10.1007/BF02259853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366356$441EE25E-A3A8-4A82-88C2-912994BA3124","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cabb217df16adc544bef8f2e9e85df587e9f597f","datavalue":{"value":{"entity-type":"item","numeric-id":580328,"id":"Q580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366356$F69A7469-2D80-437E-8F4C-8639B13634C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366356$5464CB6F-D6FE-4BA0-B4A1-7119DD732123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366356$C7B7D241-A331-4B24-B9B0-214353895195","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68f457ca5fe7dae5197ef4022e5872956039827a","datavalue":{"value":"https://eudml.org/doc/187595","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366356$2FB9E77D-C7E5-48E0-955C-DAD0E6D9D89D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b0e9fad0e7daa2f071c4f511dfcd508fcaf9a57","datavalue":{"value":"The author considers a constructive (recursive) model \\(\\mathfrak M\\) of some language \\(L\\) is a domain over which problems are defined. A problem on \\(\\mathfrak M\\) is a relation on \\(\\mathfrak M\\) that is invariant under automorphisms of \\(\\mathfrak M\\). Suppose that \\(\\pi=\\{\\nu_ 0,\\nu_ 1,\\dots\\}\\) is a class of constructivizations of \\({\\mathfrak M}\\), \\(\\Sigma=\\{R_ 0,R_ 1,\\dots\\}\\) is a computable family of problems, and for each \\(R\\in\\Sigma\\) there exists \\(\\nu\\in\\pi\\) such that \\(\\nu^{-1}(R)\\) is recursive. We say that the problem of the effective choice has a solution if there is a recursive function \\(g\\) for which \\(\\nu^{- 1}_{g(i)}(R_ i)\\) is recursive for all \\(i\\in N\\), \\(R_ i\\in\\Sigma\\), \\(\\nu_{g(i)}\\in\\pi\\). A criterion for the problem of the effective choice to have a solution is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366356$4E88826C-AC23-45CF-94AE-B901421CBA85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366356$49FFEB8F-6163-4776-A0AB-10A673FEE914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366356$74793360-F500-4BC2-957B-FDDF7623E55D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed800bb1a6071278d702d23ef0496fcb5c014255","datavalue":{"value":"223728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366356$A035AC4D-40FB-4640-8EF7-42100B0B8DAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366356$2E7FD1E8-C698-4185-ACA1-35074E854512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a5eb6d072f54e19e15206ec61d267404a4e85f","datavalue":{"value":"constructivizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366356$28E6BBE6-8F7C-402E-9F76-BAD38DD8F3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c75c0e53fa188a3db51e61ea4cfc6ebd952009b","datavalue":{"value":"problem of effective choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366356$201C8816-318F-456F-865C-0C043C46B0EE","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":"Q2366356$32242564-75EB-419E-80F8-C24A82D10B58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366356$B0AF5B5F-570A-4A01-96B1-577E2A8776E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e05d7132d40513b67e6d35d3751926616ce7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1156127,"id":"Q1156127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366356$0F40F40A-B21F-475A-AA66-9913C708FAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366356$40E054DB-04EE-4D5D-9A64-0D81A86DE3FF","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":"Q2366356$196AED98-FAEA-494D-A980-94F6EB4EA373","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f996421fc3b8795fc73ea646f38b98363ba326f","datavalue":{"value":{"entity-type":"item","numeric-id":1317601,"id":"Q1317601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e8aad0c5cba56d5e2495db3cb964269585b873","datavalue":{"value":{"amount":"+0.90991277","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":"Q2366356$315701C1-7A60-4097-A993-61C7BC4DD385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f196fae85b39fbfd62997bae60ebeb3dca87ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1317639,"id":"Q1317639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ff29be6c00983ae8de9ef4f9393f6738857deb","datavalue":{"value":{"amount":"+0.8860298","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":"Q2366356$8F4B85F9-3AFD-4F4F-B2B0-DB8248FBCDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81999455310de9de8637e0d768ae1458ebf65eff","datavalue":{"value":{"entity-type":"item","numeric-id":3775536,"id":"Q3775536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a456829658b8cac3b126a5042594acb96c7815","datavalue":{"value":{"amount":"+0.88276964","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":"Q2366356$9CE52536-7EE1-4097-B7CF-03D9BAFA35CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15383a4ab1d3395d319757f0c9854f2a60e28009","datavalue":{"value":{"entity-type":"item","numeric-id":1108262,"id":"Q1108262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6272be20154b9d76380277e646b5dc1faf349c","datavalue":{"value":{"amount":"+0.87898505","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":"Q2366356$5D624153-2E46-4133-8415-5EB7529D39ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0a879703456e6879f2f8534b85162fb9f10532","datavalue":{"value":{"entity-type":"item","numeric-id":5753942,"id":"Q5753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfd8cd8c3001e19592cb48ce18e0a903c07aacb","datavalue":{"value":{"amount":"+0.87548935","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":"Q2366356$62CC1CE0-F673-413B-850A-D5645F2031CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f48407e66370d69ccc210b8854c0341c8d0a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4249359,"id":"Q4249359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9dcad0e190e1243ebd0af6b59df6fbffc57619","datavalue":{"value":{"amount":"+0.8697598","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":"Q2366356$D87B263A-8306-4E0F-8192-8830F37426EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb40ab915a08b109474337572c55db113a8e4631","datavalue":{"value":{"entity-type":"item","numeric-id":1914754,"id":"Q1914754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391c7a58fe1d17b8275814edc54564af4e772f20","datavalue":{"value":{"amount":"+0.8669816","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":"Q2366356$6EDDBEE2-6770-44C0-9DAA-6E0A28748EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f779e49a35b5f7ad107d3d5b4f560fdc3b5a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4249364,"id":"Q4249364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361fc5b6a8a5269e6613462a35c71ca3e3e60653","datavalue":{"value":{"amount":"+0.8647896","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":"Q2366356$33E1F67A-E122-4014-B384-6515F17E0E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae00d31493d513287b07cd74a9f00fb6d3b4b846","datavalue":{"value":{"entity-type":"item","numeric-id":3973232,"id":"Q3973232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db665b6e9d31b603429aafdff5b8eb107169a109","datavalue":{"value":{"amount":"+0.86464375","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":"Q2366356$F0E0EDB4-C097-4F28-A82F-0D46E541C4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a499ca982a890a0c3c51418b3f51777abab03f7","datavalue":{"value":{"entity-type":"item","numeric-id":4381423,"id":"Q4381423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8775513108839260bcca67e0bcc4d4d94b7968","datavalue":{"value":{"amount":"+0.8601325","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":"Q2366356$11A1B855-D675-4BBC-9C63-885EE3CD4D6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366356"}}}}}