{"entities":{"Q2765576":{"pageid":2776315,"ns":120,"title":"Item:Q2765576","lastrevid":47728993,"modified":"2026-01-02T13:26:55Z","type":"item","id":"Q2765576","labels":{"en":{"language":"en","value":"Characterising near continuity constructively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694871"}},"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":"Q2765576$12E73BFB-7286-4996-B59F-1E4AD2320EAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceb9e83f34cbe9dbd92de616124de4a348d91bab","datavalue":{"value":"0997.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765576$B2DEFF07-5673-46A9-8D78-59E07D5D5387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765576$79EA81B1-FE0B-4A6D-BF4D-26FC098B60AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43318c663b448c665914996b9a5f1d1ddd9f0dfc","datavalue":{"value":{"entity-type":"item","numeric-id":818924,"id":"Q818924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765576$BD62197F-B530-40B2-A824-1461FDFF00F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22ebe3974de478358a82d05f1d00857d62b27324","datavalue":{"value":{"time":"+2002-09-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":"Q2765576$F8A9D092-1A70-480C-90FA-1387AC7C4917","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765576$AC4B7881-0DB2-462B-976F-9D2AD504AD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"486e712aa0e58a7d88cad0afe626adea8bd0f027","datavalue":{"value":"54E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765576$2F648906-24D4-49E6-A8AA-D7A30B0990CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93cd5e38aba4297ccaf1363a577138ef722b79b5","datavalue":{"value":"1694871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765576$E9F88972-0436-44B4-A4A4-0CFEB9A4A111","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ceb75d505c8901a8f1aa09aa102cbd53a9adf9f","datavalue":{"value":"near continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765576$B207899D-B503-48CA-9A2F-13656D303C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b62c8dcd09ed72eb1a8f02cc3a91e67d4af8f0d","datavalue":{"value":"sequential continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765576$9FFD9C4C-F248-472F-B05F-CC31899284D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc823d163dd17e265d942e7a2c2f6750ca4b5981","datavalue":{"value":"apartness spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765576$88F43396-93EB-4791-9E2F-0B947CF9F557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765576$B5EEE9CD-B039-4BB0-A11A-872E6DF24343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765576$B7CFCF0A-7754-4F1D-9A4F-2F38CB3F4A85","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":"Q2765576$64D10FA4-E8A6-4CB4-9099-E50FB8DD4FC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6389824af4487bc5d28f1c170b81cf333e91a321","datavalue":{"value":"W2009968263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765576$24DA89E7-8E28-43E2-9A94-86C1971C3443","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4828116bfd17623ee03c6bb4969c177de2d2729","datavalue":{"value":"10.1002/1521-3870(200111)47:4%3C535::AID-MALQ535%3E3.0.CO;2-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765576$46375BC7-18E9-4E3C-BFF1-B11C45C705A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faeb5da0ac18a04e9d74061f6a6a5777b2926197","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200111)47:4%3C535::aid-malq535%3E3.0.co;2-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765576$C36C6022-1369-427B-B2EF-5F65028781A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df1a4395469f68a158242d3b460b8566273be56d","datavalue":{"value":{"text":"Characterising near continuity constructively","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765576$2919820E-69A5-4661-9725-CA9A17AAFE14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765576$DE0D7AC7-99D0-4999-9BC2-74C62049D24C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1a1b66c8d9cf110a32fce7139e4cb8d21f0fbdd","datavalue":{"value":"The authors provide some complements to their paper ``A constructive theory of point-set nearness'' [Theor. Comput. Sci. (to appear)], which in turn emerged from their fresh constructive approach to topology via apartness relations, initiated with ``Apartness as a framework for constructive topology'' [Ann. Pure Appl. Logic (to appear)]. They show that a mapping between arbitrary metric spaces respects nearness, between points and subsets, precisely when it preserves cluster points. Besides, any such mapping is proved to be strongly extensional and sequentially nondiscontinuous, but not sequentially continuous unless the domain is complete or one accepts Bishop's limited principle of omniscience. The present work is close in spirit to some work of \\textit{Hajime Ishihara}'s: ``Continuity and nondiscontinuity in constructive mathematics'' [J. Symb. Log. 56, 1349-1354 (1991; Zbl 0745.03048)] and ``Continuity properties in constructive mathematics'' [J. Symb. Log. 57, 557-565 (1992; Zbl 0771.03018)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765576$FEC18E63-6798-4923-BF59-32E7164E5783","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c33a963100806d74a242a5df1e1de059fbf40e75","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765576$4EAE9FC9-2EF1-4744-AC07-6699A638E138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e3b2c39e41aead81ebf88a2f173d1c6d70f56e","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cebf34ae753856537945285c6d8d17d6d5e0f81","datavalue":{"value":{"amount":"+0.820131778717041","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":"Q2765576$7C7A0303-E245-428F-8B7E-799789024317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7cf88f97ba5ffe2bd7fa2d2f0b1587ef927b0f","datavalue":{"value":{"entity-type":"item","numeric-id":2573727,"id":"Q2573727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccf8b4c7664cb9521a078a92f9d8606b7766e98","datavalue":{"value":{"amount":"+0.8178853988647461","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":"Q2765576$9E0B534C-3C0C-408A-8355-573577B10AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363c9807feee1d20244d12e607a9949448348c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4432816,"id":"Q4432816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa23f334ad5fb7d9d01ac04524d231eb105a75d0","datavalue":{"value":{"amount":"+0.8118889927864075","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":"Q2765576$1A8379C2-C851-4994-9CDC-EFDAAA1EC843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479912745716f67d80fe1aab12b7e9e5d4126bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5310890,"id":"Q5310890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e2cb580fe3c64ec65a85ee807a049edb41aea9","datavalue":{"value":{"amount":"+0.802676260471344","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":"Q2765576$ED65E814-858A-41ED-896D-4196FABF3162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8efe9ef3179c4b888b41e4333e03b6b10435b27","datavalue":{"value":{"entity-type":"item","numeric-id":1861535,"id":"Q1861535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dcfec65eab17ab23eed07f7f8af529a603ca47","datavalue":{"value":{"amount":"+0.787458598613739","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":"Q2765576$553D1775-9C31-4A33-B356-7429F0E43BEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2765576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2765576"}}}}}