{"entities":{"Q5945526":{"pageid":8122328,"ns":120,"title":"Item:Q5945526","lastrevid":47683102,"modified":"2026-01-02T10:24:04Z","type":"item","id":"Q5945526","labels":{"en":{"language":"en","value":"The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657100"}},"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":"Q5945526$E0E299FA-9728-4E31-BAF7-609DE2F027C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d61fce16eb05c299d84236524cb03228a793fcf","datavalue":{"value":{"text":"The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945526$0DDAE107-72E0-4159-B74A-1248FC0B04F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4fe8997c23201db6023d1d9583173ae9939711e","datavalue":{"value":"0995.46007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$66FDB872-113C-48E3-99A1-1D8BA7891FBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb9a0e8f274db288168f827d86719c31251b09b5","datavalue":{"value":"10.4171/ZAA/1015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$78F7FFA9-E0FA-460E-BA90-25B8AAC11804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3178c3884f63de081a079a458bbaa6644d8a3bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1024175,"id":"Q1024175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$DAB2064F-352A-4C0D-9504-E2C4DC929078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8806658ec8e384947ae0b7742a880a3adee07047","datavalue":{"value":{"entity-type":"item","numeric-id":186310,"id":"Q186310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$912385F8-9C90-4F3F-93B6-70A2B9802599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8e3e7c93b22dfd3bd8aad15c590d33ee7bf5a086","datavalue":{"value":{"entity-type":"item","numeric-id":162416,"id":"Q162416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$F5C7B189-7D60-4F35-85A1-049B94733630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c99628f8dc3436d8641aa0726a190a4fe0d0bda","datavalue":{"value":{"time":"+2002-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945526$5AD948D2-383D-49E1-A5C0-D196A4EF8AFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d8e7c21a956574b244a7b4683e8d341c42706756","datavalue":{"value":{"entity-type":"item","numeric-id":588080,"id":"Q588080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$CE1B1F09-34E5-43F1-9FB8-E8A998E7C143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be723b2ba909bc8dbb94960f73196353245cdab2","datavalue":{"value":"46A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$DFB33DF6-EBAD-4B9D-B470-CBC120276E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$1ED6ADDC-0800-4024-AAA1-EDC1E8810332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$A8DF3D1C-C7A4-4FAF-BE0C-7A28C257EFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$27EF4B38-211F-4FE7-B73F-4C63DACDFB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$4A776011-5014-4510-A9CE-0FD574959936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cbad84bdfc908c62dcff90b3446715c45524cd1","datavalue":{"value":"1657100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945526$9C3B888E-F02A-477E-963E-3A6555020695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc9882e8dec5807a9eff15b540a5ac0c6563e48","datavalue":{"value":"power of Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$D098D012-00D9-4C84-A6D5-07651A7C53E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$F13A021D-5843-402B-9B51-1C10FF732DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ec2b7befaa4933c4d7bb2f2c5afa0250a5b745","datavalue":{"value":"axiom of dependent choices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$EA16CE1B-10DA-401A-8A98-DAC7AE2CBA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a348a5bbfd7345bd766d79fb20cad45c5e5c4fad","datavalue":{"value":"Shelah's model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$311E2100-689D-44E3-8E1F-BA22B736B968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37a6321615a51c473c273759d09192c55a91684","datavalue":{"value":"non-measurable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$DA764520-962B-4865-B22B-615BE7C9F43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cda4f856c3f116a69caf8ee76a96b451cd453534","datavalue":{"value":"Hahn-Banach extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$F906C406-20D0-447A-81A3-CBE8A0B23BE4","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":"Q5945526$F84CBFCC-ACB0-4809-B86E-6A1D4F4923D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f916d19989d52313a133ef88155be68831261af8","datavalue":{"value":{"entity-type":"item","numeric-id":4694293,"id":"Q4694293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$FF767BCA-15B7-40F0-9FFE-AA71EF4128CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f61905065ea973a09b9fee58c752f2b371318","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$B43FFEA8-6085-4DE5-A43B-A142C3CD1E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b969c0c24da96ef64ee2b4e6007c23b0a3f8b3a","datavalue":{"value":{"entity-type":"item","numeric-id":5290191,"id":"Q5290191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$C4FECE31-B3E8-4429-B895-5511223EE215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25504224e137138a1b05fed3da8621dd04e943e8","datavalue":{"value":{"entity-type":"item","numeric-id":5832340,"id":"Q5832340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$EEF8AA30-B1F2-4EBB-A39A-A1368978551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a128d819c277dce06e5e8a2cdf04b10191c0b83","datavalue":{"value":{"entity-type":"item","numeric-id":3142894,"id":"Q3142894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$57989742-23F7-475A-B0A9-D90F5E532B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae46fc46a5f1dd9c91f7372322e8ee112c21fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5798359,"id":"Q5798359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$19D956D7-9938-479B-82DC-4C779B2095C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc0e6d317e3c6f406cdf7c1dd612ed750e13b74","datavalue":{"value":{"entity-type":"item","numeric-id":4000815,"id":"Q4000815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$5F729305-7AD0-4176-9B17-C6E4A3E08133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb03c3371409886c9d6b1f0a8b7359d73d7383de","datavalue":{"value":{"entity-type":"item","numeric-id":4051100,"id":"Q4051100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$35EB6FA6-23E9-451B-9515-E647C4447D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66d764790dddfe27bf6160dd84436f5f30770d2","datavalue":{"value":{"entity-type":"item","numeric-id":5570477,"id":"Q5570477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$58BED7D6-22D3-4490-BCFD-49146A20E127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ebb5edc407cf5778de720933622b337aebe1e0","datavalue":{"value":{"entity-type":"item","numeric-id":5529479,"id":"Q5529479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$97788F2C-10D3-4B9D-9E6B-732449E6F539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142dd35b328d4761ccc647e94394a74573bb1f76","datavalue":{"value":{"entity-type":"item","numeric-id":3244654,"id":"Q3244654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$EEC06CFF-0DC3-472B-B30A-BC42C14C3304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$CA60FA5C-97D4-4197-82F6-CD3A0D6A2EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07702a3b573f854cdcc78f47eb72cbe0624cea8d","datavalue":{"value":{"entity-type":"item","numeric-id":1310425,"id":"Q1310425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$A572C707-EA3C-41DB-8ED6-E04800E906B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff60177dc64163099c4d2c820c0f9788431a2836","datavalue":{"value":{"entity-type":"item","numeric-id":1130511,"id":"Q1130511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$0177018D-6E21-410B-A8FD-FE17B859A4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f351438787e9a19728ccd7816513c784c77d7ed0","datavalue":{"value":{"entity-type":"item","numeric-id":2647762,"id":"Q2647762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$3019FC14-AC14-4B70-AC60-960687F12FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5790ad55c93f899dbcdb954993045f619181eed5","datavalue":{"value":{"entity-type":"item","numeric-id":5807733,"id":"Q5807733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$8E013DB5-3D60-476B-86DB-4EF88B7687E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdae2e0e92669ae0b614f4f667208d10a40bb3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5826970,"id":"Q5826970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$A5223206-A239-40EB-82E4-2F776EC8E5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bf63a370c4b15252e98431aab1f176fb349a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3845371,"id":"Q3845371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$1E81F204-97B9-4722-A5CF-87DA132A3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2b7b210b1459ed38d7fb339a86f9be1297a925","datavalue":{"value":{"entity-type":"item","numeric-id":5610610,"id":"Q5610610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$BB9DCD2E-0D7E-4070-9C6B-E55D3C41B98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5934c1a26496744ebf6bf10e43b6650205a3fbde","datavalue":{"value":{"entity-type":"item","numeric-id":5562589,"id":"Q5562589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$17A15F9A-EDB6-4BC5-AEB6-6042701DB9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f67cbc35e5f279e82c9a5f5c7606d2dc67c84e3","datavalue":{"value":{"entity-type":"item","numeric-id":5571899,"id":"Q5571899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$27954E62-61C9-4B8C-9424-8320428480D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbde53ead303f6bf07de5fac791eaf314a5b689f","datavalue":{"value":{"entity-type":"item","numeric-id":3213364,"id":"Q3213364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$F9CDCDE5-F950-452C-9E48-F683AF9F60E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c99f675dc9187957a73a9ab087f7d0fb64cd1d0","datavalue":{"value":{"entity-type":"item","numeric-id":4028198,"id":"Q4028198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$CB43085F-2C88-4EDE-91D9-3242E38C7D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d3ded9063f55edf7664e5e0e3ef5e89d72cd69","datavalue":{"value":{"entity-type":"item","numeric-id":5568607,"id":"Q5568607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$D6F36EC9-0196-4CC9-8660-BDB63C9DA6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acb9b11803e81753d77a32feeeb902bde67a33f","datavalue":{"value":{"entity-type":"item","numeric-id":5620775,"id":"Q5620775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$037E28FD-9423-4530-A8C5-9059F09A5B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdbf4ca42165488b4eb88c3d49c502136baf622","datavalue":{"value":{"entity-type":"item","numeric-id":4000816,"id":"Q4000816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$9421B5F8-CD4B-43B2-A325-A630EA109CFF","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":"Q5945526$B7593232-6876-443B-BA2B-F467664FF4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d3acf4e1b92b7cf374e5b6d56a1225e7c2f85c","datavalue":{"value":{"entity-type":"item","numeric-id":4163206,"id":"Q4163206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$BE350DAF-19E8-4CF5-A5E4-145A700BE4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b14cd49d761b20dc492a3b561e93ab293f767c","datavalue":{"value":{"entity-type":"item","numeric-id":1078180,"id":"Q1078180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$C4B8FBBD-6A46-4C1C-9498-EC3069884071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c3830caca099dc6739d0c3b45541a395276b96","datavalue":{"value":{"entity-type":"item","numeric-id":3342556,"id":"Q3342556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$94F8E937-4382-44BC-BDF7-A8F09708D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$2FC193F5-E170-4182-AF79-776B9AA22DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef289b917a565b3292b9c57084a93e31ed23b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1078178,"id":"Q1078178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$DB84529A-4273-4F4D-B3CE-F0E07FC5DBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953404606be1ca80a8fd70dde06908fbdfb81825","datavalue":{"value":{"entity-type":"item","numeric-id":5767789,"id":"Q5767789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$7E37C10A-F8C5-401C-981C-70CB011E4B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$FF54977C-DD46-4E6A-81FB-C2252B5C1F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727ac4068eb95500b6aa40f2e5b6fabe92bf7d66","datavalue":{"value":{"entity-type":"item","numeric-id":3769119,"id":"Q3769119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$84041E8B-36E4-4B39-B591-99AEFF59CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fd7a3aa6462545bd6d6ace103196f77ba03677","datavalue":{"value":{"entity-type":"item","numeric-id":1069930,"id":"Q1069930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$18A582F2-7509-45CD-AB94-730AB4AB3562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdda5ebb9b15dda1ccb4232e3fae8013f458c17","datavalue":{"value":{"entity-type":"item","numeric-id":4104164,"id":"Q4104164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$ED49E046-371F-49D0-84DF-20B7C7E73C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82f62438029302ea2251eaa55cf8b3f887da6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3874740,"id":"Q3874740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$5621C02F-843A-4BD4-8563-277F50AFBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eb52ab60f7bfb267e85a24a6060e999d913350","datavalue":{"value":{"entity-type":"item","numeric-id":5596225,"id":"Q5596225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$234429A7-3ADC-4ACB-81C4-70A960ACB8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fab224009ea6a4b784661b311eb7a5141a8484b","datavalue":{"value":{"entity-type":"item","numeric-id":1362461,"id":"Q1362461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$3278CF86-AA6F-498A-814B-160CB9CBFEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6390cb5aad7a5157924150f70658b9c20c088d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1279735,"id":"Q1279735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$FC39C04D-8E57-43C3-A38C-BE9C196497F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde93869117e77938daa855cceceabceb6ccf20f","datavalue":{"value":{"entity-type":"item","numeric-id":3687182,"id":"Q3687182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$7356B7F8-CCF8-4971-97FB-E9205E0E59E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142907a1fb0f673ccf998c35ef4ca59e31374f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5563474,"id":"Q5563474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945526$296D3BBD-4546-48A5-8029-5B823DF7E58D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8781f4c29cff2b399b05595f7c6e44d9c92873ae","datavalue":{"value":"The paper studies the relevance of some axioms in set theory for the proofs of Hahn-Banach extension theorem (HB) and of other fundamental results in analysis and topology. It is known that Zermelo-Frenkel's set theory (ZF) plus the axiom of choice (AC) has some strong implications in measure theory and functional analysis (existence of non-measurable sets, Banach-Tarski paradox, etc.). For this reason, weaker forms of it, as the axiom of dependent choices (DC), the prime ideal theorem (PI), and HB (taken as an axiom), were considered. It is known that AC \\(\\Rightarrow\\) PI \\(\\Rightarrow\\) HB and no one of these implications can be reversed. NEWLINENEWLINENEWLINEThe aim of the present paper is to show that HB can not be proved in ZF \\(+\\) DC. More exactly, if \\(S\\) is a locally compact Hausdorff space with a \\(\\sigma\\)-finite Radon measure then there is no non-trivial linear bounded functional on the space \\(L_\\infty (S)/C_0(S)\\). In its turn, this property is equivalent to HB, in the sense that if on each non-trivial Banach space there exists a non-trivial bounded linear functional then HB holds. NEWLINENEWLINENEWLINEThe paper discusses also relations of HB with other general properties as Baire property (every subset of \\(\\mathbb{R}\\) have the Baire property), existence of non-measurable sets and Solovay's axiom (every subset of \\(\\mathbb{R}\\) is Lebesgue measurable).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945526$B0EC6C94-39F6-4C10-AE2D-B13BBE70AE0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8d760255e96a33a4a75bf9d2e35d800446cf67","datavalue":{"value":{"entity-type":"item","numeric-id":4000815,"id":"Q4000815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8442d44b6a7dfa373d94a7e1657cbc12411dc2bf","datavalue":{"value":{"amount":"+0.8239439129829407","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":"Q5945526$14F6AAA8-ADFA-4161-BB1F-33D5F4C0F994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcaf23998cb5e56b2a235ce6ccfcdc38612bc291","datavalue":{"value":{"entity-type":"item","numeric-id":3410356,"id":"Q3410356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfe4dc1ffdfb0751fa9c4c99e2009878c1432dd","datavalue":{"value":{"amount":"+0.8109755516052246","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":"Q5945526$8BF7305B-B2A0-42C4-94DD-AB4D5EEAC917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d778f762f8fd94efae1fea264f908de47359993","datavalue":{"value":{"entity-type":"item","numeric-id":4264531,"id":"Q4264531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccd926e6cdd3cdf74355fc302db403c3e11fcf9","datavalue":{"value":{"amount":"+0.7966926097869873","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":"Q5945526$C4EE4037-79DF-4185-81A4-A9BC4CBF2C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7714a63c2b4672ce6e62dc8a847f3e926f03d6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3982179,"id":"Q3982179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb352d41051fe1ede07cdc7fba3a60838a3dad6f","datavalue":{"value":{"amount":"+0.7966925501823425","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":"Q5945526$52093D3B-661B-46D4-8AEB-ACEE0545E28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5322f2a40b38fb66b615bd53277d4a4fb42d16cf","datavalue":{"value":{"entity-type":"item","numeric-id":5384883,"id":"Q5384883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d986fb1360681fe516211150d8b8804f5bb99f46","datavalue":{"value":{"amount":"+0.7954394817352295","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":"Q5945526$65A944E4-AEBF-49AB-837C-D36B134B8139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945526"}}}}}