{"entities":{"Q7029340":{"pageid":21678933,"ns":120,"title":"Item:Q7029340","lastrevid":77534069,"modified":"2026-05-04T22:11:38Z","type":"item","id":"Q7029340","labels":{"en":{"language":"en","value":"Prolegomena to Boolean valued analysis: Boolean toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7982522"}},"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":"Q7029340$79D691BF-CACB-47A7-9FCF-768CDB0F49BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3baa388f2526b65d5e2b4f83429fbaaced7bd00c","datavalue":{"value":{"text":"Prolegomena to Boolean valued analysis: Boolean toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7029340$5703D536-D5B6-4E52-9786-C2FCB3D7AED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02716c5ab2d4ac00808c17df15ec5ab11b2f1f31","datavalue":{"value":"1559.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7029340$794E9E05-29DE-498F-8E68-94F35FCE6584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab043e055d0a0989aa5d66ae2a304e2bb2dd6e42","datavalue":{"value":"10.1134/S0037446625010124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7029340$D38B207B-804D-4589-96D4-23952DB8310D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc0b4adf23892567c735cc4cc19e853c90b0fbd0","datavalue":{"value":{"entity-type":"item","numeric-id":987448,"id":"Q987448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$BF387AB6-FAEC-4227-B578-4F9AE8AB096B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc82072ee6f43900a84ba59f59bfafbd3a1bd60c","datavalue":{"value":{"entity-type":"item","numeric-id":1655497,"id":"Q1655497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$B394922E-D482-46FA-A5C5-AAA7CE6598D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$4E10C4DE-D256-482C-B9E9-13CDD4D98319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"686e65c63e3072cb28717a83485ef3e9e30a1f11","datavalue":{"value":{"time":"+2025-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7029340$525E5F25-3D64-4513-8236-11A21A8848EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a406de6b0811a7d0eb0f59ec00983d57e211f5c","datavalue":{"value":"This paper is a hasty review of Boolean topos as the categorical foundation of Boolean valued analysis, in which the authors are specialized. The construction of the paper is [\\S 1 categories], [\\S 2 universal constructions], [\\S 3 functors], [\\S 4 toposes], [\\S 5 the logic of a topos], [\\S 6 Boolean toposes] and [\\S 7 comments on each section]. The following theorem is quoted as the main theorem of topos theory.\\N\\NTheorem. Given a topos \\(\\mathcal{E}\\)\\ and a \\(\\mathcal{E}\\)-object \\(a\\), the relative category \\(\\mathcal{E}^{a}\\)\\ is a topos. Furthermore, if \\(f:a\\rightarrow b\\)\\ is a \\(\\mathcal{E}\\)-morphism, then the inverse image functor \\(f^{\\ast} :\\mathcal{E}^{b}\\rightarrow\\mathcal{E}^{a}\\)\\ has left adjoint and right adjoint.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$F8751371-B3E8-43CE-8F19-5CFEA2F829CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$9B06D21A-F8C6-4EFC-9289-15FD4D72BE26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7029340$F64B97FC-A3BC-4939-A7C6-3CDDFEBC0462","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3072fcf3eed369416951de547ee8ba8f8ce6e63c","datavalue":{"value":"7982522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7029340$26034932-4498-4003-B5A5-D149A59E1682","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573e2defb0c7d937f4f7f698edb2c70424c25386","datavalue":{"value":"Boolean valued analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$21DF4E81-C621-4EF3-B044-8DBD88E165A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$E7ACCBA8-2360-4074-B0FA-3CDE24D270AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$54B660D3-2C47-47BE-949F-6B417E15907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59006e803f905877df03bae3244f9aee3865c459","datavalue":{"value":"Boolean topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$D01C6F94-71C6-4BF1-BE1E-1E8916A50059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf12c83aa98562d1fc0e7497a71c0f70aad78dd","datavalue":{"value":"classifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$8F88863E-17ED-47CC-9A42-0E12AF50E11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8348676778170fcfade6e758eab9d45f5bee4c61","datavalue":{"value":"variable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q7029340$67BB8588-B5ED-417C-A52B-6D7FD281A9C3","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":"Q7029340$BA005E4F-AB4D-445E-B444-941AC7D462EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8786d89b02d30263e0c4c63650162b7f06899c","datavalue":{"value":{"entity-type":"item","numeric-id":4138872,"id":"Q4138872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$E823FA68-6C06-49BF-89BB-3F1FCED62A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca3f292723448b88165eb7624952430adc6db4c","datavalue":{"value":{"entity-type":"item","numeric-id":5594631,"id":"Q5594631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$8B29E1A2-4F70-4EA7-B458-066FA290A7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed038e0b9bfcf4ae79c2e5cfd6228a566999ed01","datavalue":{"value":{"entity-type":"item","numeric-id":5618365,"id":"Q5618365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$78AAD8BC-9AC7-4A53-B0B4-92FDD71AC2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$4E1FEB81-4F34-43E0-97F1-7500133B4B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da3828030f273a07d4b1d3a629ae831f8b99d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4046225,"id":"Q4046225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$D39DBD81-35A6-4946-854D-1C4F68CC4F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24307f65174cf2f05425cc472eb7eade74125dcc","datavalue":{"value":{"entity-type":"item","numeric-id":786811,"id":"Q786811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$87D3970F-C03A-4F11-8922-4C1D99B4B174","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":"Q7029340$F445ADE6-D2FB-4FCE-AC5E-CD53C3E6D4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$3E65C4D8-C251-4284-9E6E-38B479555160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$3B1A20D3-B572-45F6-96EE-1D1175F77D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d2b49e8cfad926c235174ab1f1120631817e5","datavalue":{"value":{"entity-type":"item","numeric-id":4194725,"id":"Q4194725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$E17C0079-123B-4934-8A9E-C3FBD4D6CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7712e97f1fece93f927ed2dd63597fc0fba696c3","datavalue":{"value":{"entity-type":"item","numeric-id":4841573,"id":"Q4841573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$193BCA50-7AA4-4B68-ABCA-DB3DA0336E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54cd68b44d076f48eddbd2c93b2001db19fd5bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4711783,"id":"Q4711783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$FD4A67FE-BB2F-4E56-A00B-A198D380A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a385b02414eab53a7d6ba98a96da40b2f8f8c585","datavalue":{"value":{"entity-type":"item","numeric-id":5788376,"id":"Q5788376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$40904DDB-F05A-4EC6-AB36-48D88DF11DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$9831FDBF-807A-4917-B98B-45C2D4B5576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cd45c841cb7199729a591161cd9fcc194f7ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3265294,"id":"Q3265294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$E4675AEF-6252-4F30-922E-D2B5510F74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4c413a2f6c05daa703e9ab16262ada17df999b","datavalue":{"value":{"entity-type":"item","numeric-id":5727879,"id":"Q5727879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$2A3ABDCA-17D1-44DB-9D96-4F3CB213005A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7a7257918385f8aaf360d91b9e01dea60e28c","datavalue":{"value":{"entity-type":"item","numeric-id":4113999,"id":"Q4113999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$3E642AE4-96E5-47E9-B731-406EDB18DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f22ebd88a4bacec5673a9eea7df76fe646869f","datavalue":{"value":{"entity-type":"item","numeric-id":3491788,"id":"Q3491788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$85D51702-16F1-40C3-A21D-784BDFAF13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a717f561241244767a3bb6c233d8ef5919f0cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3247612,"id":"Q3247612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$EF8166F3-3B38-4050-B4BA-B31297653119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b242fcadbc9a1ab6d9110fa15fe4698d81e79bae","datavalue":{"value":{"entity-type":"item","numeric-id":3710519,"id":"Q3710519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$801B2CC5-45F3-4425-8677-D3361FA3F377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$126D64D5-91D9-4A5A-A118-50F4D019F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5c6828e722c31ecddad7948c129bcdcef870dc","datavalue":{"value":{"entity-type":"item","numeric-id":5664068,"id":"Q5664068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$846426C4-4406-48E6-81F6-E8DC42BAE0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$28CF9BEB-F32C-4658-912F-44C3D7D53B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9cdca29a1a5e555958761ab3b627014a5aeb23","datavalue":{"value":{"entity-type":"item","numeric-id":6151820,"id":"Q6151820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7029340$6E56F31F-C9AF-4E19-B364-2587C99AC8AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prolegomena to Boolean valued analysis: Boolean toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prolegomena_to_Boolean_valued_analysis:_Boolean_toposes"}}}}}