{"entities":{"Q795828":{"pageid":797676,"ns":120,"title":"Item:Q795828","lastrevid":64398957,"modified":"2026-04-11T19:36:28Z","type":"item","id":"Q795828","labels":{"en":{"language":"en","value":"Comparison of the topological and relational semantics of superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3863181"}},"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":"Q795828$B257C90A-BEEB-4838-95C5-3DD867378AA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1329a2f202c7555f3af7ddc498170e74c0d8ffe8","datavalue":{"value":{"text":"Comparison of the topological and relational semantics of superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795828$0DC884F3-4C03-4EE0-B125-D08BD46CBE25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dcd70fbc27ae37a76f1956814f2f9cae0c3be6f","datavalue":{"value":"0543.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795828$AB35AB70-A1F3-466E-AD84-B269B5EF1173","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8f02175cebde36b013c3537c147007f09b9237b","datavalue":{"value":"10.1007/BF01978980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795828$76F8FA57-41C7-4056-9959-1DEE8B3D4D59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$0226BC92-5596-4F37-A4F8-9CE97B57FA98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$15DE5D02-07D9-48E1-A848-08EA1FB8BAD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q795828$985912E3-2E54-4DBB-9743-9B154CE37C5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc897461628db62e918bcdba55e4c8dcd83988ed","datavalue":{"value":"https://eudml.org/doc/187222","type":"string"},"datatype":"url"},"type":"statement","id":"Q795828$44DC23A5-73FD-4621-B5EF-614F391FDC55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50e0302a42050272848c34b740be8f8814250f94","datavalue":{"value":"Let some condition \\(\\Omega\\) single out the class \\(T\\Omega\\) from all (topological) spaces, and posets satisfying this condition form a subclass T'\\(\\Omega\\) \\(\\subseteq T\\Omega\\). Topological and relational semantics are \\(\\Omega\\)-equivalent provided, for any (superintuitionistic) logic L, L is determined by spaces from \\(T\\Omega\\) iff this is done by posets from T'\\(\\Omega\\). Condition \\(\\Omega\\) is stronger than condition \\(\\Omega\\) ' \\((\\Omega \\to \\Omega ')\\) if every logic is determined by spaces from the class \\(T\\Omega\\) ' every time it is determined by spaces from the class \\(T\\Omega\\). Different \\(\\Omega\\) conditions are considered based on the concept of space width. Space width is the supremum of cardinalities of independent families of open sets in this space (the family \\(\\{X_ i\\}_{i\\in {\\mathcal I}})\\) is independent if \\((\\forall i\\in {\\mathcal I})(\\cap(X_ j| j\\neq i)\\not\\subseteq X_ i)).\\) Let the conditions \\(\\Omega_ n (n<\\omega)\\), \\(\\Omega_{fws}\\), \\(\\Omega_{ts}\\) and \\(\\Omega_{\\omega}\\) single out spaces of width \\(\\leq n\\), finite width spaces, spaces lacking any infinite independent family (tight spaces) and spaces of width \\(\\leq \\omega\\), respectively. It is proved that \\(\\Omega_ 1\\to \\Omega_ 2\\to...\\to \\Omega_{fws}\\to \\Omega_{ts}\\to \\Omega_{\\omega}\\) and converses of the arrows are impossible; topological and relational semantics are \\(\\Omega_ n\\), \\(\\Omega_{fws}\\), \\(\\Omega_{ts}\\)-equivalent. The question of the \\(\\Omega_{\\omega}\\)- equivalence of these semantics remains open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$2B3C6B7B-DBDC-4232-AFC7-C53CC42CFC1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795828$1E2BC192-615C-49B5-9D93-E2BE229BB403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795828$3E2F8B5F-448D-4CE2-90EB-FB8B1C5C4193","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc18a007bef73365c6b99cab40b28ad45dc2f8d6","datavalue":{"value":"3863181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795828$6FD8EB13-5867-48CC-B4C3-238B731D8141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b67295494d38cfdf88aa8ad0d64ea068d200867","datavalue":{"value":"topological model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$FB454821-E4C5-42FD-B796-5A0247AD8094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$C66AFB5E-0C9B-40D5-B6CC-716D43D3E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266de444ad78d8e616aef847fb5e6cca08340e30","datavalue":{"value":"topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$D01A15E7-95BE-4C5B-89EF-63B57FCAA7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$77FEE55C-FA50-4602-A2DF-F028603442F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$312C33DD-166E-4A1A-9E7E-93FF3344A574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7eefc9548f46d08ebaa36ecdd9b049cb484c1e","datavalue":{"value":"space width","type":"string"},"datatype":"string"},"type":"statement","id":"Q795828$7C0F080D-9F0D-4E7D-8C4C-0B777186A3C1","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":"Q795828$552E33D7-6422-4E50-B9DF-84C36A96B32D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ed40d98bce123a59b64905ffbecc792b94e496","datavalue":{"value":{"entity-type":"item","numeric-id":5653990,"id":"Q5653990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$7E94339A-8124-4A8A-8C08-1CAD982FA20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0f6828755de23b1d59f5939fede91f688b096f","datavalue":{"value":{"entity-type":"item","numeric-id":5686040,"id":"Q5686040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$932B3EDE-BCD0-45CA-9975-F5862072550E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98b485f1ba210146a1fb412e396b39495f2f40","datavalue":{"value":{"entity-type":"item","numeric-id":4128534,"id":"Q4128534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$90CE48CF-FCA3-4381-BF93-9535CFFCC2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a32a855d9fd5a42968ab7a854015fe90ecc3e93","datavalue":{"value":{"entity-type":"item","numeric-id":3215273,"id":"Q3215273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$02F8E2E3-3A70-4424-868B-7FAF012DC103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a8ad4a778e95e38bcff5602b2a526c01ce00cf","datavalue":{"value":{"entity-type":"item","numeric-id":4168611,"id":"Q4168611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$F4B679A8-4A3F-4868-BDB8-6C29B648E625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63886085ceb41f0201583e8895135f7b6d31fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3902989,"id":"Q3902989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$9D0D79E3-2447-4B19-82B8-E00593038044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795828$FCB1DDBF-5B7D-41A7-B46D-E6A4A1616ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f275a4e83e25c5f80c46bcf67553fca38fec25ad","datavalue":{"value":"W2088865693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795828$D8403D22-C961-4BF0-9012-DF64CFBE49E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699335077f20fea75ec719d00bb56193c51e88da","datavalue":{"value":{"entity-type":"item","numeric-id":5365498,"id":"Q5365498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80512d9c064f0a9648cfe4badb1831a7cb8431b","datavalue":{"value":{"amount":"+0.7392517924308777","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":"Q795828$673E12ED-77A6-47D5-9FDC-4CFA8533F704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d362901b4a5e7f2d21aca6ff20802f58e34067a8","datavalue":{"value":{"entity-type":"item","numeric-id":1059064,"id":"Q1059064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4976158e312df0e3a1e293a8bd10867b322c3a89","datavalue":{"value":{"amount":"+0.7365655303001404","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":"Q795828$BB98D8EE-8E13-487B-BD04-6F9186C3E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f51006f64124449e649ce40acb20e911a58036","datavalue":{"value":{"entity-type":"item","numeric-id":3329444,"id":"Q3329444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470460ae71621529cec2574e4b8100dac50c1ff1","datavalue":{"value":{"amount":"+0.7252107858657837","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":"Q795828$09CAD182-02B9-466B-975D-C95C699189B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78a0fda2c3883c9b3e074cbf2a4cc173484521f","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7c8e4db6695e5f0127f4f526b07e63ced7f36a","datavalue":{"value":{"amount":"+0.7246606945991516","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":"Q795828$43F6CFC0-285F-4C23-8D5A-2548364F5226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec98814eee2915e37094045b3f72b9a62bfd6510","datavalue":{"value":{"entity-type":"item","numeric-id":1876415,"id":"Q1876415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569dbddf2875b8108e18b97dc418ff99a790cc80","datavalue":{"value":{"amount":"+0.7121225595474243","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":"Q795828$072250C7-227B-41B6-A29F-794747E6EAD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparison of the topological and relational semantics of superintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparison_of_the_topological_and_relational_semantics_of_superintuitionistic_logics"}}}}}