{"entities":{"Q1078653":{"pageid":1089405,"ns":120,"title":"Item:Q1078653","lastrevid":69590859,"modified":"2026-04-13T08:03:17Z","type":"item","id":"Q1078653","labels":{"en":{"language":"en","value":"Quasitopoi, logic and Heyting-valued models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961916"}},"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":"Q1078653$AA6E68EE-C13A-48C0-AA56-06DF6EA37389","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2de16067da5b3e7eee46784c4c1b5f62ccda83fc","datavalue":{"value":{"text":"Quasitopoi, logic and Heyting-valued models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078653$3FED12E4-928B-4C69-AE95-01A5CB9A07FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6413fe216579494e74001ff0c6b125582dbefb73","datavalue":{"value":"0597.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$05AB7437-7C4B-45CA-A9E6-FE89C939A1AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44faf49bcb3c2fc8793ed7e83b8154397ff279da","datavalue":{"value":"10.1016/0022-4049(86)90077-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$CE0FB40E-9CB9-4033-AD8C-2CCB9854805D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06b00cbe6141e74e286326ea4a19e97a7db56491","datavalue":{"value":{"entity-type":"item","numeric-id":580338,"id":"Q580338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$8E177954-5065-4796-A27A-F884370934C7","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":"Q1078653$F9DC0FCA-7CC9-4321-97FD-0FD8ABF1FF87","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":"Q1078653$6095E325-004C-4319-B110-534C4DBA07AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"356b8ba28be93b9c0516e03e88c7d5659528d71a","datavalue":{"value":"This paper deals with various facets of quasitopoi, which are relevant to the interpretation and modelling of first-order logic in quasitopoi. The first section deals with topologies. A topology \\(\\sigma\\) on a quasitopos Q is strong iff the \\(\\sigma\\)-closure of every mono is a strong mono. If \\(\\sigma\\) is strong, the \\(\\sigma\\)-sheaves, \\(sh_{\\sigma}(Q)\\), form a topos. The strong topology which assigns to every mono the strong monic part of its epic/strong monic factorization has as its sheaves what the author calls the coarse objects of the quasitopos Q.    A quasitopos is called solid iff it has disjoint coproducts. Solid quasitopoi behave well with respect to several topos theoretic constructions. In particular, if Q is solid and \\(X\\in Q\\), then Q/X is again solid and if \\({\\mathcal C}\\) is an internal category in Q, then \\(Q^{{\\mathcal C}}\\) is a solid quasitopos. Next, the author describes the interpretation of first order logic in quasitopoi. It is analogous to the case of topoi, except that predicates must be interpreted as strong monos rather than arbitrary monos. Finally, if H is a complete Heyting algebra, a solid quasitopos of models, Mod(H), is described. The topos of coarse objects of Mod(H) turns out to be precisely sh(H).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$701975D6-66DE-4220-AA7F-92FB853F1D7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$B4B5DEBF-717E-4838-97D4-FCFE85F385EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$5A46D186-7E5E-4EC1-8107-E757551B4FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$4A8CE88E-9C7F-49EB-A389-7C22487443D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$5ABB37E6-6C1A-435A-834E-5DADCDDA8B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$0791D717-5D1B-4A41-A868-594365549A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"498d4ecde1b8d2cc3e5c922045bd082b554473fd","datavalue":{"value":"3961916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$7F3044DA-B95F-46EE-8C51-8D7579F182B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ef7c0d38f9f285708978c15cb1964ff991ffd0","datavalue":{"value":"(E,M)-factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$DFFAABC7-C98E-48DD-B8E5-4787337F1F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8afb6c30db0b9cb7c4b48119ae3087613cbe688","datavalue":{"value":"quasitopoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$81AAF87A-1E64-460B-86C6-6155B59FF413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$153A3617-C00A-4A42-A513-4C8BDCB31835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4629fd32b0e778419767b15bde3bc9e644bd4a","datavalue":{"value":"\\(\\sigma \\) -sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$636AC051-6263-4452-B7A0-33ADE5EBBE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$03260BD0-301E-4B4E-97F8-BF75E5E984E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b20ed7bd8cdc1dd91a25f15249043861ea5b145","datavalue":{"value":"strong topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$29ED5E65-9C85-4500-8EE3-4FDE4844C3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a18e5a2fc5c1746a6e5be6e46209e8581ca1ac","datavalue":{"value":"solid quasitopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$F1405556-1B4B-4269-BEB2-D1B07465CF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$8C088E89-B740-4AC2-B8C3-CBE07ED3BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58e3bf31b32343733e847ab0870c02d0d68a620d","datavalue":{"value":"coarse objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078653$1EA4C4E0-E71C-4255-817B-E7C58F464F21","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":"Q1078653$8FB48EBC-31E4-4D37-BB09-55DCC9ABE069","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":"Q1078653$D765A446-87D7-45E1-8EDE-BB008733858C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b40e37d8799b62c8ef1f4c4a75dc012fea75de3","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90077-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1078653$4D7F6788-450C-4CA9-AF74-AEA99C7EF526","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37f8f8448a01c5ebdd2e864353661be30b90c211","datavalue":{"value":"W2071604874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078653$97C998BE-7249-4304-A2A4-18101AD3BE15","rank":"normal"}],"P223":[{"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":"Q1078653$B2A632B0-566F-4DF3-9DFF-A4383B20B7D7","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":"Q1078653$826A039E-8BCF-40FF-89FA-A4EBDD146234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f060e7b86d3c3cd04ae2952a4ef249b9adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4186519,"id":"Q4186519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$4FD879C3-AE4C-4D6C-9535-96C73EF2BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d2b2d95d769791bbc610dea17d24c459e7ce0","datavalue":{"value":{"entity-type":"item","numeric-id":5556476,"id":"Q5556476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$DEF5114A-49A3-4836-A3C1-AFC6C98FC733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$75929956-701F-494A-9CFB-4182D6BBD452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb0516265de0748b89055628f9573420bd87552","datavalue":{"value":{"entity-type":"item","numeric-id":580339,"id":"Q580339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$5573635C-5710-4EF9-8C21-D308B8749616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2977e461bc6f2372dae6090911219f9feef6f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":4185008,"id":"Q4185008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$05FD6DE4-4127-4A52-A9DE-F2033D1EC56F","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":"Q1078653$8FE5E877-7C99-4DE4-B4BD-7A5F854240F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8561903e612ef2d9e3fe71930ea7f8d18c6aa7be","datavalue":{"value":{"entity-type":"item","numeric-id":4125452,"id":"Q4125452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078653$549E1E24-76E5-422D-8BE4-AEB1D82B8993","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a53ea7ef327c74383b11b31595ac887d654741","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef77702b907e775581b11afef71bf54b5c39df75","datavalue":{"value":{"amount":"+0.7423721551895142","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":"Q1078653$C7BDDA6C-B02F-4B82-89CD-279964FE5317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064b5072be2d04714bcc09a7c2758b8582c729c7","datavalue":{"value":{"entity-type":"item","numeric-id":4276025,"id":"Q4276025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ddb1ae0908938023a56bad2191e97efe56abd3","datavalue":{"value":{"amount":"+0.7298932671546936","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":"Q1078653$43676902-18D5-4D6D-82AF-A0A251FD0D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9bd968051a7b3289bf29342e69b8bf5a36d04c","datavalue":{"value":{"entity-type":"item","numeric-id":3973025,"id":"Q3973025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aaa91cbdb03ebe6261d9417b9c9d64d93184937","datavalue":{"value":{"amount":"+0.728272020816803","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":"Q1078653$BE886C9B-E4E3-4B2B-9DAE-0377836E683B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9f08a41c9b5a429b3414e9975cddb88dea2f1","datavalue":{"value":{"entity-type":"item","numeric-id":3998741,"id":"Q3998741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab890c6d2ca6f8e25d836825ec1e4e26ef93a53","datavalue":{"value":{"amount":"+0.7236053347587585","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":"Q1078653$BE59D1D7-4EF0-4179-8A8F-65726939D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ac5bf0e55fe4db04042ac2e8a1bc40c7acf290","datavalue":{"value":{"entity-type":"item","numeric-id":4280803,"id":"Q4280803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8c90b911cc459906cea9552cd473c6ed49cae7","datavalue":{"value":{"amount":"+0.7156206965446472","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":"Q1078653$BF70AB4B-76D4-4D17-BBD2-A80079D217FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasitopoi, logic and Heyting-valued models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasitopoi,_logic_and_Heyting-valued_models"}}}}}