{"entities":{"Q1086339":{"pageid":1097091,"ns":120,"title":"Item:Q1086339","lastrevid":69606690,"modified":"2026-04-13T08:09:56Z","type":"item","id":"Q1086339","labels":{"en":{"language":"en","value":"Logical opens and real numbers in topoi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3983449"}},"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":"Q1086339$5B5EC5BF-519E-49CB-A7CE-DEAF2CD18482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31da36f3c4191f1e37051629c312e7e22cf579c2","datavalue":{"value":{"text":"Logical opens and real numbers in topoi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1086339$2B74591A-742F-4C32-A1D4-E50A6AF1218D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d16a7018f5910d4d3a56dd26b7e5600512c8abf3","datavalue":{"value":"0608.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$BD29ABFF-38CE-4E28-B592-CBBD58798807","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"398fdcc4a281213999bd23d68da4f1e570bb8fe1","datavalue":{"value":"10.1016/0022-4049(86)90091-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$F35BBDCF-36B9-44CD-85D5-E3C376A06829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4d4232c38865860290a7c0a5efe31615ce5656","datavalue":{"value":{"entity-type":"item","numeric-id":435207,"id":"Q435207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$9E9DA120-2B1D-4381-BFBC-610677B65720","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":"Q1086339$37BB6F5B-4548-4614-842A-47974D86EF49","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":"Q1086339$2C3BDC5D-912D-4E80-B545-A9C57B5E0B54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b53d83dcf837b36538633a2d77010ff8560c546","datavalue":{"value":"This paper studies open subobjects and their relationship with real numbers in the context of gross topoi whose objects themselves have some geometrical content, e.g. models of synthetic differential geometry.    Let \\({\\mathcal E}\\to^{p}{\\mathcal S}\\) be a Grothendieck topos, where \\({\\mathcal S}\\) is the topos of classical sets. Let \\({\\mathfrak C}\\) be a category with finite limits and \\({\\mathfrak L}\\) be a class of maps of \\({\\mathfrak C}\\) closed under isomorphisms and composition, and stable under pullback by an arbitrary map in \\({\\mathfrak C}\\). Furthermore, a family \\(X_{\\alpha}\\to X\\) of maps in \\({\\mathfrak L}\\) is an \\({\\mathfrak L}\\)-cover iff its family of global sections is a surjective family of sets. Assume that \\({\\mathcal E}\\) is defined by the site \\({\\mathfrak C}\\) furnished with the \\({\\mathfrak L}\\)-cover topology. One can always define the notion of a Penon open subobject of X (U\\(\\hookrightarrow X\\) is Penon open iff given \\(p\\in U\\), \\(\\neg (q=p)\\vee (q\\in U)\\) holds for all \\(q\\in X)\\), however in this context the author also defines the notion of an \\({\\mathfrak L}\\)-open subobject. Every Penon open subobject of X is \\({\\mathfrak L}\\)-open and the converse holds if X is \\({\\mathfrak L}\\)-Hausdorff (\\(\\neg \\Delta \\hookrightarrow X\\times X\\) is \\({\\mathfrak L}\\)-open). The Penon opens and \\({\\mathfrak L}\\)-opens of X both form locales and using them one can define topologies, denoted Base(X) and Logical(X) respectively, on the set of points \\(p_*(X).\\)    After some detailed study of these notions, the main result is proved: it states that if \\({\\mathbb{R}}_ E\\) is the sheaf of Dedekind reals in \\({\\mathcal E}\\) and if \\(X\\in {\\mathfrak C}\\), then \\({\\mathbb{R}}_ E(X)=Cont(Base(X), {\\mathbb{R}})\\), that is, it is the sheaf of continuous real valued functions on Base(X). In particular, for well adapted models of SDG, one can show that \\(Base({\\mathbb{R}}_ E)\\) is \\({\\mathbb{R}}\\) with the usual topology. These connections with real numbers are made possible by the extensive investigation of the relationship between Penon opens and real numbers objects, which takes up the first half of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$7681F119-3CDD-4C59-90B0-79824516C1E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$FB83481A-86F0-4AD8-BB4F-0D3B5D4E4263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48db147c5e34d12323b540c46f6a307710a26b22","datavalue":{"value":"18F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$F970FE7B-DB3C-47FA-AB12-60685E91203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$B7972E45-7F79-4EC4-A1A2-CA695FDFCF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$C71063DB-175F-4DE4-B898-FE7120ED9422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$83627225-33ED-4F48-B5C1-568CEAACA36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$1A55EA0F-751B-4763-8A10-A2FBC24124B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a48d82978be89d83c617080f2c0ddab59771dc46","datavalue":{"value":"3983449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$DD4E95A5-9EF0-4E8C-8DC4-0993D66F3A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2ad04028dfb4574b00be4c6e1182abadcc0f7f4","datavalue":{"value":"gross topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$948997F2-687E-4E62-841B-9AD6FB0300F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b969da63472ffe4fde8d62b78c11bad15b52f59","datavalue":{"value":"synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$9A0228BB-C263-40EC-87AC-5717147DF171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$FD487CD2-D71E-4497-B6C2-2CCC35CD40D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$83C4278A-2FBC-4B69-BE61-D926209D878F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a872736124f83553f0e50cd767a0d19fdb51f0ec","datavalue":{"value":"sheaf of Dedekind reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$B4812F1D-DA78-41D9-9301-EA4CF00F43AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0be118ee8da352deac32b47b239ab1ff79d6589","datavalue":{"value":"Penon opens","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$F4935FAB-4766-4699-A7D7-68402ADC1D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d5757487aa544b401d250433c44755a8c647ed","datavalue":{"value":"real numbers objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086339$4A045081-B857-4254-A296-FE1B66D05433","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$0503E282-1AA7-4C42-84B1-5F289BAAF48E","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":"Q1086339$99C1B443-89DB-4217-A09B-B122A92F54D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da69eb838afc3501322e9b8a4ff0e857d82b5573","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90091-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1086339$A274ABB5-AE71-4AD8-8946-F9DEC8DAA425","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aa4cbd950bf5ccec74ccb8c34315b45c65f6d23","datavalue":{"value":"W2040442714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086339$7BA995AB-EA15-4943-9775-290CC2FF6E74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"221ee60b485ff892e1f29b5f4dcf7e6406583334","datavalue":{"value":{"entity-type":"item","numeric-id":3865172,"id":"Q3865172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$F300073B-6255-47F2-B47D-C78B47241E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e294e941dbd5496934fe8a0c121c695d02098d8","datavalue":{"value":{"entity-type":"item","numeric-id":4722244,"id":"Q4722244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$AE1D38F4-1A63-4115-9FD0-173C1112396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26bb8ee6b7909c4d8fc4004fd737791e1c9a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3322099,"id":"Q3322099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$7C1AB2A0-C32A-467F-8258-4EFD818E0E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$D0B437AA-9046-4CFA-B56A-5F43C9A9817B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24f9204fa7ae0c306a5aa2d063251a2d56e7137","datavalue":{"value":{"entity-type":"item","numeric-id":3918651,"id":"Q3918651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$3B4C0012-D0EC-49B7-9A40-0E096E5EA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8492ef68e24dcd1e67bd701ab2a71d34781564dd","datavalue":{"value":{"entity-type":"item","numeric-id":790924,"id":"Q790924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$13E8F0E8-7F43-4333-A4F6-139E9B350548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac595f2bf600693d409c11bfc5351c26fdd1d058","datavalue":{"value":{"entity-type":"item","numeric-id":3223016,"id":"Q3223016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086339$D7C929D1-8175-4BD3-9F91-C1C70043306F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4293aace8fe953d0c067cc31d43f0fb20a707a95","datavalue":{"value":{"entity-type":"item","numeric-id":3697206,"id":"Q3697206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d94a4a3ee0ec0516445b80d6469df8e6f61865","datavalue":{"value":{"amount":"+0.7887147665023804","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":"Q1086339$A242C236-0AD9-4985-85A4-C9397F60F9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296da55a10812de0263819f04df5296d06a5c946","datavalue":{"value":{"entity-type":"item","numeric-id":5939909,"id":"Q5939909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dd3d14679fc6e997be4da495094ae8dcba5ea7","datavalue":{"value":{"amount":"+0.7634028792381287","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":"Q1086339$D39B186E-0BB9-4FC1-829F-CF29BB216022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8317f62d228d41ca5f42eab2d06f818c6a985e","datavalue":{"value":{"entity-type":"item","numeric-id":4722244,"id":"Q4722244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a3319e0e10fd5b1804474fe899a46d952fd0af","datavalue":{"value":{"amount":"+0.7485916614532471","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":"Q1086339$0CC09807-808D-4D1B-90DF-0168E65EECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6e4131c08937bf73f3c5321dd88a036c4770ca","datavalue":{"value":{"entity-type":"item","numeric-id":3145753,"id":"Q3145753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40090cf13bf6783bf9863eb287b51964e3a7c79","datavalue":{"value":{"amount":"+0.7435320019721985","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":"Q1086339$07D930D6-5A6C-4029-9A5C-CAB4C315DB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ba84c962424db96a015f3d2f2c4d8a591625dc","datavalue":{"value":{"entity-type":"item","numeric-id":790924,"id":"Q790924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dc455f4d3bfc2a30972f165a83c24988ab7c0c","datavalue":{"value":{"amount":"+0.7361075282096863","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":"Q1086339$2F9DFD1A-EA26-4A22-AEAE-A9E991E033C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical opens and real numbers in topoi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_opens_and_real_numbers_in_topoi"}}}}}