{"entities":{"Q1182706":{"pageid":1193455,"ns":120,"title":"Item:Q1182706","lastrevid":70202709,"modified":"2026-04-13T13:08:28Z","type":"item","id":"Q1182706","labels":{"en":{"language":"en","value":"A topos-theoretic approach to reference and modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31813"}},"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":"Q1182706$F407AC5A-AE5E-47B3-872E-F2EE8CFABFCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd708158ff045a129ae43d1811f6ddc15301279a","datavalue":{"value":{"text":"A topos-theoretic approach to reference and modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182706$037CF49C-C4BC-4C7B-A26E-11590D434E11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"229941b0a2e4d40038712b45d1f023f364e76c63","datavalue":{"value":"0757.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$FA81B8B2-ECFF-4528-BA53-B116DDBC8515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b75c548f9342a1b5ea4c2668cdcb0a3c80c81df","datavalue":{"value":{"entity-type":"item","numeric-id":790923,"id":"Q790923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182706$7567E20A-1FB1-4181-99C4-BAC64BDCB235","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182706$5981060F-484C-490F-AF0B-DA5867BA1664","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182706$BA1510A9-A7B0-4563-8642-3E4D27A2EFBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cda39139591c5f9ba6be5b853e742654aa60e9b4","datavalue":{"value":"The paper develops a topos-theoretic semantics for a higher-order modal theory supposed to interprete a fragment of natural language. The author begins with some linguistic arguments explaining his approach, in which count nouns are interpreted as ``kinds'' which are modally constant. Formally, ``kinds'' correspond to sorts and ``predicates of kinds'' to terms (or formulas). The semantics is given by a geometric morphism \\({\\mathcal E}\\to\\mathbb{S}\\), where \\(\\mathcal E\\) is thought of as a universe of variable sets, and \\(\\mathbb{S}\\) as a universe of constant sets. The modal theory is described as a Gentzen-type axiomatic system; the soundness theorem is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$C621E4AA-D72E-4C4D-8085-79D7513E7835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$F76BDEB0-19F0-4790-BD4E-73B58F5F0B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$3B54E113-E605-406B-9C3B-A52C97C86212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$1FF4659D-DC92-4740-9860-837DEBE95FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$268EAAD7-A67F-423F-88C3-69BF9F8BB1A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d8c981dcc19a24a542b504156d488cda3ae6b9f","datavalue":{"value":"31813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$D45B5175-A18E-43F0-BC4E-70A8A3145127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6328123beeab8d8ec1f2129672a31d02a9313b5a","datavalue":{"value":"reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$9791A3E6-83CE-41DE-826B-8E54E98E9B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$57D401E4-29F9-4B89-8711-B413B75DFE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a813bfea06df41bba26a536063b606d44591fb","datavalue":{"value":"coincidence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$DC2F6517-4D07-4087-A02F-ABE10DC5D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a4a97780ce5b90ba92a34f4d3102bfe4a4f607","datavalue":{"value":"locally connected topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$1BCE2839-9CE4-4A00-BB75-BF9A6C88E08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$31FB49CD-0910-4AB5-983E-04C16374FF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c51d7245c22b59576faf75581f5c3555a8a277e","datavalue":{"value":"topos-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$4AE2B82F-FD5A-4AFD-AE4E-1F2E431A3FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ac5da0df46f1a62a93a179a8be4eb9fd151183","datavalue":{"value":"higher-order modal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$D043F672-9D6F-4214-9B55-750C88A06413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fc5788be6693443300a47f90c7bb957ca953d22","datavalue":{"value":"fragment of natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$577C45A5-1778-4226-A5CE-31E95694DE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb3935f3f3a1b5bede02c84b72c51080456f7d3","datavalue":{"value":"count nouns","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$B1A66858-BDCC-44AC-AA46-DA193D613619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd142dbc3133eeea627130126c05cb0e2d86484","datavalue":{"value":"geometric morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$CB9BE8F0-51E5-412F-82C6-52CDD1F1572E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f408bc1f08370357f86d9742d6f64bc65fd09a1","datavalue":{"value":"Gentzen- type axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$32F06081-B9BE-498B-9315-1AC82C0ABB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182706$B458DE0D-4FF6-49AE-8D70-C5DC2F96A812","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182706$54A73A23-D53A-47A5-B60A-9145B50E9D44","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":"Q1182706$FFF87653-3F17-4CCF-84AF-5C9EEA3C4CF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d23bbe90fe1947928b245f770143fded64f76d23","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635834","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182706$B5A080FF-868D-462F-9982-4311F473D0E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7ec342f681736053520363624af307a3343f08e","datavalue":{"value":"W2012883278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$BEAC2B6A-936B-43DF-A7BB-50CE6F6DFD0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbdb39259e8cb9c3d9196022012de59e435b87f2","datavalue":{"value":"10.1305/NDJFL/1093635834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182706$485EFBA0-C127-481E-AD7C-A502307E42D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5dd29b6b333a3dc47fd328884fc849c8ebfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3978987,"id":"Q3978987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcd85694e066f4254bab39ddd6a3f2bb18043c8","datavalue":{"value":{"amount":"+0.94394565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$FD1C0B6E-9E1B-4728-A35E-E24C3E0A031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db277a4caad49b1463e9dfb8a3714a7eebdad783","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05866b406958d059a6edd9bb6910d7c67e2cc1fe","datavalue":{"value":{"amount":"+0.8859272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$A647ABC5-7612-4541-8F4A-06601BBAA5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eff6b24cc33173be18fa1520c03347223dc319","datavalue":{"value":{"entity-type":"item","numeric-id":5310658,"id":"Q5310658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d92d3cba98f2be9058a6ef1d51386f3714b741","datavalue":{"value":{"amount":"+0.8841102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$D0B456DB-EA36-4A3E-BDF1-7252E8FE7E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc166c5d57e4647ac36b2df8412e12720e6d54dd","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5801d652e4c5c8e6332760e93b977eb903f4ac5","datavalue":{"value":{"amount":"+0.8774304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$C9C90871-A524-487B-846F-8C3B7CC5815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f41f6441d683d7bdeb5c6305a966b335c8b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4323831,"id":"Q4323831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0cf7c955cbab0025a8a5859b7d98385abe139e","datavalue":{"value":{"amount":"+0.87484866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$3BD7B9D4-D760-46CF-A965-16A6D9DDAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3feb8f6d08aee0d7562b18d1bd8dbc899c347b","datavalue":{"value":{"entity-type":"item","numeric-id":1023054,"id":"Q1023054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eff5499d38f432324ac89f647ce4555d77e63a4","datavalue":{"value":{"amount":"+0.8709413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$D2204C6D-1BC2-4F22-A25E-3E11FFF3A1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2547beb8dc8b91f553edd4df89dda270de964511","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01386d7acd8156228c6f6fb5c9a78a4f01cbcd0","datavalue":{"value":{"amount":"+0.86756533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$E0E9AF58-3DDB-4B23-8242-EF6FE88E972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d4921e13092cc8de4bfff7f4d1144346737b0","datavalue":{"value":{"entity-type":"item","numeric-id":4735194,"id":"Q4735194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b342340558ba2c813cd95a0e3f08b2b1809ed2c","datavalue":{"value":{"amount":"+0.86517787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$79A81C1B-1815-4304-82FB-0586B1B92142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d6189a3c03035a49dfe0a8992f762f1b6c9e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4428710,"id":"Q4428710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2559d77ae92075c0d24fe98dd40023a9da16118e","datavalue":{"value":{"amount":"+0.86201847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$2955BC07-59F5-45B4-A9EC-524DEF6FFE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb65ef8c25d8ed1ca597651eeb5ee353299692b","datavalue":{"value":{"entity-type":"item","numeric-id":4385437,"id":"Q4385437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53360b0486d931ef3db43ff55d533422da81880d","datavalue":{"value":{"amount":"+0.8613682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182706$33B28057-25D3-4FAD-AC77-FB5D56FFEEA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A topos-theoretic approach to reference and modality","badges":[]}}}}}