{"entities":{"Q2460681":{"pageid":2471424,"ns":120,"title":"Item:Q2460681","lastrevid":50210066,"modified":"2026-01-13T13:02:40Z","type":"item","id":"Q2460681","labels":{"en":{"language":"en","value":"Pointfree functional compactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5210472"}},"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":"Q2460681$25B8A292-442D-4C1B-895D-3F6CCD2ADC0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff63ee4639548fdb94f3d6bc2bdbc5045424a84","datavalue":{"value":{"text":"Pointfree functional compactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2460681$E1126C20-44FF-416D-A5EA-ADB9EA874570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67f5efa6c6c38df1f434ec9c867fc55d5fca3cc1","datavalue":{"value":"1164.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$BD3B9D40-AC91-49E4-AB2D-5CD67D7370BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$5DC460DF-9F1F-42A0-9A98-580625855062","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$35132021-4922-49C0-8C2C-F49407105BC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f768d9e4c6d410bd9a968438ed919bf32d32b20","datavalue":{"value":{"time":"+2007-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2460681$72F0E464-B170-42C9-8BBA-393CE214CF98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f0608bb017a1b08f6ddfdae7f0a2df175d601d8","datavalue":{"value":"Under compactification of a space \\(X\\) we understand an embedding of \\(X\\) onto a dense subset of a compact Hausdorff space. For any form of weak compactness one can also ask for the existence of an embedding onto a dense subset of the ambient space which has the considered form of weak compactness. Functional compactness is treated in the paper. The author has found two classes of spaces that admit embeddings onto a dense subset of a functionally compact space: If \\(X\\) is either discrete, or \\(\\theta\\)-seminormal and has finitely many free open ultrafilters, each one being regular, then \\(X\\) can be densely embedded in a functionally compact space. Proofs are via pointfree topology. First, functional compactness is translated into frame-theoretic language (pointfree functional compactness). Then an adequate frame techique is developed. One of the proved statements says that a frame \\(L\\) is functionally compact iff \\(L\\) is almost compact and \\(\\theta\\)-seminormal. Since the Kat\u011btov extension of any frame is almost compact, the class of frames is characterized that have \\(\\theta\\)-seminormal Kat\u011btov extension. All this together, translated into space topology, gives the quoted results. In addition, the concept of rigidity of subspaces of topological spaces is introduced in frame-theoretic language and several results are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$480E14FC-2FAD-445A-835D-612374631653","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$D4C3A643-B208-49DA-AA68-4096C6CD6ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1973cb8aec01fefec7c06d3ac452f505442dd21","datavalue":{"value":"54C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$153CB1FF-A556-42BD-8BD5-6E535C57392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$BAB129D0-6FA1-4A5E-A0B6-23FF5667394D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$5BAE119A-5053-4595-9D18-8A4351873AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b91b06fa4dbb5c876c641339db1ea93f30e3e3f","datavalue":{"value":"5210472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$F55AD5B4-2641-4281-9716-F1E1AC35B680","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$D0434549-A730-4963-B496-05D2ECCFFF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5031b14737ff0bf9c1be3c24f2cfb85ceadf153","datavalue":{"value":"functionally compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$3E98065D-E986-48A3-A0B3-52BE6A6D446C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fdeb3474fbb475e034af2200d4691bdd7562194","datavalue":{"value":"almost compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$B42C8D9B-03E2-488A-A6BF-DF6CA0956907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526f9e8c976a4cfc117743eba7fef86fc4d7dff7","datavalue":{"value":"\\(\\theta\\)-seminormal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$852768F2-EE00-47A5-AFA2-7A275F2C2E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$E29327DD-3C26-48D3-AB80-3E16AD24CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"936c8bf3fc072199b124cce83b6049c6e830e5e5","datavalue":{"value":"rigid quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2460681$FC890CCA-68CE-4FAC-8B9C-A6AE8C9E56F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3dc4ae7cbead5b7d81674272fcad45b69891ae67","datavalue":{"value":{"entity-type":"item","numeric-id":590844,"id":"Q590844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$1E1908ED-9C88-4375-9902-593035DD6E19","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":"Q2460681$FFB1D82B-AEFC-47D1-BD42-73F40588BFA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6daf714a4525eb1efb75203be74f0a0a1542cef9","datavalue":{"value":"https://doi.org/10.1007/s10474-007-6031-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2460681$075EAA11-E48C-4716-A4B9-324CB5CDB833","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3db8d94fdb26c6d6d62b8db11cb5cac2aeca506","datavalue":{"value":"W1978606712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$4F379E53-C3FD-4C0E-A8BA-7419C9C53D0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b288cde8e02881e9427ccd2ae99e3c2bd2e9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":4440515,"id":"Q4440515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$CCC4D83A-8555-43BA-902F-C12E43599CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4020f59fd3d17edbb0c10d0a0c78644a4101549c","datavalue":{"value":{"entity-type":"item","numeric-id":1235422,"id":"Q1235422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$224747B5-E33A-4BD8-8F07-CCD5EAA73A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef4e1f47ae2d855edeaccea6df7c83acbd30250","datavalue":{"value":{"entity-type":"item","numeric-id":3697875,"id":"Q3697875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$763648C9-2318-4A1C-AA56-A98B9AAE8CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1679840f48a4807753360638d072be10dc104","datavalue":{"value":{"entity-type":"item","numeric-id":2538790,"id":"Q2538790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$992BB6DA-C6BB-45A7-A534-5E80AE0B337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ddb75ae535a4a726539cce1f5e9d18944ed4200","datavalue":{"value":{"entity-type":"item","numeric-id":4108933,"id":"Q4108933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$34BF0D42-81B8-4B3E-8B82-09F12EC45A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de02d9868d5691916ed418e68f04714d11f66cd","datavalue":{"value":{"entity-type":"item","numeric-id":3024636,"id":"Q3024636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$A927AD47-727B-4042-AA90-F1C2C118E176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e547be06346d4c414280a164acb2ed8e4d766be0","datavalue":{"value":{"entity-type":"item","numeric-id":2544923,"id":"Q2544923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$30F9B42C-F526-4C9F-A607-7868A2A3A0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d4fe27fc8147a85fd3a98df8b8e00f050ddf0a","datavalue":{"value":{"entity-type":"item","numeric-id":2547392,"id":"Q2547392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$FEF847A7-F778-4608-83CB-0B7AD2BDEF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de43f9b05701bff9624ebd64e29b3fb3646514e9","datavalue":{"value":{"entity-type":"item","numeric-id":4852953,"id":"Q4852953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$2D6F3D65-118D-460F-B658-93B6B13FB2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977ce2bfbe9d4c9145d46d8deda8d83399e4ecaa","datavalue":{"value":{"entity-type":"item","numeric-id":4045302,"id":"Q4045302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$A0D7B6DD-7449-42A8-B52F-CDECEA130FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e06b9270d50a95c6662633ff5843e5cbf704d7","datavalue":{"value":{"entity-type":"item","numeric-id":4464693,"id":"Q4464693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$26ABDBDE-82E7-4EF9-9EE2-A6698319E18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bda4a8227418c4e3b143476c00b3d05ba908a55","datavalue":{"value":{"entity-type":"item","numeric-id":4668868,"id":"Q4668868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$7D3BFD3A-D860-458E-8CD3-1CE978803A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa576eefefb9d910ed8cc2cb5be5a9d1aa6b374b","datavalue":{"value":{"entity-type":"item","numeric-id":2764191,"id":"Q2764191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$E0D721BD-81C0-4ACF-95AA-CC7D51E37FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b628273bf2e42033f6a46aa320f3c688c17c57","datavalue":{"value":{"entity-type":"item","numeric-id":2536373,"id":"Q2536373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$78C0E6F6-C6EE-42E0-BDF4-4285519F3592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ce86d6edd815e95298162a1557113a49326aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2540386,"id":"Q2540386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2460681$3BA0C148-DD43-499B-A679-0798E3EE99B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63742b39963f9f40324408b22d95bb35e07f8efb","datavalue":{"value":"10.1007/S10474-007-6031-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2460681$294C51D5-3C0A-4432-A75F-AD75DB298979","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9487405970b21e16fd0def3db4791e671ef8f357","datavalue":{"value":{"entity-type":"item","numeric-id":1025834,"id":"Q1025834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7c6dbd8aafadd61d850f6d2c731470a0d11010","datavalue":{"value":{"amount":"+0.753023087978363","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":"Q2460681$99151EF4-29D5-4C6A-BE35-5037ADE73843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900c27d17e09ca120a069933a995bd109b7ddabf","datavalue":{"value":{"entity-type":"item","numeric-id":1029606,"id":"Q1029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896e15e28ceb93e523b6998dee09fc7e50a212e6","datavalue":{"value":{"amount":"+0.7459300756454468","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":"Q2460681$E59D2CF3-FD52-466B-A201-68D4DC383774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70add6a3baf73b7425cb7eea534d9fd3162379fc","datavalue":{"value":{"entity-type":"item","numeric-id":2250135,"id":"Q2250135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b2ea9fd5d9daae2365316fcb0727eb303938ed","datavalue":{"value":{"amount":"+0.7434692978858948","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":"Q2460681$2AF3F132-1B1C-4D62-A9FE-D0E5510685FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ee015a64f4c2f5f9ae1f74de572ee83067e4da","datavalue":{"value":{"entity-type":"item","numeric-id":3118060,"id":"Q3118060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2819b34ab29c6a534c09c88cc23250e325d00b7c","datavalue":{"value":{"amount":"+0.739091694355011","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":"Q2460681$7E413714-CE6B-4523-B5AC-6EA95CA49A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31f11d52493e08ceea7ba52a720612c4a8794db","datavalue":{"value":{"entity-type":"item","numeric-id":886296,"id":"Q886296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a138112f122c8ff25f8adf0f44364c8c04fc6cc1","datavalue":{"value":{"amount":"+0.7376761436462402","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":"Q2460681$D151D73D-66FB-4D3E-9201-F48A2C37F142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2460681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2460681"}}}}}