{"entities":{"Q987935":{"pageid":989783,"ns":120,"title":"Item:Q987935","lastrevid":57321651,"modified":"2026-03-30T12:08:16Z","type":"item","id":"Q987935","labels":{"en":{"language":"en","value":"How incomputable is the separable Hahn-Banach theorem?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5778808"}},"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":"Q987935$39450931-4CA3-48D3-94D8-C15F409E5710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"008eca0aeb7a3dcb689cab319da6f8278d8eecbf","datavalue":{"value":{"text":"How incomputable is the separable Hahn-Banach theorem?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987935$BDAFF0A4-2472-4EDB-9112-6E7A27A9E6CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db8a43ba607eb87fe07b486c7de1dfa54daba0ba","datavalue":{"value":"1223.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$C3281086-BB09-49EA-854A-A97FA6C16EF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a78f279f7f504ae20f980bd35178ee4a8e5c2a3c","datavalue":{"value":"10.1215/00294527-2009-018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$355CE043-7164-451E-BDC6-AE164356172D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27dfe45af81797f9e68bfff853cff7de91bd889c","datavalue":{"value":{"entity-type":"item","numeric-id":408155,"id":"Q408155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987935$9D56F196-04C3-4BD0-A795-4CFADBCA6478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987935$8B85FF0F-408B-4A76-B6EA-2B3467693E23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987935$0E06DE30-FB09-42B5-BB47-4DDA78E5B6BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987935$DECE67DE-4DB3-4DB4-B865-AB71E1E9E9D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fdac8c87f275cc5e757ee119ec98d7b2a5fede0","datavalue":{"value":"https://arxiv.org/abs/0808.1663","type":"string"},"datatype":"url"},"type":"statement","id":"Q987935$13ACA5F8-361D-46C5-B306-107DA755DA7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"298bb11139a5a9abbaff565a048ac3b79a221586","datavalue":{"value":"The authors show that some reverse mathematics proofs translate naturally into computable analysis proofs. For this they relate to each statement of a form that often appears in the context of reverse mathematics a certain multivalued function.  In this way the multivalued function \\textbf{Sep} -- which for each \\(p\\), \\(q\\) of elements of Baire space with disjoint ranges yields the set of the characteristic functions of sets of natural numbers separating the range of \\(p\\) and the range of \\(q\\) -- corresponds to a statement that is equivalent to WKL\\(_0\\).  It is shown that a multivalued function associated with the Hahn-Banach Extension Theorem is \\textbf{Sep}-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q987935$076B406A-8840-4997-B922-F1336A61464A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"365779c78dd54b3e4c89ec6c9dc2c3adf0a8dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987935$279E631D-D9DD-44EF-8340-C2552DFAF0EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$32EFED6A-46D8-4157-BA91-D39EC0F5613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$2288398C-2F1F-46C2-B4B9-A36961FF90E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be723b2ba909bc8dbb94960f73196353245cdab2","datavalue":{"value":"46A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$0C6D6D59-0D4B-4DBD-A189-F831142DF5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$5E1A1FCC-47BA-4806-BBEE-DECD85EA975B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58fe02b106a845009a1abaf719a88ff4beb6007c","datavalue":{"value":"5778808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$6869D9EA-E191-45C4-9CE7-2760CBC36EEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44134bb69104ae6d4dc8afad94904fe025437c76","datavalue":{"value":"computable analysis, reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q987935$5FC53CE1-AE60-4DB0-891C-4533800828FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q987935$A861B785-114A-4794-B657-80F011DB4962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cda4f856c3f116a69caf8ee76a96b451cd453534","datavalue":{"value":"Hahn-Banach extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q987935$D69F5D70-E2B5-4D35-A7BA-5C43A2FAE587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6514f1d10679dc137921957a18ad026115c215b0","datavalue":{"value":"multivalued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q987935$929CBB0E-11E8-4263-AC8B-4BD81818231B","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":"Q987935$F41B8036-D370-46C2-8AEA-EFE55D132304","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec23062c969be90cf816cdb964f6261d5a6ebe52","datavalue":{"value":"W1987187730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987935$17E85E47-0028-455B-81B0-031F29E102FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62428121f04dd173e2b5bfa2e680990461a588a","datavalue":{"value":{"entity-type":"item","numeric-id":4918007,"id":"Q4918007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f3d70a3f740883c4b938d53e44fe17a54e8a43","datavalue":{"value":{"amount":"+0.9441011548042296","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":"Q987935$79EB494F-7950-4A3C-B8AE-075A7A6F07BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef47fdfadba96c5e035646097ffaa67b86462de5","datavalue":{"value":{"entity-type":"item","numeric-id":4254634,"id":"Q4254634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65095c70c17a2ffd6b27c1535c706cd958486157","datavalue":{"value":{"amount":"+0.8081114292144775","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":"Q987935$80C3F25C-63F8-48D5-975F-9D5EC4DDBC88","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":"65095c70c17a2ffd6b27c1535c706cd958486157","datavalue":{"value":{"amount":"+0.8081114292144775","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":"Q987935$A18F9899-9683-467F-A0D4-A9BB64799CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848fe76d9e682b4c5cad2a48b515a30d47bb6c71","datavalue":{"value":{"entity-type":"item","numeric-id":926175,"id":"Q926175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48b79e12c40bb64a1a1a3adbea5dbafea7ff915","datavalue":{"value":{"amount":"+0.7968589067459106","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":"Q987935$3230C3BC-13D7-422E-8512-06F1624AF41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027fa68c3ebb4f8271975dcaac3f53487e0e3784","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e4019d5b035fba309970969cecf8306ecf8de2","datavalue":{"value":{"amount":"+0.7839405536651611","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":"Q987935$0914289C-9533-48A8-B563-106A37F40DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987935"}}}}}