{"entities":{"Q1148983":{"pageid":1159732,"ns":120,"title":"Item:Q1148983","lastrevid":42912992,"modified":"2025-07-15T23:34:05Z","type":"item","id":"Q1148983","labels":{"en":{"language":"en","value":"Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3708622"}},"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":"Q1148983$3EAD48FA-792E-4704-8292-F6DDB8F90819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1efcb6431bd868ba6d001cfccba64bc7f77683b6","datavalue":{"value":{"text":"Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1148983$B8EAD1EF-C9B1-46DB-ACEF-8BDD04AAB243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e579866cf2107fd50695d717f47e6070461313b","datavalue":{"value":"0453.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$965B7C1D-1B71-4576-963C-D4470D9FCD1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8deab39728b626eecf487cd3435ff9dcf5586944","datavalue":{"value":"10.1016/0022-4049(80)90047-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$7D901D2E-3DB9-4C07-A5CE-FD377F3D2943","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$06DF3D17-1AEE-46B3-B004-5B54AD201370","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":"Q1148983$A68AE348-A453-4C72-A95A-4F9C3B8756CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1148983$55AB9AB6-DD9B-4B2C-B267-FED406CCCB15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$DFDD104E-C781-4396-B59F-D24200F53907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"364b2aa029fb89c38e6c2c55c0f817c2fc19dff1","datavalue":{"value":"46M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$7A822F5B-CD77-4070-8ADC-D32CAC940305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1990a12f04f9983b893078d0ee47884af417226e","datavalue":{"value":"22A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$FF71CC2D-4C47-477A-96E9-9572200075EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$B886D6CE-B26B-4297-BEC5-9F5DC66359C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6abddbaf8be15a0c4d9264f5ec754f36101dee7","datavalue":{"value":"46B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$6C130AC8-4955-40AC-BECB-73B3E47594A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3490ddadfa4cad1c0dc16ee551b9b3e523de3c28","datavalue":{"value":"3708622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$244D4158-17A5-4DEF-8E88-EF0831C6392C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ab836f3d319ee7efd5b94b24df616a61cdb088","datavalue":{"value":"topos of M-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$D61850F2-2D24-4BBA-9013-295997396B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a88092614f7f59b41494b9a0d8fc30360300d2","datavalue":{"value":"Banach sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$5F35FD5C-D362-469A-830C-360C3F0E65DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$786F86DA-3064-48FC-99C4-FFE4B704F881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac070d4ff8008509b8a7ceb7caa5dc6615e177d","datavalue":{"value":"injectivity for Banach objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$5CFBC9C7-D8A5-4F84-BB46-9847C285BF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697e9eda6144e55ac6c754715a3eb7fc5a671fbf","datavalue":{"value":"ultrafilter theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$D6B0BC8B-B7B1-4C61-AD97-050B7738B542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$C399622C-C299-4145-8F8B-19715216533B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"504c5d5d6121f7d0779ddcb27ef79f18cf002ee7","datavalue":{"value":"topological monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148983$005AD1A9-66E9-414B-BBBB-5064235A0D2E","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":"Q1148983$F75F99F7-6F68-4DD1-9B6D-3A3576B759D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ccacc2fbd0b5e9602b46514e8be4c15f8b0fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5641296,"id":"Q5641296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$05A36BDF-0BE2-4524-95BE-387AAE0E4942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c507f286febc8ee44fd0ab1fbf10b128078bdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3874761,"id":"Q3874761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$D0E94B82-CC18-4F05-AEC5-DD83DCA81AF1","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":"Q1148983$22AA814B-E7EE-4379-B3E8-60793DE0A041","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":"Q1148983$19533A69-2C74-4480-B31E-CC70A23B051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e17b7b54d18d79c48b581701be4fa58876f965c","datavalue":{"value":{"entity-type":"item","numeric-id":5737285,"id":"Q5737285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$E6EE6FDF-65C1-4187-A9AF-B1BF8B2DB7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069d81e9058b324e4671ec0d8dd0577c94e439f","datavalue":{"value":{"entity-type":"item","numeric-id":5795547,"id":"Q5795547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$D81B3789-03C9-45A9-862C-A1F8E9DEE35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793bdb9ee3f0bb0d2107431dbed9423ad5cb83d4","datavalue":{"value":{"entity-type":"item","numeric-id":5614946,"id":"Q5614946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$41FCCA6C-2D25-4B06-A057-9012C1F3B06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58214a201357392f912f106a46d6971b5d00e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5562332,"id":"Q5562332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$7F3E9A87-EB55-4AA7-B661-E808496CA609","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":"Q1148983$C759053E-CAF5-4123-99A7-60E53B6E5223","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":"Q1148983$DFB2D537-D65A-47C7-9F05-80947BAD9C76","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":"Q1148983$003D4EB5-5CD6-453B-93BA-F9139BE2A117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$9B6166EE-8713-4E69-A2D4-8972BA5D5850","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":"Q1148983$492D30C3-8256-44E9-BD64-C0E883F5FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5be0e427e6bd910228c6cb05f8960d733579b1","datavalue":{"value":{"entity-type":"item","numeric-id":5672899,"id":"Q5672899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$9274DB4E-84B9-41EA-8411-DF38AD305EF4","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":"Q1148983$BE305635-2D1B-410D-B12B-79D57F54BD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2bd7b66f9b4bf4bf8928e640b481787d6c310bf","datavalue":{"value":{"entity-type":"item","numeric-id":3253854,"id":"Q3253854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148983$50B475CA-4205-452E-B132-A37C222F01B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"832da3c0b9570b1e267a2bd7e01fb0998d5d84f3","datavalue":{"value":"https://doi.org/10.1016/0022-4049(80)90047-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1148983$9A1CBA9E-39C3-499D-8010-E87142D99FDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1be4db1a3bb03ef3c1d031af8986492b4adbbad6","datavalue":{"value":"W2075513489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148983$AD8540FD-2AEF-425C-A78E-31C74A253741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1148983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1148983"}}}}}