{"entities":{"Q1112360":{"pageid":1123109,"ns":120,"title":"Item:Q1112360","lastrevid":69671220,"modified":"2026-04-13T08:36:31Z","type":"item","id":"Q1112360","labels":{"en":{"language":"en","value":"Generalization of Scott's formula for retractions from generalized Alexandroff's cube"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4078221"}},"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":"Q1112360$36397BBC-BCBB-4B0A-A549-FB1687542E0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"874d01614da3c1b275efefc21f87d44ad51c7cce","datavalue":{"value":{"text":"Generalization of Scott's formula for retractions from generalized Alexandroff's cube","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1112360$52B5C276-E7DE-4803-A2A0-2E7018FD0626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4060edcda02f30fe3edfeda6b33a0703b999c633","datavalue":{"value":"0659.54012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$5B35E6D9-EA1B-404F-ACF7-F5E4492ACADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c31d36ecae718d465788fdb662d49bc986e2ac3","datavalue":{"value":"10.1007/BF00375899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$6E0DBC9C-264E-4165-AE7B-120E468CC932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cba31f65f124c723927f5670f5347716bb965c86","datavalue":{"value":{"entity-type":"item","numeric-id":1088980,"id":"Q1088980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112360$2AFB94C1-D04F-4A2B-980B-0F7DF1627CB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112360$6000DA80-5636-4FAD-91DA-06CFCF1F2B4E","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":"Q1112360$EC8A45D3-D8FB-40D1-9073-DDD7B805D2B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"250e1321ce44aa5150af6e59c58a29f28f7009de","datavalue":{"value":"In the paper by \\textit{A. W. Jankowski}, Stud. Logica 45, 155-166 (1986; Zbl 0612.54017)] the following theorem (Th. 3.5) is shown: If \\(\\alpha =0\\) or \\(\\delta =\\infty\\) or \\(\\alpha\\geq \\delta\\), then a closure space X is an absolute extensor for the category of \\(<\\alpha,\\delta >\\)-closure spaces iff a contraction of X is the closure space of all \\(<\\alpha,\\delta >\\)- filters in an \\(<\\alpha,\\delta >\\)-semidistributive lattice.    In the case when \\(\\alpha =\\omega\\) and \\(\\delta =\\infty\\), this theorem becomes Scott's theorem [\\textit{D. Scott}, Toposes, algebraic Geometry and Logic, Dalhousie Univ. Halifax 1971, Lecture Notes Math. 274, 97-136 (1972; Zbl 0239.54006)]. A topological space X is an absolute extensor for the category of all topological spaces iff a contraction of X is a topological space of ``Scott's open sets'' in a continuous lattice.    On the other hand, when \\(\\alpha =0\\) and \\(\\delta =\\omega\\), this theorem becomes Jankowski's theorem: A closure space X is an absolute extensor for the category of all closure spaces satisfying the compactness theorem iff a contraction of X is a closure space of all filters in a complete Heyting lattice. But for separate cases of \\(\\alpha\\) and \\(\\delta\\), the theorem of Jankowski (loc.cit.) is proved using essentially different methods.    We show that this theorem can be proved using, for retraction, one uniform formula. Namely it is proved that if \\(\\alpha =0\\) or \\(\\delta =\\infty\\) or \\(\\alpha\\geq \\delta\\) and \\(F_{\\alpha,\\delta}(L)\\subseteq B^{{\\mathfrak n}}_{\\alpha,\\delta}\\) and if L is an \\(<\\alpha,\\delta >\\)- semidistributive lattice, then the function  \\[  r: B^ n_{\\alpha,\\delta}\\to F_{\\alpha,\\delta}(L)  \\]  such that for \\(x\\in {\\mathcal P}({\\mathfrak n}):\\)  \\[  (*)\\quad r(x)=\\inf_ L\\{l\\in L| \\quad (\\forall A\\subseteq L)x\\in C(A)\\Rightarrow l\\in C(A)\\}  \\]  defines retraction, where C is a proper closure operator for \\(B^{{\\mathfrak n}}_{\\alpha,\\delta}\\). It is also proved that the formula (*) defines retraction for all \\(<\\alpha,\\delta >\\), whenever L is an \\(<\\alpha,\\delta >\\)-pseudodistributive lattice. Moreover it is proved that when \\(\\alpha =\\omega\\) and \\(\\delta =\\infty\\), the formula (*) defines identical retraction to the formula given by D. Scott, and when \\(\\alpha =0\\) and \\(\\delta =\\omega\\), the formula (*) defines identical retraction to the formula given by Jankowski.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$CDBA5AF2-5871-46D7-852A-FBE54125CE40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4292b47ccf5e952aee397fb34764310890c70fb","datavalue":{"value":"54C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$B4943C0E-9D54-4FB6-B4AB-38BF5A17F34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$763888C8-3CBD-4C9A-94FF-5F86314DCEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$EFD6B03A-3229-40A0-9379-BD0468254A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$96B08C89-0AEC-4C0B-A459-10BE2EEF923D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f26de4ab8d04b62fc10f02ef37678ae4d9a442fc","datavalue":{"value":"4078221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112360$211A0450-AAB5-4EDA-BC25-A4918729993A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b41aac1310de69b34ae465a4b84c610ad0ebe9","datavalue":{"value":"closure space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$409A3A66-1202-4F47-A938-2FF68010077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db9d488ea6d0894eaa7e9169e2916c4c7e67eef","datavalue":{"value":"continuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$0F753568-17C8-422E-B30B-39B13CACC673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa818851728fbffb697184d76b9ce5e8250a08c","datavalue":{"value":"absolute extensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$79904DFF-C72C-404D-8507-57579C1EAC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d33ce54e6634741dc2f320e6b8e3c5793a034f8","datavalue":{"value":"complete Heyting lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$E9C9AF9B-D5C6-4D32-A6FA-A1697C071115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77941949d057fe16302e5dfee02d05c661e06a7a","datavalue":{"value":"semidistributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$85B42F6E-07DE-46D6-A682-B66135BFAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7aa824211e00b65523aea71589f875aa930f7e2","datavalue":{"value":"retraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$277E5D79-3449-4603-A176-DC681E2FE79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112360$D067C5FE-BC11-4E43-9419-DA787E7CDED9","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":"Q1112360$E1CF22DD-9BA1-4E3A-BF3F-4E97F477E563","rank":"normal"}],"P223":[{"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":"Q1112360$EEDC5003-7BCC-469D-9BA8-AB3A4FBEB444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade30d972e4392b836b7e8e1dadf9b291e4b4583","datavalue":{"value":{"entity-type":"item","numeric-id":1088182,"id":"Q1088182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112360$316EA9FD-2E84-4A33-9A52-ACC64E93B73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9884aba0cd7f87f8ed9ef87ecab38ba2ba96ab","datavalue":{"value":{"entity-type":"item","numeric-id":1090957,"id":"Q1090957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112360$FA89553F-7CD0-4F05-A66E-E8F044C844FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8f4c1e615c082ae73ac62b3a9f7cb061071d8","datavalue":{"value":{"entity-type":"item","numeric-id":1100463,"id":"Q1100463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112360$7B868BC2-E401-4849-BF85-E30AFA57A921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112360$E77D97B4-BE3A-4C1D-B904-67590AA7F3C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6d7716eae921808fecf337bddad508e3edd7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1567542,"id":"Q1567542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478c3f35ff47082d22e51cd2d69e38bffc017c45","datavalue":{"value":{"amount":"+0.82978195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$9879F9A3-A94F-413D-ABC4-9851BF574E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b1015d03801b692a61a1d3a683bb791d68f12b","datavalue":{"value":{"entity-type":"item","numeric-id":5889291,"id":"Q5889291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428a88a3d271fc4a81e90dbf0f7b681f08a2282d","datavalue":{"value":{"amount":"+0.82400155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$D5EC52D4-47C0-4EC5-828E-567C4D4660DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea39087cd80c99e22ead39da2eb108dbf75d4842","datavalue":{"value":{"entity-type":"item","numeric-id":3344238,"id":"Q3344238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2c97017cedb88cf69dd901f1991580e9c9a36a","datavalue":{"value":{"amount":"+0.82108706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$6B3E5A35-CC7B-4ED6-851D-731E1AA52946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450d272b058e22962d9767d38ffd4fb938278b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1917101,"id":"Q1917101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2943d7434115bf64bc8c0cb23cd87e6f0215f0","datavalue":{"value":{"amount":"+0.81549984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$288A72B1-6160-46D1-A0BA-3250954D7498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9a63a8d985afdd030405b674ba4790ce5b50f7","datavalue":{"value":{"entity-type":"item","numeric-id":2409804,"id":"Q2409804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d6ceaf80e161dd37054aa232e63b4288420a98","datavalue":{"value":{"amount":"+0.8122896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$CF5769CE-36A9-49EC-BE8F-1B7B66F14A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b43eab6d0b1470127a3468ae46e621be6213ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5413733,"id":"Q5413733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4975470b231fcb0d6e050b23066f3dad89d3c4","datavalue":{"value":{"amount":"+0.8119402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$436300FA-3597-4A05-9A1F-7F6A47DDE7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f443212f28c53fbd0cd26ab6205043fa8f1c5f6","datavalue":{"value":{"entity-type":"item","numeric-id":624808,"id":"Q624808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4518f5fd65894a39c2eb753cb5a99056c1d7260","datavalue":{"value":{"amount":"+0.8114592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$51A281C0-4242-4445-BDC1-1077BB4D0A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ec70b16badf87193fc7ac9853da7db53bd1b90","datavalue":{"value":{"entity-type":"item","numeric-id":1842059,"id":"Q1842059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c374981a9cf0aa3a9132c9dc1a390da6a0cae64a","datavalue":{"value":{"amount":"+0.8105026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$2F3887F9-445B-4773-8365-348F58EE326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb576c6a1761f118d897257de36631face3712f","datavalue":{"value":{"entity-type":"item","numeric-id":2581045,"id":"Q2581045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb95adb08bed5ca54867f84f3ffc85fd7e81a179","datavalue":{"value":{"amount":"+0.8104589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$4C5C1D00-05D0-47E4-834A-3AA77A7282C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3fb23b23ed6667e3dbe2a92403697f2571574ce","datavalue":{"value":{"entity-type":"item","numeric-id":4628767,"id":"Q4628767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d186f31017bf1cc7bf5c4d2825efa76a15fa2758","datavalue":{"value":{"amount":"+0.80677307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1112360$43F901E1-446F-4F04-AE1A-1089DC85F032","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalization of Scott's formula for retractions from generalized Alexandroff's cube","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalization_of_Scott%27s_formula_for_retractions_from_generalized_Alexandroff%27s_cube"}}}}}