{"entities":{"Q1121978":{"pageid":1132727,"ns":120,"title":"Item:Q1121978","lastrevid":67076496,"modified":"2026-04-12T14:55:37Z","type":"item","id":"Q1121978","labels":{"en":{"language":"en","value":"A topos-theorist looks at dilators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4105187"}},"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":"Q1121978$BE5BE00A-0CDE-4472-81A8-A70BBAFD0046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07554e970cf531dc368c84489f1a26ef07204ccf","datavalue":{"value":{"text":"A topos-theorist looks at dilators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121978$D1D46E7A-29B2-4B5E-939F-66855B05A2DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f93e08eb269c3d41e4fec71bed130efc1c876b2","datavalue":{"value":"0675.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121978$64112D53-2346-40F2-AE1B-2C5E5E9ACD53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d429338b1c2d30f17077d5b9710b17c649d95a6b","datavalue":{"value":"10.1016/0022-4049(89)90039-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121978$3BE3AE9F-B9A5-4075-9888-15D23B9A158F","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":"Q1121978$10615747-BA41-4CDE-84E9-488D70AE830A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1121978$339C4674-8527-42EB-A970-DBAFABCE3E6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01b8f8e00284a320590a8c4ea8fa48972f1fd477","datavalue":{"value":"The concept of a dilator is central to the development of \\(\\Pi^ 1_ 2\\)-logic, which was investigated extensively by \\textit{J.-Y. Girard} [Ann. Math. Logic 21, 75-219 (1981; Zbl 0496.03037)]. In this clearly written and interesting article, the author indicates how dilators can be looked at topos theoretically. The reader with the necessary category theoretical background will find this description clear and helpful.    The stage is set by looking at the category \\(\\underline{\\text{Lord}}\\) of linearly ordered sets and strictly order preserving mappings, its full subcategory \\(\\underline{\\text{Word}}\\) of well-ordered sets and also the subcategory \\underbar{Ford} of finite orders. Following Girard, a dilator is a functor \\(\\underline{\\text{Word}}\\to\\) Word which preserves pullbacks and filtered colimits. The author proceeds to show that in fact dilators live in the atomic topos \\({\\mathcal E}=sh(\\underline{\\text{Ford}}^{op})\\), where \\(\\underline{\\text{Ford}}^{op}\\) is an atomic site with its canonical Grothendieck topology, where every non-empty sieve is a cover. \\({\\mathcal E}\\) is the classifying topos for the theory of dense linear orders without end points. Dilators become a full subcategory of \\(\\underline{\\text{Lord}}({\\mathcal E})\\), the category of linearly ordered objects in \\({\\mathcal E}\\). The article proceeds to analyze linearly ordered objects in an atomic topos and applies these ideas to the specific case of \\({\\mathcal E}\\), and some of Girard's results about dilators are derived in this topos theoretic framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121978$77C70DBC-EE0F-43A0-9564-3222B5CEAC9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121978$BB4FAE17-873F-4271-BE60-8E45F550A485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121978$A94D457E-3132-44F5-86E7-0DEE7F52476F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c07f841d897406adfebea1b611ebc363d13c26f","datavalue":{"value":"4105187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121978$EF78FE79-C03E-422F-906D-D2B3634E995C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d05b99878f3cd01c64f091728a6d10cfed0c0e","datavalue":{"value":"dilators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121978$99736934-2849-44FC-AFD4-1A2F996F1E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7426442d524f1e8f432056c3d35300baa886418","datavalue":{"value":"atomic topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121978$D5A3FF65-1789-48B2-94A1-43B183BBDE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40701e22ef239eade082b7ab44a7ad07033b102c","datavalue":{"value":"Grothendieck topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121978$8CA81EB1-F94D-46AF-9EB3-25F9BF1D39C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de9dad90232f6335d32aea56cbfabb884d8f7744","datavalue":{"value":"classifying topos for the theory of dense linear orders without end points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121978$3A7C0363-277A-455B-A915-79C6E571CD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201a212456a51578e1c1c1ee992336cd4060121c","datavalue":{"value":"linearly ordered objects in an atomic topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121978$D77FB70A-34DC-48BC-953D-77190195A9E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d9c949c56161faed1aade087470a53cfc22b03","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$6D6B9B66-7155-4921-A2DC-192E42FB6B8D","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":"Q1121978$D93979E3-C2BC-4F4A-935D-98A0A31AF04A","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":"Q1121978$FF243015-3E0D-4235-ADB1-A9FD30DADCAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9804d92f6149f21a700c6190a20112dc10a7abe4","datavalue":{"value":{"entity-type":"item","numeric-id":1137631,"id":"Q1137631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$46B4E1FE-01EF-4BA3-9923-D2A8CEB2B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbe31d48295757074b165aba57e6bd2e90ca6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1140706,"id":"Q1140706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$399D2FE1-6D37-40AE-82B1-83BB3B819ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$8FF3DC15-68B1-451B-AF13-EEC1C98FB218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3fa9cb377afdd8d2cb81e8d3a6108e36f2fd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1835669,"id":"Q1835669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$913DD08D-8983-465F-AD75-9ED145B79239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d424950406a3026716e07c1ecb9fb60eb96ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1138625,"id":"Q1138625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$FC8E37E8-5411-4D94-8020-FB0BACB1560F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$E48116C5-771F-4CF6-9BA5-9AD71B1636E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b42aeb19f4758caa39c79dee8a6e0cccc60fb0","datavalue":{"value":{"entity-type":"item","numeric-id":5670775,"id":"Q5670775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$172AF38A-23A4-4AF2-8FE6-40240E40F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39d43d8d3fc3cd5e981295737723b7a5bb0da07","datavalue":{"value":{"entity-type":"item","numeric-id":3853627,"id":"Q3853627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$6D271959-20BE-4B3A-8769-A4227AB11B26","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":"Q1121978$4CFC6E19-5F81-42E3-9417-8D2A6EF7D4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2db17efd16c8717bab9b4ea614147bc8e710a68","datavalue":{"value":{"entity-type":"item","numeric-id":3220729,"id":"Q3220729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$29324402-1EC1-41B9-9DD5-677EE9743532","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":"Q1121978$82F9F2A0-7E5D-41F7-8A03-D7C19D63969D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd27027d951ca4f6254a14e40cf4e042c137703f","datavalue":{"value":{"entity-type":"item","numeric-id":3947807,"id":"Q3947807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$EABFE9B1-9A52-4A1E-90A7-B2D1C145044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418052d6b35c28d36f179cc1653eff17614cd676","datavalue":{"value":{"entity-type":"item","numeric-id":3320376,"id":"Q3320376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121978$A8FCEF1D-7B56-4DA7-BAFC-A023DB95B769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"245260a684c8f5cc7de4806394160b97ba28701e","datavalue":{"value":"https://doi.org/10.1016/0022-4049(89)90039-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121978$BAB283A3-A867-45AF-AFCF-B1A9075DF2D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a513f6a277539e0193d8226f551eaa7b93e5e3cd","datavalue":{"value":"W1999447354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121978$5EF99AED-AD12-4956-B6D7-54B99E5925B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fb9a6821ee21320b63add44d1a160e1a2a2d83","datavalue":{"value":{"entity-type":"item","numeric-id":3684119,"id":"Q3684119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77211a17c46576eb2394157dc8826973ef549da","datavalue":{"value":{"amount":"+0.7452189326286316","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":"Q1121978$B51C182E-0625-4806-AFF3-92DFB1019FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec80bda53f54f3d9d2c45c5e7cf69873b9eb358","datavalue":{"value":{"entity-type":"item","numeric-id":2565874,"id":"Q2565874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d8bd25da9c193a85c8e3bdc6025063eb942c91","datavalue":{"value":{"amount":"+0.7105123400688171","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":"Q1121978$2C441C1B-2637-4A83-A473-B2591AFD543E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d90b3189154229a6e33a63e87c623676f20a584","datavalue":{"value":{"entity-type":"item","numeric-id":1101106,"id":"Q1101106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d691984009c16b2165bf127035e26594adee5cd","datavalue":{"value":{"amount":"+0.6932879686355591","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":"Q1121978$255E1FF8-E437-46EE-8160-5FF3CC3EB567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339116224aa06b739d74480f5779ffdc36d8d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2729624,"id":"Q2729624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a063b9f178d843bfd843f56eefbf4718925aa49","datavalue":{"value":{"amount":"+0.6916725039482117","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":"Q1121978$A47FD190-104E-40A7-BD98-4775189EAA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc6ddf7f3e9dfbef6f6b47eba8185a28c2fb881","datavalue":{"value":{"entity-type":"item","numeric-id":1322455,"id":"Q1322455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7401b8b536dd97c56249f60a89277e1cb1b022fa","datavalue":{"value":{"amount":"+0.6764631271362305","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":"Q1121978$473E836F-F95C-4546-89DC-FFDB9FAD7E19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A topos-theorist looks at dilators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_topos-theorist_looks_at_dilators"}}}}}