{"entities":{"Q1820779":{"pageid":1831521,"ns":120,"title":"Item:Q1820779","lastrevid":70909128,"modified":"2026-04-13T18:10:44Z","type":"item","id":"Q1820779","labels":{"en":{"language":"en","value":"Which set existence axioms are needed to prove the separable Hahn-Banach theorem?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995668"}},"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":"Q1820779$AAD6CB84-7990-4F8F-8078-BB4848297DDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e49f6523b293673599688435a2f5e465e006046","datavalue":{"value":{"text":"Which set existence axioms are needed to prove the separable Hahn-Banach theorem?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820779$7ED3C119-1815-416A-B13B-95B7A51C2A64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21015121472e352758add45e0fa5ea7e006fd8ee","datavalue":{"value":"0615.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820779$24DA6A22-D7B5-42BA-98BC-9595A434A957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"214547e71ac75aabed1b973aefdc8b8946f668dd","datavalue":{"value":"10.1016/0168-0072(86)90066-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820779$8CCE42EB-D7A6-4139-9962-97478F368FB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa7aeec9ff770976657d107c6c83eb35f0c13e65","datavalue":{"value":{"entity-type":"item","numeric-id":1407534,"id":"Q1407534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$90A60CB5-1010-4FF1-B8DB-7E0B9B2C0CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$BF9459C7-6DC8-4FB4-8889-005E1E98103C","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":"Q1820779$078EA12B-454E-42AE-8DEA-925CF270127D","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":"Q1820779$EDFA5ACB-89E7-4600-BFE2-9BED4C611173","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e13d9cd514b999cb2878a72e4d049cd89502bb1","datavalue":{"value":"The authors work in the context of weak subsystems of second order arithmetic. \\(RCA_ 0\\) is the system with \\(\\Delta^ 0_ 1\\) comprehension and \\(\\Sigma^ 0_ 1\\) induction. \\(WKL_ 0\\) is \\(RCA_ 0\\) plus weak K\u00f6nig's lemma for trees of finite sequences of 0's and 1's. It is shown that the Hahn-Banach theorem for separable Banach spaces is equivalent to \\(WKL_ 0\\) over \\(RCA_ 0\\). To prove the separable Hahn- Banach theorem within \\(WKL_ 0\\), one has to refine the usual proof which uses the \\(\\omega\\)-times iterated arithmetical comprehension axiom. For the other direction, the authors make use of ideas of Bishop, Metakides, Nerode and Shore.    The paper is well-written and gives just the right amount of detail. However, in a number of places the reader is referred to the PhD Thesis of the first author and a forthcoming book of the second author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820779$F3896872-95EE-49CA-BA23-9E9D293E5457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820779$AE8C2B65-64E5-4A41-82C1-A0302FC40D05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f19f94af063abdfcbd31ed3a60018ae8cecbcdd8","datavalue":{"value":"3995668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820779$50F05878-09E5-41CF-A82D-676836761A0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820779$3D73F46A-4970-4EA1-8494-BBDAFF2A43D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c937c2e9505690d22829cfcd69cda26aa8f0d741","datavalue":{"value":"weak subsystems of second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820779$E9365963-5FA4-4B9F-A005-8C12BFAFC66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820779$3DBF85BD-2681-4BB3-B56A-C49A4C020F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbb98f64331836c5fbd6eb49940519adc1838424","datavalue":{"value":"Hahn-Banach theorem for separable Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820779$67F11640-EBDB-41D5-B740-1E62C25E2F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fa68e45f3d1f573f0afd045faeccae262ff815","datavalue":{"value":"arithmetical comprehension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820779$2D58C00D-A280-4C41-B8E1-D44E23237529","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bdc018b891b8556a7fdf66d138a7f3eb40fd760f","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$CD62C05F-5F0F-4523-BB18-FD084C4B65D9","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":"Q1820779$50812874-355B-4C51-BCD5-6F9AA507D1F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec82cac6085feb4f87ef25dc0b87190f4f000f11","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90066-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820779$B6AD8ABF-4344-44A4-ADBE-7C2F9D645530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbc80ffc051a979b45ce5cf273abdfdcc43a702f","datavalue":{"value":"W2087408122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820779$C33EACBD-C55A-4727-A361-C6D827310F31","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c97978413bd1f5437fb65190e3b6c1f2b7395eb","datavalue":{"value":"Q56049305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820779$AEFC83BE-BB9F-4034-AF68-619B1CE23081","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4eea01b8f1fa477896dc8749628df1371b72d5","datavalue":{"value":{"entity-type":"item","numeric-id":5336643,"id":"Q5336643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$75C80A49-C26C-430E-BE67-028C7F446217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$E6CECE84-BFAF-4D18-9E0E-18521B75FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$4D31C24C-8AF2-41EF-8219-63B1FC50A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$4DF7F242-DDE4-4AED-B12F-2559B4F06AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$0B80BF2B-170E-4C3E-BF55-2A9549DA723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85a930521c0640ae3fa26c2eefa919473ad2e34","datavalue":{"value":{"entity-type":"item","numeric-id":4404885,"id":"Q4404885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$4F36FFE6-7A3F-4B79-89D1-A8D3E9B86293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$9904133C-5A7E-41F4-B6CC-675A6A7EDBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08d7cb1dd541c4d97d92cb61092439ac0dd9e98","datavalue":{"value":{"entity-type":"item","numeric-id":3043119,"id":"Q3043119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$608BC701-7838-43C7-B1BC-575450D93723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db5ffeb73caddf7a3eccf976d95554c76b1dce0","datavalue":{"value":{"entity-type":"item","numeric-id":4749832,"id":"Q4749832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$66AACC66-0AAF-4D79-8CFE-2DCAD7F568DD","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":"Q1820779$8BD5F6B3-0009-4FAC-9F45-DE6958D0300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$E7B1D5F1-EFE8-4394-B426-131491054E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608355fe47a93676149ea8eb2d36357911fe0302","datavalue":{"value":{"entity-type":"item","numeric-id":3960691,"id":"Q3960691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$AE704BD8-DD4E-40F6-8441-6046D4C3CCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$982B315F-2D95-48E9-983E-1401E6D392F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$C7C16DB3-3671-4540-8276-FC6AFAE8E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273ec91c41490e9f7324cfe300f5c297eddfee74","datavalue":{"value":{"entity-type":"item","numeric-id":4175559,"id":"Q4175559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820779$1A70A3D9-7D98-4E31-8BCB-52FD45188EEB","rank":"normal"}],"P1643":[{"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":"0306a0ac0f4052e8708f6c3b5db2dbd07a87dcaf","datavalue":{"value":{"amount":"+0.8414058089256287","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":"Q1820779$1095DF30-E634-4D0E-8EA2-A53137CE0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a8a7b3a81348e7f9788dfd70810e22fc114249","datavalue":{"value":{"entity-type":"item","numeric-id":3138013,"id":"Q3138013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0306a0ac0f4052e8708f6c3b5db2dbd07a87dcaf","datavalue":{"value":{"amount":"+0.8414058089256287","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":"Q1820779$83E234F2-73FE-4332-B21C-EC95BE969072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18b464b50ba8ae1c77248669db28aae178e119b","datavalue":{"value":{"entity-type":"item","numeric-id":4717119,"id":"Q4717119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c772df8eaf05322fefecd639725e749978a1dfd","datavalue":{"value":{"amount":"+0.8321972489356995","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":"Q1820779$EB23CB29-E02B-4E06-942A-47FFBCFFBE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b5f5fc3788266450a4aedcc0e0078f73aac810","datavalue":{"value":{"amount":"+0.7915259599685669","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":"Q1820779$2BD7351B-E281-45C6-8DC2-FD644048BFB8","rank":"normal"},{"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":"0cca966dc98ce9b46c1cfcbcb4fc97c7fc5f695c","datavalue":{"value":{"amount":"+0.791465163230896","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":"Q1820779$8BD0E2EB-3F56-422E-ADCF-614E30CD2218","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Which set existence axioms are needed to prove the separable Hahn-Banach theorem?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Which_set_existence_axioms_are_needed_to_prove_the_separable_Hahn-Banach_theorem%3F"}}}}}