{"entities":{"Q807736":{"pageid":809584,"ns":120,"title":"Item:Q807736","lastrevid":64523601,"modified":"2026-04-11T20:27:24Z","type":"item","id":"Q807736","labels":{"en":{"language":"en","value":"Locales in functional analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208342"}},"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":"Q807736$EEF3EACD-A262-469C-8783-9FA1A32E9CAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b190d78063feaafa767e65aa8f2a05cd80085902","datavalue":{"value":{"text":"Locales in functional analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807736$56E17ED3-DFCF-476A-9E3C-40BEFF2315D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a4ad8ddc6c8db2bb565230fd7cac68ca83eb87a","datavalue":{"value":"0731.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$DEE75CB0-13CF-4FE7-898B-B1C51160328F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"135420a50748db8bda46240dd16e1f4413b71365","datavalue":{"value":"10.1016/0022-4049(91)90013-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$3128D336-34F9-4254-B300-89B57AF317A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"792c5702ef9d5715df08355fee981dd377a73da6","datavalue":{"value":{"entity-type":"item","numeric-id":194952,"id":"Q194952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$3C3FE732-A339-490C-9984-0660B3F12D5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$24C97172-92BF-4472-9706-14BE8FC1EBAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q807736$0AE5650E-B70C-4C78-AF24-28DA344D1B4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8849f7c386c9b47670df3d6a9b98b9bfdd089d26","datavalue":{"value":"This is a review article discussing extensions of the Hahn-Banach theorem and the Gelfand duality theorem to situations where the axiom of choice is valid only in weakened form. The results are due to Banaschewski, Mulvey, and the author. The setting for this is that of locales, the work is done within a Grothendieck topos. Examples where these results are useful, are Hahn-Banach extensions of linear functionals depending continuously or smoothly on other parameters (on Banach space bundles), or G-equivariantly with respect to an isometric action of a group G.","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$D8FA9FB2-5943-44C3-87A6-49C769BE2A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$45CD642B-33B4-4800-A54A-1E0AA99AF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$1CAC35A3-FFE5-4EFD-9234-B8E6B97DCF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37db680f9956d5d8f902b973ff4d783d02a91415","datavalue":{"value":"46M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$2A515B46-9F09-43E5-869B-60F508801265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$D133FDC2-9937-45BA-BCD3-5D87331AFA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$202753A8-2238-4514-A5D8-EFEC0C36D1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4fe5939a453f4aaa455013a55b7fe6097c5eb7f","datavalue":{"value":"18-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$31159E59-8420-43F3-A566-A63F2193AA3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fbdd0508d134cc22fb241a51aed0337071d6d32","datavalue":{"value":"4208342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807736$CDCCE0DB-FA9C-42B3-964F-986AD3AC8F5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a1564e2d2fc71aa5ddf09ee16d84e124709067","datavalue":{"value":"review article","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$B2BFB7C4-15B9-4054-9B6D-4BE04B4E18FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$F86170FA-ED76-4931-A3FD-57F7B9C73770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c04c5621011088bd503e7e4b65eaed0ccd1b43df","datavalue":{"value":"Gelfand duality theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$C50ECF9F-60B3-444C-8C55-16619580AD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$3456D3B0-5F2C-43AF-AE0F-7FA8D626091C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$79D3A35A-9F40-48F3-AB4D-762D18BFC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3feafaab3cccd882f20ad035646b903d8cbdd21","datavalue":{"value":"Hahn-Banach extensions of linear functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q807736$91B5EC95-B27A-43B6-8ACE-056DC6F7A8A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b85e91bbb06671e3129f882f3057cc1e94b1a235","datavalue":{"value":{"entity-type":"item","numeric-id":351224,"id":"Q351224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$FE51B7DB-4113-4809-9201-3E0953F20463","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":"Q807736$4AE8323A-7DF5-454A-820A-BBA2E7EA961A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bbb7d5910708b2f095669badfecaf27933dde3","datavalue":{"value":{"entity-type":"item","numeric-id":1148983,"id":"Q1148983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$56357B8C-9F84-419D-9F7E-FAC26D93AC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafd626a7f181547e5ad89f5ae870a5bec9c0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2575765,"id":"Q2575765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$8C4EA3A6-8A92-43AB-A8CB-FB12491F0A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496bfdbee47ec30d0083d6a92536e6c8fdddc6ec","datavalue":{"value":{"entity-type":"item","numeric-id":3869847,"id":"Q3869847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$4D8CEE1A-97F8-4A88-80AF-8F2E22325478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc829a04f8d94893f9de5ba7fe293e25e62f663","datavalue":{"value":{"entity-type":"item","numeric-id":1141879,"id":"Q1141879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$42111926-890E-4E87-8B63-18DF829C81BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$C84644E0-D822-4A79-AE34-A3E69E5F22F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f48d5742dbdd3ef0c7a68e3234bb90a4bcce54","datavalue":{"value":{"entity-type":"item","numeric-id":3889051,"id":"Q3889051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$2D4B84AC-FA0F-49A2-9036-9CBE651BDDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b69b87a89e39228c18921d060707265030559f","datavalue":{"value":{"entity-type":"item","numeric-id":3965242,"id":"Q3965242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$C5D22D19-4681-417D-9DC4-8B69520860D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$8E61B3B0-2D64-4DE4-85F7-F20A216EFB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdd39a50dc3452fd7916a42cbf93a128fc4beef","datavalue":{"value":{"entity-type":"item","numeric-id":1159755,"id":"Q1159755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$A1137D46-0B3E-4FE8-936D-1772A32B1CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca231a21c6a57acef9641cb449a85e8407747ae1","datavalue":{"value":{"entity-type":"item","numeric-id":3931592,"id":"Q3931592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$B1178697-7FA9-4B28-BB5E-059A6C7F4170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b325694a07ffe28021f0e3b85a5d47486f736a2","datavalue":{"value":{"entity-type":"item","numeric-id":3218278,"id":"Q3218278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$D1AD16DF-8AFC-41C2-9453-687C6D0969F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ba7bfb15f64b8d353be5e898d33b326310e9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1177237,"id":"Q1177237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$2DA42E2C-911F-481A-A785-9321EDDF99A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbef4d7849e9fe39e90b458f7ab1d782d1915f1","datavalue":{"value":{"entity-type":"item","numeric-id":3971668,"id":"Q3971668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$4196A4C8-0E6A-4237-8D63-12C1853806DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6aa9e3d81421004558f11850ce967c95093fb39","datavalue":{"value":{"entity-type":"item","numeric-id":3869511,"id":"Q3869511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807736$12D96313-541A-4527-9C53-D62F0DF719B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6bb074ccd4cf8d53cf77c3d97934914e8e4b081","datavalue":{"value":{"entity-type":"item","numeric-id":4440525,"id":"Q4440525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39599010624a42d1addae3bad4e1c453327ddf4","datavalue":{"value":{"amount":"+0.8106615543365479","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":"Q807736$3D5E84FD-FF78-4961-80D5-494DACD305F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6307b2b2524871e1a73362c333b6143405cc2f9","datavalue":{"value":{"entity-type":"item","numeric-id":1177237,"id":"Q1177237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8276ed8192aaf353ea303949da605804b301c71","datavalue":{"value":{"amount":"+0.79706209897995","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":"Q807736$8BED34C9-46A2-43F8-87A7-6740AC016BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ccda121774ffaf2a8d7503468277eddb0e2f13","datavalue":{"value":{"entity-type":"item","numeric-id":3218278,"id":"Q3218278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99dbe8ca91d60e9ead4bbb24449a9f8e1d983bcc","datavalue":{"value":{"amount":"+0.7859417796134949","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":"Q807736$C128B511-12EF-4153-9711-010573F7593B","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":"cd55241057d2d5465805432873af3c359330d37d","datavalue":{"value":{"amount":"+0.7611351013183594","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":"Q807736$FB78F3C7-8BF0-4CED-8FE9-7A3A8496A932","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":"9d0410911dade1ac5bde0cf177f275469ac71d33","datavalue":{"value":{"amount":"+0.7611068487167358","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":"Q807736$F0AF51EE-184D-4235-B30C-0A95D73AA7ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locales in functional analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locales_in_functional_analysis"}}}}}