{"entities":{"Q386173":{"pageid":387940,"ns":120,"title":"Item:Q386173","lastrevid":61449501,"modified":"2026-04-10T23:26:44Z","type":"item","id":"Q386173","labels":{"en":{"language":"en","value":"Realcompact Alexandroff frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236576"}},"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":"Q386173$1713354D-B705-4D1F-B7B8-89B196F27DE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a931fa8404b73f523eb7dac27b8621daccc0caa","datavalue":{"value":{"text":"Realcompact Alexandroff frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386173$365C3F73-D3FC-4F95-A3DE-F7EFFCE86BAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"362fd6d06b3c467decc3efa277502408f3ee1e2e","datavalue":{"value":"1294.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$5097B33B-7CCE-4B60-9267-F76649D9E39B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$0820C93C-B00A-437B-96EB-A9BD9EF801A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8673e2aec57383276f7ccc59d02c42a62e796869","datavalue":{"value":{"entity-type":"item","numeric-id":168347,"id":"Q168347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$DC09C443-97BD-4E98-8B2C-5D77BB7EB9F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$7F9045EC-8721-45E9-A52E-FCD0B0C3C877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"228106c305ac469398f343bfb3951bd75bb55cfd","datavalue":{"value":{"time":"+2013-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386173$B2A99829-5DFD-44AD-B870-9472542FA5FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"958abb6b4129f2ab71fcbe7e06a749367a23b0c0","datavalue":{"value":"An Alexandroff frame is a pair \\((L,S)\\) where \\(L\\) is a frame and \\(S\\) a completely regular sub-\\(\\sigma\\)-frame which \\({\\vee}\\)-generates \\(L\\). The prototype example is \\((L,\\text{Coz} L)\\) where \\(L\\) is a completely regular frame and \\(\\text{Coz} L\\) its cozero part. A morphism \\((L_1,S_1)\\to(L_2,S_2)\\) of Alexandroff frames is a frame homomorphism \\(L_1\\to L_2\\) which sends elements of \\(S_1\\) into \\(S_2\\). The resulting category is denoted \\(\\mathbf{AlexFrm}\\). Let \\(\\mathfrak{L}(\\mathbb{R})\\) denote the usual frame of reals. The authors define a real-valued continuous function on an Alexandorff frame \\((L,S)\\) to be a frame homomorphism \\(\\mathfrak{L}(\\mathbb{R})\\to L\\) whose image resides inside \\(S\\). This is a natural definition if one takes into account the fact that the image of an arbitrary real-valued continuous function on a completely regular frame is a subset of the cozero part of the frame. With this concept of real-valued continuous functions on Alexandorff frames, the authors define pseudocompactness, realcompactness and other related notions in \\(\\mathbf{AlexFrm}\\) similarly to the way they are defined (or characterised) in \\(\\mathbf{CRFrm}\\). A number of results which are known in \\(\\mathbf{CRFrm}\\) pertaining these concepts carry over to \\(\\mathbf{AlexFrm}\\). To name a few: (i) strongly realcompact Alexandroff frames form a coreflective subcategory in \\(\\mathbf{AlexFrm}\\), (ii) an Alexandroff frame is realcompact if and only if its frame part is Cauchy complete in the real uniformity of the Alexandrof frame, (iii) an Alexandroff frame is compact if and only if it is both realcompact and pseudocompact. The proofs in \\(\\mathbf{AlexFrm}\\) are not obtained by merely copying from \\(\\mathbf{CRFrm}\\), modifying slightly, and pasting. The authors had to devise new techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q386173$5DDDB5E8-E0CF-4638-A653-CD9454B30341","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4460b849e764629d83cdb4b306b4a5cc07c8af5c","datavalue":{"value":{"entity-type":"item","numeric-id":248778,"id":"Q248778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$F0AFFEC3-150B-48CC-A964-9EBAA4F9BA0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$022A83FC-D485-4661-9475-302C1D791499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$229BEBDC-5525-40D7-BE5B-2DBB6C0645BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$747FD14B-F222-489F-BF92-D0EC0E4D8ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d96b93cd49457b779ea668da6b1190ba16972e5","datavalue":{"value":"54D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$25AB1305-62D3-4034-A6FB-6F8C6EBFE771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$ED3F5050-7F73-41D2-B235-00CF01F9BDC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d7fb162c27cb9ac980a3c1393465fa46d91d13f","datavalue":{"value":"6236576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$958AED06-D7AA-42C1-9B99-1478765A9C36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a9db9f3b7ff804965797a3e56d8aed408ab484","datavalue":{"value":"completely regular \\(\\sigma\\)-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q386173$1A269BDD-159F-4A9A-BA1F-92AFE7981DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51d9160f1892e6f377cb13d09aad1c7f9b6c16c","datavalue":{"value":"Alexandroff frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q386173$2C9AD149-CCB4-41D0-A4CF-95A8FF845864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d209617c8a82eb83a24ccb93052da10d9fa4a32","datavalue":{"value":"pseudocompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q386173$50DBFAF7-24DD-460E-8EC7-BC9D1C5E8457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a77939ba8656424bf1d4d2f11cee136034021de","datavalue":{"value":"realcompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q386173$DD8B8322-1148-4E22-B735-824D519BD841","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":"Q386173$3A5B5725-1235-4886-ADDE-E21109AA3116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b8755d35666f8c96bb50b4e34e1cbc395822de4","datavalue":{"value":"https://doi.org/10.1016/j.topol.2013.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q386173$4F53CAF9-BA7E-4AE9-9B1A-009CA07B8F07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56f3d4a3e6f3944b2813e7bb02add53d2739def7","datavalue":{"value":"W1982259743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$79CA19ED-C9F1-4BDB-BA4E-BD6254987383","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7ba911b2b6edb23394401175ffc755090fa7fe","datavalue":{"value":{"entity-type":"item","numeric-id":4396195,"id":"Q4396195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$956DCB95-8EA4-4C20-987C-035F90CF374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1884838481425aa0334c90c297d6ff81b0d2b18b","datavalue":{"value":{"entity-type":"item","numeric-id":1818627,"id":"Q1818627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$71A0859F-F320-441F-9CDF-C915B942F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5e2cf7868335061b0058178ffbd87b68abe8d1","datavalue":{"value":{"entity-type":"item","numeric-id":816653,"id":"Q816653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$F91A0AE2-DC09-49A7-8AD5-29F4FB7BD2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c135e2a06ea395e411bbbf598eb4681b66fef","datavalue":{"value":{"entity-type":"item","numeric-id":5947276,"id":"Q5947276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$4DBEB56F-C747-410E-A534-EEDE465E6F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5803c887da3eb078a376a1041cffaf8ab146eb2a","datavalue":{"value":{"entity-type":"item","numeric-id":5928470,"id":"Q5928470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$83C1B750-A4CB-439B-BF4A-CD58F27C29E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712696b4292a06cf61e5cf0c8d335433bea508a2","datavalue":{"value":{"entity-type":"item","numeric-id":536038,"id":"Q536038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$E1360640-37A1-4253-931D-76DFE3720F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc8ca1231d789904b6397dc3da9eac09ae69a90","datavalue":{"value":{"entity-type":"item","numeric-id":4267646,"id":"Q4267646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$CC96DA53-C6B3-4CCA-B78D-1401D897B5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da5a80cd5f513dce8d80f06b7af4f2b3495c0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5254078,"id":"Q5254078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$A413B1F8-3DB5-42EA-BC62-8D7EA35B88DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfa3ec3ff54e3b4d443eef83620956adbfd3de7","datavalue":{"value":{"entity-type":"item","numeric-id":4449470,"id":"Q4449470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$6C6EE79D-5ECA-4271-8A9D-8AF4FBF50D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$8A3C87E3-4416-4CDB-A7A6-2D30D5E34C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08328544b44e9dae5d55864e42d9141ca624f589","datavalue":{"value":{"entity-type":"item","numeric-id":3670149,"id":"Q3670149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$6473B6B5-5920-4022-9013-047189D82071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1344e8a3eee32f6ca2ab31a43e6034a591233bd6","datavalue":{"value":{"entity-type":"item","numeric-id":2536316,"id":"Q2536316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$8D1238B4-DEC0-41DE-8F7A-6D81646AA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db8fd7140bfefe73c0d89e7617475bcd339ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":5556994,"id":"Q5556994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$E96681F2-8394-4866-A907-603EEAD139D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"467f58be128ad8c89cfbcc3dfc14720a2ed9123c","datavalue":{"value":{"entity-type":"item","numeric-id":5790288,"id":"Q5790288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$1F6B5107-C609-4067-B267-805BE0330D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d42c24a88e7767072170c58a7caabe97634046e","datavalue":{"value":{"entity-type":"item","numeric-id":4236500,"id":"Q4236500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$08D0F920-9D35-40E3-9AA4-4D2D3AA57A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386173$95629811-E882-466D-A926-1F5BFD34B5BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d54ec2fae689662073d43a5f00b36289e9a6152","datavalue":{"value":"10.1016/J.TOPOL.2013.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386173$0555CEA9-F65F-4738-8D83-20CE5429EF2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b6c770d4c46ec736981ca520cda6a7d88e57a1","datavalue":{"value":{"entity-type":"item","numeric-id":4852559,"id":"Q4852559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1481b8ce31508c8eb72c93fd88e3a97c2ef8e1","datavalue":{"value":{"amount":"+0.8415302634239197","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":"Q386173$09DF1873-7AF2-4205-B8D6-3C24169E218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86aaba89d8029cba660a4ad5d0e09d7962e3b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2481706,"id":"Q2481706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1481b8ce31508c8eb72c93fd88e3a97c2ef8e1","datavalue":{"value":{"amount":"+0.8415302634239197","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":"Q386173$2D11E49B-CDC5-496C-92D6-1F0396B68111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94925de662e2a6a6f822c49b9461e98cbaf7e9c","datavalue":{"value":{"entity-type":"item","numeric-id":3338921,"id":"Q3338921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98982bf7cf656c539e3b1cd28f500a36a9879b4f","datavalue":{"value":{"amount":"+0.8175733685493469","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":"Q386173$455C8606-5DFE-4E09-9A05-05A830AAE63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35725ce73a4e05ba857a2bd0d077d336b5bf2dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3736543,"id":"Q3736543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ec40d1a3fe5126b2175e0c5a3ea94965639003","datavalue":{"value":{"amount":"+0.8108646273612976","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":"Q386173$80DE67B8-3AEB-42CE-9C64-1EB4BF7188A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f327b4d36d04e364bda08ea2e308c3fc9844f9fd","datavalue":{"value":{"entity-type":"item","numeric-id":2447127,"id":"Q2447127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05ac45d5f2595c15b3ad63dde1a1e13d05e99e2","datavalue":{"value":{"amount":"+0.7985082268714905","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":"Q386173$BBA72434-41FC-4778-9F8B-7EE036848D5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realcompact Alexandroff frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realcompact_Alexandroff_frames"}}}}}