{"entities":{"Q1861535":{"pageid":1872277,"ns":120,"title":"Item:Q1861535","lastrevid":69141687,"modified":"2026-04-13T05:03:02Z","type":"item","id":"Q1861535","labels":{"en":{"language":"en","value":"Apartness spaces as a framework for constructive topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1878502"}},"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":"Q1861535$13D11D6E-00CE-4AF5-9323-FAB36873ED3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c22fabf92cb12aa39c51ec939245b2a957eac5e","datavalue":{"value":{"text":"Apartness spaces as a framework for constructive topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1861535$B044DACC-5188-4C46-BE5C-A88320D8CB99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2ba6b31f255bcd3f5b178fdac39288527772b84","datavalue":{"value":"1044.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$AEB27D7F-937A-40AB-BFF8-E911C97E3109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3360a7a499746f7ccf8fadf2b625390a41b824a6","datavalue":{"value":"10.1016/S0168-0072(02)00033-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$A25FEE00-B00A-4769-8717-F23F264743E8","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":"Q1861535$67645CA9-F45D-4DBF-B721-A08266A286E0","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":"Q1861535$4039CBC3-923E-466B-B7B8-DCC6A3653B88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$41C67499-F05B-416D-8550-777138713837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce2585b4e1d731a09b5096d8b68316982ce988f7","datavalue":{"value":{"time":"+2003-03-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":"Q1861535$BACB212F-701E-45E3-878A-94B7A993205E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe1e0bd7b8010ed7b6ef871b3686ba6a378d84e4","datavalue":{"value":"It is known that some proofs from classical mathematics are constructive, and some are not. One of the main objectives of constructive mathematics is to find out which results of classical mathematics have a constructive meaning. To be able to do that, we must first come up with a reasonable constructive version of the corresponding mathematical theory. For metric spaces and for the corresponding topology, such a theory has been successfully developed many decades ago; however, describing a reasonable constructive version of general (not necessarily metric) topology has always been a challenge, so that even E. Bishop in some of his papers claimed that constructive non-metric topology is simply impossible.  The authors show that a reasonable constructive version of non-metric topology can be constructed if instead of trying to constructivize the traditional definitions of topology (as many researchers tried in the past), one bases the formalization on a new (non-traditional) notion of apartness. Apartness between points \\(x\\neq y\\) is a strong (constructive) version of non-equality \\(\\neg(x=y)\\): e.g., for real numbers, \\(\\neg (x=y)\\) means that \\(\\neg\\neg\\exists r>0\\,(| x-y| \\geq r)\\) (where \\(r\\) goes over all rational numbers), while apartness means that \\(\\exists r>0\\,(| x-y| \\geq r)\\). To describe a topological space, we need the notion of apartness \\(\\text{ apart}(x,A)\\) between a point \\(x\\) and a set \\(A\\). For example, for metric spaces, one can define such apartness as \\(\\exists r>0\\,\\forall y\\in A\\, (\\rho(x,y)\\geq r)\\).  The authors show that if one introduces reasonable axioms for apartness, one gets a reasonable constructive topology. For example, continuity can be defined as \\(\\text{ apart}(fx,fA)\\supset \\text{ apart}(x,A)\\) for all points \\(x\\) and for all sets \\(A\\). Quantifying over all sets does not sound like a very constructive definition; to make this definition more constructive, the authors propose a more constructive version of this definition in which they fix a constructive family of sets and only consider sets \\(A\\) from this family.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861535$50ADE4BA-2BC9-4F6D-B245-7BEA2E2D7619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$F0EE9F80-91F3-44EA-B447-3BAC1F26F2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$7D677BCF-E095-4937-9495-6EB2920DC4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d098c17f00f5d10892ede5f6ef5496b658e5f53","datavalue":{"value":"54E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$795CC72B-7BF8-4E89-8EEC-DDD84CD79016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62096a9b5539d4970c944f1381112c391e636c89","datavalue":{"value":"1878502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$EC546FF6-45A7-46A1-810C-A336F77E50EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861535$436E1E2F-1153-413E-95C3-EB9253A025C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7752abed712bedf455a3342e9821a94f59639833","datavalue":{"value":"apartness structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861535$55F4A04D-D452-4752-8019-CE3BE1F403B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b091d6f682d84ff735244035751bc7d95b549f","datavalue":{"value":"non-metric topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861535$B4E726B9-9E80-4AB0-A82E-22CB201F21B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc1f289b93805d5a9cbd7257aaca2de5b5aa42e","datavalue":{"value":"constructive topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861535$A55F85E1-5170-466E-8068-D47DC50A8262","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a7a7a3dd3a08360856ececf3d8a629dcc430503","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$BD6F6252-92D1-46DA-998C-08E9110901E5","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":"Q1861535$F0DEC414-7FE5-44CA-999D-32C5C482CE91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$53B3E604-534E-4080-A055-FFC40C66550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$02012D14-E61C-4ED7-8930-D7D8BF430EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$1E346356-44AF-43C8-AFAF-2E7C92936682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$003796CD-2EEA-4FED-AF07-1A0E9A0A75F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0579c33e9393236d9ea98193c550e521c413a50","datavalue":{"value":{"entity-type":"item","numeric-id":3201046,"id":"Q3201046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$F598AA1E-ECA4-4F76-A451-986AF6BEE7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfdde4429a7d6dbf3626c6b1e4b017e6c9f5ff1","datavalue":{"value":{"entity-type":"item","numeric-id":2715604,"id":"Q2715604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$310CD83C-8AB7-45C7-AF40-131F71F35290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00fbc1e561c6327fb187f9c2abb111a98a00842","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$1E80D765-EB92-4B55-8314-8048B0C87888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$D3B48083-E591-4540-BD24-D8889F3B752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bf2a9064aa9a86c2c70182d7ae7f38f718bddf","datavalue":{"value":{"entity-type":"item","numeric-id":2765576,"id":"Q2765576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$46913D48-1F2F-417C-BEEF-BA00DE8994A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76da3ad3807f77159edc271548a4de8a1c21a150","datavalue":{"value":{"entity-type":"item","numeric-id":3153704,"id":"Q3153704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$AF2B8980-3CB1-43AF-8AF4-FF3D17146DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c30f979fca4561e972baf6af22c6882e7876f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4934328,"id":"Q4934328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$9B36C8FA-D16A-4EFF-A7DD-24ADB5D4CD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74c1d20fcd4ede1abda70b7b8ca25fc2f65688","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$936DD37A-E0A4-4E34-98C8-3B8A5E5B8A7D","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":"Q1861535$2CAEDDF4-CAAF-4813-A1A7-F54829CD24D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b69b87a89e39228c18921d060707265030559f","datavalue":{"value":{"entity-type":"item","numeric-id":3965242,"id":"Q3965242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$ECB4B50B-3544-4982-A063-46DFA506C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c5990025a0adb5810416749c7fb8516a653a84","datavalue":{"value":{"entity-type":"item","numeric-id":3338243,"id":"Q3338243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$A7ADD9B0-2421-4F1F-9B1C-91383E712B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$E7CD393B-ADB2-415F-9764-91B6E3F50B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b2e8497a786895cbad62780da7f577d5575ce7","datavalue":{"value":{"entity-type":"item","numeric-id":5606492,"id":"Q5606492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$E0081D31-5DB3-4CCA-9423-BEDDF07BB7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$63B989EC-4F0B-42A5-8601-D1FD1CCC7ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f080bf6b4f86fce988b63f70e2d42bc72da46ded","datavalue":{"value":{"entity-type":"item","numeric-id":2752158,"id":"Q2752158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$1D094D81-2913-4C19-8513-F47464544506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccfeb21b2e4ec487e36af4227f47563c499c804","datavalue":{"value":{"entity-type":"item","numeric-id":5613067,"id":"Q5613067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$EB30C9D9-936D-4D9C-9C0D-40B71DBFD736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$0E7D1F97-811A-4F20-8D2E-F1016055299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5023262adbdad12da6e61286cdc140bbd777c7","datavalue":{"value":{"entity-type":"item","numeric-id":2505640,"id":"Q2505640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861535$7CE38C15-A25B-4166-AFF8-7B7D10E342EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fed554ac049d5a27e2753446cf61fbaff284adbc","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(02)00033-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1861535$4C3CA9B0-B60D-4C1B-9798-39C4377BB293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"614f921c0dc86167929a29a02da02e14688d98dc","datavalue":{"value":"W2171525496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861535$9129CC08-6163-400F-A816-5DE2D54D2F9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"908983944f99a6021facf23d07aa7ffa13012d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4787853,"id":"Q4787853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09264e93e91b5a73e785c5fbf66084c14638982e","datavalue":{"value":{"amount":"+0.9204679131507874","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":"Q1861535$0A41EC47-6BA2-4B9A-9AF8-2336EE7D3952","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":"639593f37172595bf08ba8f224467d1734c9d234","datavalue":{"value":{"amount":"+0.861341655254364","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":"Q1861535$996F22A4-6A7C-43EA-B346-A517BA01A3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec77d0d96706b746f9d012ba3c97f9b66dc2bec","datavalue":{"value":{"entity-type":"item","numeric-id":3092706,"id":"Q3092706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c542d07d09eba32d8e9f9ad0de653b17a05caa83","datavalue":{"value":{"amount":"+0.8582712411880493","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":"Q1861535$847B19D6-91D9-4C4A-BB01-0F280BE64DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718f3b297d7b1ca8c779fdff7c69eafb7ae5e673","datavalue":{"value":{"entity-type":"item","numeric-id":5480940,"id":"Q5480940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e900b921b607c0ca4544f98aec385185fb9c8e","datavalue":{"value":{"amount":"+0.8545855283737183","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":"Q1861535$8D0FDA81-17D6-4B46-993F-CD33611FF662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1bd0a2d0868bfd2af5a707399a38e75ea6851e","datavalue":{"value":{"entity-type":"item","numeric-id":3613304,"id":"Q3613304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113e54eed507f19e5e48e1c8f6bdf7cb54479e53","datavalue":{"value":{"amount":"+0.8478790521621704","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":"Q1861535$CF0CDA30-7F06-4F77-8F21-5518B340437F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Apartness spaces as a framework for constructive topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Apartness_spaces_as_a_framework_for_constructive_topology"}}}}}