{"entities":{"Q1346928":{"pageid":1357667,"ns":120,"title":"Item:Q1346928","lastrevid":67670013,"modified":"2026-04-12T19:15:28Z","type":"item","id":"Q1346928","labels":{"en":{"language":"en","value":"Computable classes of constructivizations for models of infinite algorithmic dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738974"}},"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":"Q1346928$B6607E4B-C80D-41BB-8932-91FF413C605F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ba4f6ca092592bcf5ab8e952d266f6901dd855e","datavalue":{"value":{"text":"Computable classes of constructivizations for models of infinite algorithmic dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346928$264F6CD0-0EAE-4E3E-8C71-5FA70813FF2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a14a22578ec2d97536427022e34ff1d74bd02832","datavalue":{"value":"0832.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346928$4B422270-73C4-455C-AC74-40B556245C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46557557d148be169bf0fbd972d7d14f3444a465","datavalue":{"value":"10.1007/BF00739415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346928$CF9BA5FC-E293-4EB9-B7E5-3DBEC9095787","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":"Q1346928$459FE58C-EC14-4F04-AB52-B97CBE4B1B8E","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":"Q1346928$2673612C-FA52-442C-B65E-44F33528A59D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346928$04C9AFD0-0ACB-4A79-9B4E-1406A90F9920","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"784c549ea61916a34295bf9d3b80716e338cd070","datavalue":{"value":"The author gives a positive answer to the problem, posed by S. S. Goncharov, whether there exists a constructivizable model of infinite algorithmic dimension \\((\\omega)\\) and which has no computable classes containing \\(\\omega\\) non-autoequivalent constructivizations. It should be noted that, as proved recently by \\textit{O. V. Kudinov} (in the paper ``Some properties of autostable models'', submitted to Algebra Logika), the result of the author in Algebra Logika 26, No. 6, 684-714 (1987; Zbl 0659.03011) is false, and the given paper relies upon it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$5F394FBE-E68D-40AC-9CB3-A289DB461564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346928$BCC35DDB-04CA-4DE6-BEC5-51747050440D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43ed66109495bdc2194a6ec417595029b26ef36","datavalue":{"value":"738974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346928$F14C1454-1773-4DE9-900A-4E3F2B52D46E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d247931a35a8a53e4fee9c3ae644b6746211b7","datavalue":{"value":"constructivization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$10F3B262-1780-4AB2-854E-98F3062225EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5249276a590630ec845a3433ecdaeddcf45b10e","datavalue":{"value":"branching model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$03203E59-B797-4B47-A233-6F1203E2BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c3cc2f6fb2baf7dd0b664ad97e0c1d15fa394c","datavalue":{"value":"unbounded model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$6B58D13A-DA10-46C2-8F99-C8DB9799F362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"978637ab64e65754d60ddc517564ccea8f43d388","datavalue":{"value":"computable class of constructivizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$61E1D248-38DD-4412-AB84-7B8D357A5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8d555cdbfc4bc777413a38555728dd8b11b1e1","datavalue":{"value":"autostable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$C2CFAAA8-0CEC-4628-8DC1-92AE20F296AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6c8ea8b9ab31f3e17b9291883a296ac4cb32ac6","datavalue":{"value":"recursively categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$E3E39D2A-3DEF-4D6C-8D71-3377B2A1FFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d0e83ff470f51890f4b25b79489969baebd8f7","datavalue":{"value":"constructivizable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$C80FBD36-EB09-4FBC-85D0-74D6C6D890FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64fa81470e64b131c2add6f3fdcfb7678b038b2","datavalue":{"value":"infinite algorithmic dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346928$77B6E448-1924-4908-8550-96C27569CCC8","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":"Q1346928$A14C759A-78F0-43C5-AA8E-1B638ADD543F","rank":"normal"}],"P223":[{"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":"Q1346928$A7BBF2C8-6FA1-4BFA-81B2-B0CDF3999C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a756cd8966b9cce34e82e6670a3f7907567591c","datavalue":{"value":{"entity-type":"item","numeric-id":1092937,"id":"Q1092937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346928$B3243CC0-12B0-4E45-9F6C-E89624731E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57706ba067a98f7eb2a1aedf0d580cff188e2e60","datavalue":{"value":{"entity-type":"item","numeric-id":3826537,"id":"Q3826537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346928$8516EACA-F5AC-4A92-AE06-DB9046B2CAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b62ae9591ea66af316eeceb537f2732cdb32b1d","datavalue":{"value":{"entity-type":"item","numeric-id":1117216,"id":"Q1117216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346928$B4977B5B-5CA3-4326-A78F-1D066689F0A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94053cf0a7c50fdd4e6794d6ffac5ab9358894fc","datavalue":{"value":{"entity-type":"item","numeric-id":4851332,"id":"Q4851332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4443f170bee22faca899c68c26606f68bad29358","datavalue":{"value":{"amount":"+0.875516951084137","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":"Q1346928$5F042ACF-AC45-47C8-8C19-2C47D81A31C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f7b028f1247a1baad6d40af213a1e9bac82221","datavalue":{"value":{"entity-type":"item","numeric-id":1842380,"id":"Q1842380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3789ad75a457f45754c341e32c68cabe326972","datavalue":{"value":{"amount":"+0.860369861125946","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":"Q1346928$B14DCA40-2AEC-4C4C-835D-DFEAA0B291FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102a52c9692844f4122d91a409b3d7ea0bc4dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":1346921,"id":"Q1346921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3789ad75a457f45754c341e32c68cabe326972","datavalue":{"value":{"amount":"+0.860369861125946","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":"Q1346928$245C66AE-0BED-4AA3-B0A3-CEBD78A84A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29dd8c3223051195943968fe3b940c87fe2019d","datavalue":{"value":{"entity-type":"item","numeric-id":4517147,"id":"Q4517147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc58f3ee3c25cfbdf7dc7c35257738494d7b1fb2","datavalue":{"value":{"amount":"+0.8513044118881226","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":"Q1346928$3873EA79-24B3-4DB7-84C6-0F6BA85B002B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5dacca69cc342756c2cebca157666a73c8067c","datavalue":{"value":{"entity-type":"item","numeric-id":1812730,"id":"Q1812730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721731c468fd1485277fa2de3512dad888135fcb","datavalue":{"value":{"amount":"+0.851300835609436","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":"Q1346928$A8131022-2105-4AFA-9B13-2C04340C9A05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable classes of constructivizations for models of infinite algorithmic dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_classes_of_constructivizations_for_models_of_infinite_algorithmic_dimension"}}}}}