{"entities":{"Q1346407":{"pageid":1357146,"ns":120,"title":"Item:Q1346407","lastrevid":67485099,"modified":"2026-04-12T18:20:14Z","type":"item","id":"Q1346407","labels":{"en":{"language":"en","value":"Normality for biframes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 740361"}},"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":"Q1346407$C70B7861-C617-4DC8-8701-FC2965C09A49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f403e33b8e5d97f5bfe4c03c231bc9248bfd577","datavalue":{"value":{"text":"Normality for biframes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346407$BC0D4856-CA7C-4EDB-86CA-7211CEE99F7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b16ca4fd305164cbc1ba0c9b0de23962e8a5b8c","datavalue":{"value":"0817.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346407$364B7AEA-995C-4D48-B259-5E7D26ADE329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e24a081653f34b57a52e5add36765ec406e7d483","datavalue":{"value":"10.1007/BF00872946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346407$60EC8386-CB0B-443B-BF80-D756FBFEC135","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$FF7856FC-A1B6-41B0-8DAC-E1129CC508FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23dc59a6b3d9d0c580f123265765a2f52dc6a1ba","datavalue":{"value":{"time":"+1995-04-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":"Q1346407$4F3B7A61-4202-44ED-95D3-C513FBEA0B38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ade6e321762a3cb2f17e73a527743b168a148058","datavalue":{"value":"A frame is a complete lattice \\(L_ 0\\) with \\(a\\wedge (\\bigvee X)= \\bigvee_{x\\in X} (a\\wedge x)\\), \\(a\\in L_ 0\\), \\(X\\subseteq L_ 0\\). A frame map is a homomorphism which preserves arbitrary joins, 0, \\(e\\in L_ 0\\) (\\(e\\) unit element). A biframe is a triple \\(L= (L_ 0, L_ 1, L_ 2)\\), \\(L_ i\\subseteq L_ 0\\) are subframes of the frame \\(L_ 0\\), \\(i= 1,2\\), and \\(L_ 0\\) is generated by \\(L_ 1\\cup L_ 2\\). A homomorphism of \\(L\\) is a homomorphism \\(h\\) of \\(L_ 0\\) with \\(h(L_ i)\\subseteq M_ i\\), \\(i= 1,2\\) into the biframe \\((M_ 0, M_ 1, M_ 2)\\). \\(L\\) is called normal if for \\(x\\in L_ i\\), \\(y\\in L_ k\\), \\(x\\vee y= e\\), there exist \\(u\\in L_ k\\), \\(v\\in L_ i\\) with \\(u\\wedge v= 0\\), \\(x\\vee u= e= y\\vee v\\). A bispace is a triple \\((X, P, Q)\\), where \\(P\\), \\(Q\\) are topologies on the set \\(X\\). There exists a functor \\(O\\) from bispaces to biframes.   The author proves that a biframe \\(L\\) is normal iff the following conditions hold: for \\(x\\in L_ 1\\), \\(y\\in L_ 2\\) with \\(x\\vee y= e\\) there exists a biframe homomorphism \\(\\mu: O\\mathbb{R}\\to L\\) with \\(\\mu((- \\infty, 1))\\leq x\\), \\(\\mu((0, \\infty))\\leq y\\). This is an extended version for biframes of Urysohn's lemma. Normal biframes include biframes which are compact regular, Lindel\u00f6f regular, strictly 0-dimensional, Boolean, for which some additional results are shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$D8DC0019-A605-4C18-81FD-BA3E20603E86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346407$EA0C63B0-C716-4C61-BA66-8848FAA72F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d33fb8a3f05fbf38ac58993e53f5397b9b9bc43","datavalue":{"value":"54E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346407$5FF25E4B-7D5B-457A-B3BF-625B6B7E9BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b46b5e0d3db46b60fba1ecac620531e4a93df6c3","datavalue":{"value":"740361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346407$20DEB026-CCED-49FA-B55B-647A74789DE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e269bbc40a3436145ec6a354f8d878b3c6bcc99","datavalue":{"value":"normality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$F8F9289D-31E0-4D70-83ED-95B9EE21A6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$CB3A9786-743E-420B-90F3-C53C0A9C11A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1267006844087c931764a1a69ed9e8209a9068a2","datavalue":{"value":"biframe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$5E4485A6-C1C4-4E76-8082-012AFF15279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$EE5A3A13-419B-4A31-A2A8-0D93518FA2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58dfc13a7e2a2833baa1745611a76f4ac783c3db","datavalue":{"value":"bispace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$B7C2D8E4-8291-4D75-8DA9-31FB0F62C237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$89D89D7F-412D-41F3-893F-E180A480BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133dd32a3f35df3e4ec2c9129b6c3a76d572ae42","datavalue":{"value":"Urysohn's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346407$9DECAB33-B03B-4D18-8710-9E96E33436BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f876133b3d1f2033a00e151a43b9c65e8e89aea","datavalue":{"value":{"entity-type":"item","numeric-id":395669,"id":"Q395669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$E19D8268-2FB3-4465-9A4C-97900FDD1B7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$704D03E4-68C5-464C-9D3A-0E33A21DF298","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":"Q1346407$5A53A177-0CBC-41ED-BB56-3D1FF59E982F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9889398289f197a760adaa520dca91707235f1c6","datavalue":{"value":{"entity-type":"item","numeric-id":756188,"id":"Q756188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$E2C02822-5D07-4F25-9FFC-1EEC5FC9B257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deabc2b7cf3b87d852099ff5e0ebb2dd4aae8082","datavalue":{"value":{"entity-type":"item","numeric-id":3209835,"id":"Q3209835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$138F6083-9D63-46C2-A178-4ED76456A783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51195da1f817240cba11d7e85100e845dc948cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3658040,"id":"Q3658040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$49025610-4FE2-4051-96EB-CE5A4C2B5A67","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":"Q1346407$AD090FBD-7BEA-4BA7-8101-115E5F89404E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa76630decc61305bf5c0f7a8ec8e151bc86cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3293844,"id":"Q3293844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$0F82B8AD-C9D9-42DA-AEF7-8AF31D152197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2451569912e7ff5745b53a5c11d0d35710dc9e75","datavalue":{"value":{"entity-type":"item","numeric-id":3141993,"id":"Q3141993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346407$25590238-C455-47D4-B62D-96F073CBEDA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653ce4642c8c82897714f1808bb73a6bd394a20f","datavalue":{"value":{"entity-type":"item","numeric-id":535362,"id":"Q535362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104611db4531a0341411089bab37810b3fa60a66","datavalue":{"value":{"amount":"+0.7993188500404358","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":"Q1346407$8364F827-3A91-4ABD-AAC9-D0644F3DB20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb079fc486217cd202dad6e5cc4f37a37b0030d9","datavalue":{"value":{"entity-type":"item","numeric-id":645193,"id":"Q645193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020da41ed2f3c74a610a607ae6293520a0365459","datavalue":{"value":{"amount":"+0.7843710780143738","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":"Q1346407$8633F5F6-576D-4AC9-97FB-A0673DFEACD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9f1cfc9e9c143e0555cf190a683e378eb104a2","datavalue":{"value":{"entity-type":"item","numeric-id":536047,"id":"Q536047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49a3e5760662e2ab3f09bbc31cb29b1c0fafd89","datavalue":{"value":{"amount":"+0.7522961497306824","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":"Q1346407$088759CE-D461-4440-B1F6-C423946217FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320fc2e5320290659ddc5bc0c66aa519f2b5196b","datavalue":{"value":{"entity-type":"item","numeric-id":3456337,"id":"Q3456337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5909954e182bf61c3505cac4ce579aca232e761","datavalue":{"value":{"amount":"+0.7448278665542603","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":"Q1346407$5D0C5828-65B7-4CBD-8FCC-40D84BC62D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bbd81c791b586baa93f098ed4e1aae697165151","datavalue":{"value":{"entity-type":"item","numeric-id":3141993,"id":"Q3141993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ffe25c8e548928843db43733865dc7140630b8","datavalue":{"value":{"amount":"+0.7425673007965088","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":"Q1346407$2704C9CA-6419-4A6A-8813-6977386D0591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normality for biframes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normality_for_biframes"}}}}}