{"entities":{"Q1892301":{"pageid":1903043,"ns":120,"title":"Item:Q1892301","lastrevid":69200688,"modified":"2026-04-13T05:26:26Z","type":"item","id":"Q1892301","labels":{"en":{"language":"en","value":"The Tamano-Dowker type theorems for nearness frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762335"}},"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":"Q1892301$9D1091C3-D535-4601-9F86-F60BE81CA29B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ba9c6b698c570e93fcf7cd8d469639694dcdbf1","datavalue":{"value":{"text":"The Tamano-Dowker type theorems for nearness frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892301$E76F284E-4E8C-4638-AA1B-4928B67AEBD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e40368be5e03c650929aa1708d803f09a8cb25d","datavalue":{"value":"0849.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$4021F92F-CF44-44B6-91E5-B7328A5E2931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73cafa1289fbcda93a58683a6c5224e08d2e9fd1","datavalue":{"value":"10.1016/0022-4049(94)00049-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$A12BFB7F-0A06-4612-AE62-E8B702F6B97B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7684b80e83a7743f2ca7897aa614ee6281be767f","datavalue":{"value":{"entity-type":"item","numeric-id":1892300,"id":"Q1892300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$D05F6CF2-509A-46F6-B452-E96B46B7B3DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$20FFF763-F1DE-4081-98A5-52CBE8192E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"475c462458f5897ccd369a31c0985317076f3863","datavalue":{"value":{"time":"+1995-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892301$73D9B085-F7CF-4546-BD9D-1EBEDE726E23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aeb34667cfbf60f6450df8ae7710b6de6b6ef16b","datavalue":{"value":"A nearness frame \\((L, \\mu)\\) is a frame \\(L\\) together with a compatible nearness \\(\\mu\\) on \\(L\\). This means \\(L\\) is a regular frame. In this paper the author introduces notions of regularity and normality for nearness frames, defines the coproduct of two nearness frames and gives necessary and sufficient conditions in order that a nearness frame \\((L, \\mu)\\) is normal. Let \\((o[0,1], \\text{Cov} (o[0,1]))\\) be the nearness frame with the frame \\(o[0,1]\\) of all open sets of the unit interval \\([0,1]\\) and the nearness \\(\\text{Cov} (o[0,1])\\) consisting of all covers of \\(o[0,1]\\). Then \\((L, \\mu)\\) is normal iff the coproduct of \\((L, \\mu)\\) and \\((o[0,1], \\text{Cov} (o[0,1]))\\) is normal. The author gives other equivalent conditions expressed by the normality of the coproduct of \\((L, \\mu)\\) and \\((M, \\nu)\\) for some nearness frame \\((M, \\nu)\\). These results are the localic version of the Tamano-Dowker type theorems for nearness spaces as obtained by \\textit{H. L. Bentley}. The proofs are accomplished in the realm of the frame theory without using points. As an application it is shown that for a Dowker space \\(X\\) the coproduct of \\((oX, \\text{Cov} (oX))\\) and \\((o[0,1], \\text{Cov} (o[0,1]))\\) is a normal nearness frame, while the coproduct of \\(oX\\) and \\(o[0,1]\\) is not a normal frame.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$22AC4891-CC96-4DDF-82EF-55354685CFEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$9983F1FE-5A4A-4B82-9E7C-DF0D80AC202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d098c17f00f5d10892ede5f6ef5496b658e5f53","datavalue":{"value":"54E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$6C9AA808-C891-4484-8A7D-6831EABFE407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$6AB1B095-77F7-4C97-AE55-FB3441333AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00080e285b2b09a61300394fb828d0525da88290","datavalue":{"value":"762335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$0FA15C5A-9902-4625-A861-917B04A7171A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bf5e364f2ec4fe1197021205bc97699bed49fd","datavalue":{"value":"nearness frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$3EA416C0-D233-4EFA-9D20-D41A504A7543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$AE5F2796-7411-46FC-805E-98A5C415FED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$AFEAB4A2-287E-4300-9478-F2C19E06475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e269bbc40a3436145ec6a354f8d878b3c6bcc99","datavalue":{"value":"normality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$BC407D26-350E-46A6-9938-3BD34CE91872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$59202FFA-5E3B-43CB-9083-3715D760F9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1763216cde5a9cd0b0e2a735663ee34c4324f58","datavalue":{"value":"nearness spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$A5BB332B-E41C-4D8C-9BFB-7A881E1ED0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e627f94bfd5f57ea74558277ef10dcdce6240c2f","datavalue":{"value":"Dowker space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892301$68EBEB8B-F0CE-41E9-83B6-6ADFFC0FC3E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a8de3b023a12c7eeb606fb3cdba6eef820725f5","datavalue":{"value":{"entity-type":"item","numeric-id":1071104,"id":"Q1071104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$42372960-C0C6-4EDA-AA71-44DBC81A55A2","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":"Q1892301$2266AFB3-825D-4362-96A8-45CEA8BDD885","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da844b8b12bd481414ed4f5bd97e49d77d300d82","datavalue":{"value":{"entity-type":"item","numeric-id":3359387,"id":"Q3359387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$80EADC79-BBEB-42E6-973B-4990F2A78B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c761445cc2f3926a48d77e714091440da4ae55f5","datavalue":{"value":{"entity-type":"item","numeric-id":809398,"id":"Q809398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$C894FCE5-D3E4-4B58-8EFA-A27A00D07CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67787643f1feb66d59aae33f0d4b94e5d663ef5b","datavalue":{"value":{"entity-type":"item","numeric-id":1892301,"id":"Q1892301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$F1695E31-C406-4B66-9A24-EB1B36DE3829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed39cf705d38ba0f8c93a4c88273c96f3914a17f","datavalue":{"value":{"entity-type":"item","numeric-id":4113080,"id":"Q4113080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$897C04C3-86BD-4672-883D-3FB5513BE57D","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":"Q1892301$39DE83F6-A914-41C8-92A8-717CA261760B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccdd222a639ca45b043dcaaca4262f307d02fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3820652,"id":"Q3820652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$CEB811F8-8EA3-4A75-94C0-0B7F5D648B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f8ec2a01a096ad287a227b32645c2e7eb217d8","datavalue":{"value":{"entity-type":"item","numeric-id":3679869,"id":"Q3679869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$F48AB540-1DAC-4839-B3DB-379E7A5CD0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0b3807b081d35328968aff851bb5a2a5f879cc","datavalue":{"value":{"entity-type":"item","numeric-id":3825733,"id":"Q3825733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892301$A626219F-D00E-4860-8D18-87E45AA3D9BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec9ad5d45ceb84f14618dd774b078aaa6a585c1b","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)00049-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892301$E8035902-7D26-4ED2-9A88-F0F4468CE80C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c28ef85665672836985a321e93dfd4bbd360c664","datavalue":{"value":"W2027319495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892301$4BDDAF46-2A40-4B0E-B928-BFE2F25A352D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c253e154f47c51106b3e44b7551a74dfa2f7e1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4521902,"id":"Q4521902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d911350e183921c66ada3b202fd018097ee7cc2","datavalue":{"value":{"amount":"+0.7758665680885315","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":"Q1892301$4357B319-D290-4170-8FD0-66AC864CA4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa25bbe05fa806a1e60aa95d0e40f386a6283c8","datavalue":{"value":{"entity-type":"item","numeric-id":2764183,"id":"Q2764183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7bf5fb214b0603f70e6032a6946356f8af4a98","datavalue":{"value":{"amount":"+0.7709031105041504","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":"Q1892301$5A7CF333-EC56-4A33-8D98-273546A6A239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09a344b673605a02a47c1403bae7c8742d162b0","datavalue":{"value":{"entity-type":"item","numeric-id":1840720,"id":"Q1840720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7bf5fb214b0603f70e6032a6946356f8af4a98","datavalue":{"value":{"amount":"+0.7709031105041504","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":"Q1892301$B6275961-BC73-4D73-90CC-B6ADE8379DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1571f2ad458f03210bc52cbc2070a4095b1b197","datavalue":{"value":{"entity-type":"item","numeric-id":2764179,"id":"Q2764179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcee03102b05782bc27d6943236ffb5654e3cfdb","datavalue":{"value":{"amount":"+0.7655514478683472","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":"Q1892301$5DBC9100-BD3C-4645-84BB-668AF2C07D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0341bffcaa5d3fc9c48eb441a350f10016721c","datavalue":{"value":{"entity-type":"item","numeric-id":535365,"id":"Q535365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcee03102b05782bc27d6943236ffb5654e3cfdb","datavalue":{"value":{"amount":"+0.7655514478683472","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":"Q1892301$96507AF0-0E1B-4B07-9C16-504532434703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Tamano-Dowker type theorems for nearness frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Tamano-Dowker_type_theorems_for_nearness_frames"}}}}}