{"entities":{"Q1315098":{"pageid":1325848,"ns":120,"title":"Item:Q1315098","lastrevid":67399482,"modified":"2026-04-12T17:21:48Z","type":"item","id":"Q1315098","labels":{"en":{"language":"en","value":"Markov's principle, Church's thesis and Lindel\u00f6f's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 510029"}},"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":"Q1315098$5B6D1AAC-2212-49DA-8384-ACBA98089A3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f148aefdf3c05ed0ca55dc9ef31dcef758c3e55","datavalue":{"value":{"text":"Markov's principle, Church's thesis and Lindel\u00f6f's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1315098$A53B072D-F470-423F-B150-DF05EF9A6C38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01413babe6bc460d75d9804123a297885cc07453","datavalue":{"value":"0795.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315098$42E9A212-5445-437D-B2A9-4A3FD8AE7D52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fbaf5efc4d5ac9400db24db5014e3857e3281c0","datavalue":{"value":"10.1016/0019-3577(93)90005-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315098$8FFD75DF-B6E1-4757-9A61-66A9EBB073DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$8F616727-4077-4F95-8FA5-26E58DC9EC82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$7A217F60-FA34-43A6-A987-0C87501FFAE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f73ce4bfe86aa855041ee7bf71ac722a256254","datavalue":{"value":{"time":"+1994-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1315098$66777AF5-97ED-403E-B9A1-606129993CFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2250614a5bdbc65688f8b48ad4bb25ef05dfa36","datavalue":{"value":"The paper contains some results in constructive mathematics concerning Markov's Principle (MP) and Extended Church's Thesis (ECT). In particular, the theorem ``Mappings from a complete metric space into a metric space are sequentially continuous'' is proved using a disjunctive form of Church's Thesis only. Moreover, a version of Lindel\u00f6f's theorem (``Every open cover of a complete separable metric space has an enumerable subcover'') is proved using ECT only and MP is not needed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$61B98714-2C58-4339-BDCB-20ED884147C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315098$AD49FBA2-3CE9-4EB9-A08B-CAF4B50C4299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315098$92B7344B-305C-484F-A1C7-D471949F7247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2453706c957b37d7adb11fe52726cb9c8ec3126d","datavalue":{"value":"510029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315098$13BFBCD0-C322-4694-9AE0-F973CF22C675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$1BE618F1-DF7E-4CC1-8B63-2236161B258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa4db72529c216e6ca01eaf3dbb23b296ba453d","datavalue":{"value":"Markov's Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$0B356607-8B3B-4F7F-8B74-CDA51249DADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d3d9b5e90c95bb77e9533159a7532cd0fcce19","datavalue":{"value":"Extended Church's Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$5159832D-9A13-42EE-BBF6-917E242F9282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f87686e57cd5798939eefa169b80e212af9083","datavalue":{"value":"metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$9050704F-EDF4-432E-920B-5E163110934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a700f05ff40e853fdb9bcc915982cbec5ff0e654","datavalue":{"value":"sequentially continuous","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$08BF9B4A-0ACB-47AB-A573-540C72F6D93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940e693db3db3cd4bcd6491fbd97d7b5b9cfeb8a","datavalue":{"value":"open cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315098$B3E66EEA-E8AC-4454-992E-8ADAE360475F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$002573DB-1FE3-4FFE-97DC-E176E324A542","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":"Q1315098$E8E0A748-61D0-449D-A6FF-0422C59DD3BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74c1d20fcd4ede1abda70b7b8ca25fc2f65688","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$4636E8FA-3264-4A86-BEE4-27D46998BF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b6e0ecadbcb95040a2ce5ebc7af0971dcc29fb","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$FDE6FBAF-3809-4DD5-A379-D0D7E985F397","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":"Q1315098$5FD3D1E1-BDCD-4EFD-8A9F-B20D633E9E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6bef2e815c822342a89ff9e4c6c993ae2456c0","datavalue":{"value":{"entity-type":"item","numeric-id":3030826,"id":"Q3030826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$577C67B9-A682-4E8F-B734-043B46ECF820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315098$8F856445-2702-487C-992E-BE1AFC88E750","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4298ecb85a9d2b0cf50451b7a10e15cca7b08304","datavalue":{"value":{"entity-type":"item","numeric-id":1331078,"id":"Q1331078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d050d712e93ab0f8963f5a00bd7b6b2b15dfd45b","datavalue":{"value":{"amount":"+0.8906717","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":"Q1315098$CC6BBB0B-3792-4D33-90F6-D4732A077237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589b30421cd9894ab56e4112af2881ffb4074989","datavalue":{"value":{"entity-type":"item","numeric-id":4549810,"id":"Q4549810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a05a18a8953a4ca04bfa27a447919e5241420ba","datavalue":{"value":{"amount":"+0.8893797","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":"Q1315098$ABEC162E-F7C4-4036-B753-81BDC7DA5BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ee8a6ce87f14607fe4e165ecceedcd1bc412cf","datavalue":{"value":{"entity-type":"item","numeric-id":3218867,"id":"Q3218867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56781ab98893545644b62282726f82092d270e27","datavalue":{"value":{"amount":"+0.87277824","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":"Q1315098$D0F1F8ED-7B04-4F10-808B-7A6089E09CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ecc90a675a78f0b219ed6be67723b4de55d880","datavalue":{"value":{"entity-type":"item","numeric-id":298134,"id":"Q298134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e2888d7071d5dc567c3b9731176f72d2af4914","datavalue":{"value":{"amount":"+0.866755","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":"Q1315098$3905B1D1-55FE-4250-B365-883DD0887B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a508039b45de3d0c0401fa7567d88ee6f9ebd5a","datavalue":{"value":{"entity-type":"item","numeric-id":3190331,"id":"Q3190331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ed69c65cac7e4a4ca6a20c7e91fcadefbe5cc5","datavalue":{"value":{"amount":"+0.8654567","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":"Q1315098$A9339C71-B78A-4EDC-983E-530AA624938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe8cb39abffe7af7f0f67e3e0e3f5b84a7c7f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5325332,"id":"Q5325332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742a5c134c9422e3e7ddaed4442f37352b33d150","datavalue":{"value":{"amount":"+0.86095065","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":"Q1315098$107F4321-BABB-473A-9243-8C95A54878A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b38164b87fa8d5ce2957abdd3e77f8f33d3d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":3777194,"id":"Q3777194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c57447c8132985dd31e6d7143ba44f328a1646c","datavalue":{"value":{"amount":"+0.8601725","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":"Q1315098$DAD4BF9D-9F7E-4D4A-A32A-F3A1E4892D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0fda3fdc6dd8cf3fb8d2d466b385f860f8240e","datavalue":{"value":{"entity-type":"item","numeric-id":897485,"id":"Q897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6130bbbe48859e2449244c3b5b4019d289e76f44","datavalue":{"value":{"amount":"+0.85971546","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":"Q1315098$E58DD76E-0A23-4895-BAC1-697F59495728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a91feb7ffea0d3a7023431df9726213f193167","datavalue":{"value":{"entity-type":"item","numeric-id":4600130,"id":"Q4600130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ca60491dd30817556b45cab9352e1cd7a3e654","datavalue":{"value":{"amount":"+0.8595891","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":"Q1315098$87627DE1-CDC5-4BDE-977C-665128CF1C25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Markov's principle, Church's thesis and Lindel\u00f6f's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Markov%27s_principle,_Church%27s_thesis_and_Lindel%C3%B6f%27s_theorem"}}}}}