{"entities":{"Q1102283":{"pageid":1113035,"ns":120,"title":"Item:Q1102283","lastrevid":66684033,"modified":"2026-04-12T11:55:31Z","type":"item","id":"Q1102283","labels":{"en":{"language":"en","value":"On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049642"}},"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":"Q1102283$0C5FD3D5-51A4-406E-AAC2-1E1C382400B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65983b6f86dedd3e471a583083ef4931792ad4e8","datavalue":{"value":{"text":"On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102283$B5E3F0F8-A33B-480E-A6EF-A02F859FC350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea330b2fe0443daa2b5742f3e34e84dbeaf452e6","datavalue":{"value":"0644.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102283$5C9763A3-45DD-4DE8-9C1B-50E96BA972D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e8d2043791cb2502cbb4e920330d806a32b67c","datavalue":{"value":"10.1016/0168-0072(86)90057-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102283$4502AA11-54A8-4228-B8C1-7E9A287865AF","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":"Q1102283$08309E13-10BC-44F4-B000-08D5136A74CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1102283$64711638-88FE-499B-9454-A85DD8D5BB67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed645cdba245dfa1b6fa170c79f5f131681b615b","datavalue":{"value":"The main result of the paper is the theorem that the continuity of computable functions is not provable in intuitionistic Zermelo-Fraenkel set theory with relativized dependent choice and collection instead of replacement. This is an improvement of the earlier result of \\textit{M. Beeson} and the author [J. Symb. Logic 49, 630-643 (1984; Zbl 0599.03060)]. Adding the Extended Church's Thesis \\((ECT_ 0)\\) does not prove Cont(R,R), \\(Cont(N^ N,N)\\), or \\(Cont(2^ N,N)\\), nor primitive recursive Markov's principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$43DECE3D-B1E7-4023-84FC-65B2384D210B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102283$D35D0266-2014-46C0-BD50-5FB41A2800C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102283$C49C4B54-EE34-4796-8845-9730543850D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"918d55aa1e7c96f26e46a52312532aa664443ff2","datavalue":{"value":"4049642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102283$08EC65B8-59F1-446A-B3D0-A515794B12FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$CC840464-0F7A-48A9-93DC-929FE5726EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$03D3052E-7427-4507-9BAA-A20438E50B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$EA73BDE5-D344-476A-B96F-7F0F9C8BF532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06648b1ea4da55b0c763c34e8627b7b5af18ab2","datavalue":{"value":"intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$A5FFF068-F615-4D83-8DAC-969699C391C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c9f2004de3fc2a8c1751b46e78d7822080c356","datavalue":{"value":"relativized dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$3303C561-712D-47DA-ACF3-75EBA527E975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b6f552ad2fb8ffae357dc6404c3ebb617e5d87","datavalue":{"value":"collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$9A993C69-F58E-4B94-AEAA-93B9B71D5316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d3d9b5e90c95bb77e9533159a7532cd0fcce19","datavalue":{"value":"Extended Church's Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102283$AAA8E0AE-5997-406C-8AFE-34350E2F6FB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$A1D17DE1-470A-4398-A4C6-0AEB9F96DBF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c8f905a9fbcdf869078c73fd37f10918c0aa052","datavalue":{"value":{"entity-type":"item","numeric-id":2538515,"id":"Q2538515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$0A0AA666-53CD-414B-BB18-6CA4174B09D6","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":"Q1102283$807831C8-B1AB-4196-B3E9-217F84641F3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf092499c6d263081665c7702fe358043e9f597","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90057-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102283$D96647BF-C2F5-4B14-A57F-A0A40F7F9043","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7869312504dc29ea771c3acdc59d197ae6da0e30","datavalue":{"value":"W2044052539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102283$78835FB4-90CE-4978-862E-4DB634D8A199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$868BE291-998D-47B4-BF60-0B0BF0C74FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6fd26d2e92cf3adbceb00b72f6e985c1c747ce","datavalue":{"value":{"entity-type":"item","numeric-id":3734400,"id":"Q3734400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$B503B05C-0B90-44F2-9E95-4FF51564B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd849ab6c6020cb23b13d8e4615af8e4c338c263","datavalue":{"value":{"entity-type":"item","numeric-id":5737081,"id":"Q5737081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$D5667073-3707-41C2-A12F-5D4B2E5D32AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$D9589E5E-D188-443D-8B8A-279F910AC880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737af7fd7604b6559f5e67fbb4992a43c64a5893","datavalue":{"value":{"entity-type":"item","numeric-id":1071019,"id":"Q1071019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$79DD9081-51BE-44A5-83CB-9204111474EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$6A3AB8A7-61AC-4A12-8652-AF4C96498323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cc03aa1088b0656346f312f7efa53dc2ba977e","datavalue":{"value":{"entity-type":"item","numeric-id":5567860,"id":"Q5567860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$88C54DAA-C47B-4E92-9DDF-E287DAA633AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c5990025a0adb5810416749c7fb8516a653a84","datavalue":{"value":{"entity-type":"item","numeric-id":3338243,"id":"Q3338243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$D723430F-1664-419B-906F-BDC2DCB33CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6166c112385748177b658bdbdd7157c3787992ec","datavalue":{"value":{"entity-type":"item","numeric-id":5625126,"id":"Q5625126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102283$91E244FC-8DC6-4B7E-9EE1-82F8773CAA88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9fd151acb7a251cf68b53f5a813aec6132e134","datavalue":{"value":{"entity-type":"item","numeric-id":3734400,"id":"Q3734400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d49ddafac61b613963bd08669641020d515f34","datavalue":{"value":{"amount":"+0.8136195540428162","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":"Q1102283$39FDF59F-8773-4B29-84B6-C360D26BF189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7b596cf191059660506fe4890e8ce4107642ed","datavalue":{"value":{"entity-type":"item","numeric-id":1961060,"id":"Q1961060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd61e8f66071fced89e67083b8db50a55c4869ad","datavalue":{"value":{"amount":"+0.7366408109664917","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":"Q1102283$EFD78B1B-4172-4C07-BCEF-DBCE7CE97442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93aa6ee66066416c88c248fe1f1b0b2348238ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779633,"id":"Q4779633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2020c70590083936b3cdc4237168717fbe8435a","datavalue":{"value":{"amount":"+0.7358227372169495","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":"Q1102283$28430942-55F1-4F55-A650-4BB253C07F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7007a6f1ac19471df136dd43e4e6a13c88159215","datavalue":{"value":{"entity-type":"item","numeric-id":2917342,"id":"Q2917342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f642aeea777c5680d57dcdb86e1eaccd607e9b9","datavalue":{"value":{"amount":"+0.7357708811759949","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":"Q1102283$F40A83FB-08E5-4DD3-91D5-EA7348CDF5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f9b1bb16c43ae079c892292108c53b803631f3","datavalue":{"value":{"entity-type":"item","numeric-id":4934288,"id":"Q4934288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8766f98859d29f54de4fd5950d2490f2b34b66","datavalue":{"value":{"amount":"+0.735129177570343","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":"Q1102283$CE986CA3-37C7-466B-BCE3-EE35C73E1137","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_impossibility_of_explicit_upper_bounds_on_lengths_of_some_provably_finite_algorithms_in_computable_analysis"}}}}}