{"entities":{"Q1047084":{"pageid":1048932,"ns":120,"title":"Item:Q1047084","lastrevid":69503916,"modified":"2026-04-13T07:26:52Z","type":"item","id":"Q1047084","labels":{"en":{"language":"en","value":"Lower and upper regularizations of frame semicontinuous real functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652276"}},"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":"Q1047084$AEFA9D38-B021-48A2-BA31-A023E0F35DE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05c088aadab4986ad430f5533c0ae330b5f48217","datavalue":{"value":{"text":"Lower and upper regularizations of frame semicontinuous real functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047084$67ED9B06-1464-4B08-86E9-6A2D51FEAAFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84127543c3e147d4dd6a2c925f31d7ae7b618bba","datavalue":{"value":"1181.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$900CC8FB-DA1A-486A-BD26-2291B643FE35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1c0767586802affaa4004db8368cd72a5e8644","datavalue":{"value":{"entity-type":"item","numeric-id":292832,"id":"Q292832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047084$B1C66AD9-7B31-48FF-A348-81C21579F4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8181f86562928436c723f0cfc4a7035dd07fe357","datavalue":{"value":{"entity-type":"item","numeric-id":412004,"id":"Q412004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047084$07130E97-D936-4B27-94FD-E3E0172943AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d11de5e649ad24f30bc74145ae5669c188ef7","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047084$0927665A-E686-45E5-B3CF-2DCD6120F392","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":"Q1047084$7496BD55-A729-451B-8667-8EABA074B4C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047084$C905236C-B8AB-49E5-AE6B-637BAF5D663E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69e18bbf056afd3b914b3b1c8eba1323b1a17c8e","datavalue":{"value":"The main gist of this paper is a characterization of extremally disconnected frames (also known as De Morgan frames) in terms of extendibility of bounded real-valued continuous functions on open sublocales. The main theorem states that a frame \\(L\\) is extremally disconnected if and only if, for every open sublocale \\(S\\), every bounded real-valued continuous function on \\(S\\) extends to a bounded real-valued continuous function on \\(L\\). The authors establish this result by first defining the pointfree concepts of lower and upper regularizations of frame semicontinuous real-valued functions.  The stated theorem is a much strengthened version of an earlier effort in this regard by \\textit{Y.-M. Li} and \\textit{Z.-H. Li} [``Constructive insertion theorems and extension theorems on extremally disconnected frames'', Algebra Univers. 44, No. 3--4, 271--281 (2000; Zbl 1013.06010)], which was demonstrated by \\textit{J. Picado} [``A new look at localic interpolation theorems'', Topology Appl. 153, No. 16, 3203--3218 (2006; Zbl 1104.06007)] to have shortcomings emanating from a treatment of pointfree semicontinuity which was not fully reflective of its point-sensitive counterpart. The preparatory results in the present paper are a continuation of the authors' study of semicontinuity in pointfree topology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$B8049EC6-45B2-4D29-B414-2FBC817092DB","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":"Q1047084$A68C23A0-D78D-41E8-BAC6-3E6976C45682","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$2C198F0F-2C98-4A5B-B305-3D16721C2E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$095F126F-A526-4167-AAD7-9DD7792B7587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42ea46801e492058a4b1ce7a9eeaf6d7cd8d9c3e","datavalue":{"value":"54G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$E5799142-C1EB-442B-8596-CDBA20EA4277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"771f990f27a30dfb9337587d886464d7f7ee0a1e","datavalue":{"value":"5652276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$2BBF732B-493E-4649-B200-93DA7A1DF992","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$542727E8-5714-4AD4-BA8D-E95883C8D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$65FC3393-FA61-4011-9A5B-EFE5E2296F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec1265de2a156897b0af9216f18df66f344a5bd","datavalue":{"value":"sublocale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$9ED96E55-9CC5-440F-AFBD-D03C4433D2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7044b6cb2343cf71df828cd7f30b758c2028d2a4","datavalue":{"value":"frame of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$03366A14-AADF-46CC-97E6-9EC63C61D233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b14c7967a480dd11c137cfcc01c003f0dfd886","datavalue":{"value":"frame semicontinuous real functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$5BB93557-8224-4120-9611-8424FCBB0443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ac42763daf17dfec08839df9c95b1b2ec673fa2","datavalue":{"value":"lower and upper regularizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$1B4CCAEB-2CF4-46C2-A1DA-343993074CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c3d46180c0eb724066f96f2c3e60e3ff9ec6e8","datavalue":{"value":"insertion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$78B458FB-A184-4FDF-9C13-3AC97C554DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d2b4d237d38158a2cda8c6ca5ffda903991a349","datavalue":{"value":"extremally disconnected","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047084$9BA09632-7D3A-40D5-9AAC-F6C76881A611","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":"Q1047084$4B288365-1245-45A1-B903-5D206D7AE16D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d53d598eea0a14dc5454dfa7d224b3b09de4d890","datavalue":{"value":"https://doi.org/10.1007/s00012-009-2102-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047084$B38B4202-2747-42D4-AC92-4A1A26B81DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b93c6b232cafaf89f0162f6a751bd8ce040b3160","datavalue":{"value":"W2047017534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$9C2979FE-50B9-4889-A5BB-532C6EB697CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e628972aaff8d80bc45c41f0fb110c23f1e7f16","datavalue":{"value":"10.1007/S00012-009-2102-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047084$8C61664D-2F9A-49C8-83D5-848092B2B634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bbee0190f6a1f690456885b6a62dda6d231090","datavalue":{"value":{"entity-type":"item","numeric-id":1008755,"id":"Q1008755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05007691dbc68eebe9a20118a661e5d6454287df","datavalue":{"value":{"amount":"+0.7877028584480286","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":"Q1047084$5866E442-9FBE-4DB4-B39E-823F198CF78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad5d5d7e739bad92335fc5e633e80c03f4f10eb","datavalue":{"value":{"entity-type":"item","numeric-id":1866845,"id":"Q1866845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db240eb688307edef955ee56891358988d4520e2","datavalue":{"value":{"amount":"+0.7701296210289001","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":"Q1047084$0A329BB6-2290-4782-8FC4-B0FFD0C47A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78926d16f940bede563df923366ea3c1a889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1032934,"id":"Q1032934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2639bbed434d20a96a0a3722139f65849f7dd98e","datavalue":{"value":{"amount":"+0.770129382610321","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":"Q1047084$1DE84AE2-B403-4088-8F0C-65ED14DE8E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8b8d86dc57867ceedf48a79578084516cdbdd4","datavalue":{"value":{"entity-type":"item","numeric-id":2268746,"id":"Q2268746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a35a97394aa8b555af506ea4e63d2f9f9c06b1","datavalue":{"value":{"amount":"+0.7591384053230286","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":"Q1047084$9A0E2992-8A4A-4B7C-9C2C-623992856D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1757cce5330269d757f9d1b46bbfb06a68e404c","datavalue":{"value":{"entity-type":"item","numeric-id":4643741,"id":"Q4643741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34d40e0c9ee8d32212103e611c27e6da348873e","datavalue":{"value":{"amount":"+0.7556109428405762","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":"Q1047084$C48C999E-0E88-4EF8-A9A4-57F9FAF65DDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower and upper regularizations of frame semicontinuous real functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_and_upper_regularizations_of_frame_semicontinuous_real_functions"}}}}}