{"entities":{"Q800390":{"pageid":802238,"ns":120,"title":"Item:Q800390","lastrevid":64552593,"modified":"2026-04-11T20:39:49Z","type":"item","id":"Q800390","labels":{"en":{"language":"en","value":"Stability of the Souslin operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875347"}},"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":"Q800390$3C968554-FF3A-446C-83C6-AFC9CEAC4C92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcc9359d7fdfa2e02a32c1f1e813787b007fd696","datavalue":{"value":{"text":"Stability of the Souslin operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800390$B823E6E9-6187-422D-8880-D9D81DAECA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b04f794f06a37d9aecf5cbb908f44dfc695a82e7","datavalue":{"value":"0549.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$E45BD74F-57E2-4B69-B43A-1E4EA792BDB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bcb3e19f9c54388407d942092e04034762dcd47","datavalue":{"value":"10.1007/BF01190434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$6D21376E-BFC0-4D41-8437-9E90E91413D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$CA6846EB-B981-4BEE-8CEA-084F0688D11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800390$CF377C55-AB89-4515-9192-51300554D7CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b772e4924c2c65fb16fa8c6a8984bd34be39033","datavalue":{"value":"If I, J, K are sets, \\(\\tau\\) :\\(I\\times J\\to K\\) is a function and L is a complete lattice, then \\(S:L^ K\\to L\\), defined by \\(S(A)=\\vee_{j\\in J}\\wedge_{i\\in I}A(\\tau (i,j)), A\\in L^ K\\), is the \\(\\tau\\) -Souslin operation. For \\(E\\subset L\\), \\({\\mathcal S}(E)\\) is defined by \\({\\mathcal S}(E)=\\{x\\in L| \\exists A[A:K\\to E,\\quad x=S(A)]\\}.\\) The following theorem is proved. For \\(\\tau\\) a Souslin substitution and L a complete, completely distributive lattice, \\({\\mathcal S}:{\\mathcal P}(L)\\to {\\mathcal P}(L)\\) is a closure operator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800390$58B70A11-0839-4622-8D48-6B5D7FF845AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$A759EEA3-BD18-4D4E-9532-A6C18A0DA92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$48948C8D-4195-4D81-A628-1C5D9E516569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$F4A6D34F-8D1B-480F-81CF-7CB4A86E4D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea577c7283ef30d7edc2dc5b7e25eb7729a469aa","datavalue":{"value":"3875347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$AC422C06-40A2-4379-A477-1B4E3D277941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9087b8d441b4f89bbe3555423d61113bea61f6c7","datavalue":{"value":"Souslin substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q800390$6B455652-00B6-4B38-B515-FE8214A776C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc975018bd9860a0f02ad3ddca26041d21fc37","datavalue":{"value":"completely distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q800390$4E64D240-EE4D-4D63-BEF8-F059FDF2C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q800390$511654CF-26CF-4C05-AB2F-75A7000D92CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768eb84f904cea244496fad91b6f670d4cc635cc","datavalue":{"value":{"entity-type":"item","numeric-id":633804,"id":"Q633804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$C5B24733-37C4-4865-8122-34982DF6CC17","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf53eae261c6c9a26d23df4f54eaf5c15ea2fe76","datavalue":{"value":{"entity-type":"item","numeric-id":1819406,"id":"Q1819406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$AEBCB3BE-FA3C-4490-A5B9-7EC9D79B17B5","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":"Q800390$DE182B88-78AC-4D5B-A3B4-70D8F19AD0E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5476399a5404b8658c6d4b36e29f49378f950ad8","datavalue":{"value":{"entity-type":"item","numeric-id":1148296,"id":"Q1148296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$5ED55BAC-46CE-4699-ACF3-566DA7178A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3887be93f977be715825d73cfb4edbb4e3a0770","datavalue":{"value":{"entity-type":"item","numeric-id":5331757,"id":"Q5331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$79DC4FF7-9078-415E-B52C-0F1F57069048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$C3F89C2B-5BB6-46C1-8E0A-F482728B27A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$3E8D87DA-3FDC-4B55-BC17-9BC8210D00D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6523521db39f111c7ccfb7d14a87019dd5be09b8","datavalue":{"value":{"entity-type":"item","numeric-id":3969526,"id":"Q3969526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800390$534013EF-3AB4-4E0A-AC83-B3CFE5435332","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6540d0b7945313ca3f999eca68c282594b139cb","datavalue":{"value":"https://doi.org/10.1007/bf01190434","type":"string"},"datatype":"url"},"type":"statement","id":"Q800390$8D07729D-F4DF-4B42-AB72-43142C77EBBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"855ac859a1b38d5a6c97fefc7a6d7377c0174f77","datavalue":{"value":"W2088255564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800390$14568FBA-AFF4-4E3B-8E60-07BF960BEAF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18872247ac449e59c9e552205dddbe565252672","datavalue":{"value":{"entity-type":"item","numeric-id":4729788,"id":"Q4729788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507f46d1cd668fc4aeb1973de0c81958ce470f41","datavalue":{"value":{"amount":"+0.7691519856452942","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":"Q800390$8BD2A615-FC7A-4CA8-9811-A9223E6CE81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4751cf5cf20ca4e1c8bf4c7c5094f8bd9261dce2","datavalue":{"value":{"entity-type":"item","numeric-id":1597735,"id":"Q1597735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067154dabd5352906b08a10b2f0672307a2ff826","datavalue":{"value":{"amount":"+0.7276289463043213","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":"Q800390$84378907-1512-47A1-81FB-43D3847E7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19447ae86d5a6866624c0ac877ad1350a241016","datavalue":{"value":{"entity-type":"item","numeric-id":4267171,"id":"Q4267171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3c39059256dcf22d1ac17a9afe62185535fb36","datavalue":{"value":{"amount":"+0.7134866118431091","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":"Q800390$652C9E87-B256-464D-B2EF-162018AC0557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e11406a715023a9a3aa95e1784043cbe946543e","datavalue":{"value":{"entity-type":"item","numeric-id":1825970,"id":"Q1825970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbddf2b94b3a97d502d1a4a37b7bb71a3b59f2b","datavalue":{"value":{"amount":"+0.7127869129180908","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":"Q800390$B22496CF-716B-42EA-BBA2-A69B55475164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12bd8d6afdfd2d3c00c1dfd9e397aa0a0f6ed22","datavalue":{"value":{"entity-type":"item","numeric-id":3698800,"id":"Q3698800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ce9d72732795a7f1dccfca29725d4581b895a5","datavalue":{"value":{"amount":"+0.7112593650817871","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":"Q800390$9A48F8AC-CF45-431D-A80C-37A244BDCBB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stability of the Souslin operation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stability_of_the_Souslin_operation"}}}}}