{"entities":{"Q1307448":{"pageid":1318198,"ns":120,"title":"Item:Q1307448","lastrevid":68418402,"modified":"2026-04-12T23:34:41Z","type":"item","id":"Q1307448","labels":{"en":{"language":"en","value":"Weakly Cauchy filters and quasi-uniform completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1355195"}},"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":"Q1307448$D272F298-EEAC-467E-9608-BD26177FD71F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af264069d705c0b9abd4a7c13a8ad852330734eb","datavalue":{"value":{"text":"Weakly Cauchy filters and quasi-uniform completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307448$90FC2B7C-C9E7-45FC-AFE9-F46C4AFA89C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65ce8bddbfc8ede858e043a947f9a0f9be4f3c3e","datavalue":{"value":"0926.54016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$BAD1C7BF-DE06-4FE8-BF16-980F6A021822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d697b9fdc72b3e2a650a64165e7398da046e0b1","datavalue":{"value":"10.1023/A:1026408831548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$F8883AB0-448B-4D7A-B187-E8028FF219A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec647a923338778b5ecde431cb6eb3d5a66f1014","datavalue":{"value":{"entity-type":"item","numeric-id":178568,"id":"Q178568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307448$FBBB525A-2394-47CB-A3EF-B197A71C1E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0086a0074bf9d0ca5da7baecd3f9c993c7842dee","datavalue":{"value":{"entity-type":"item","numeric-id":269978,"id":"Q269978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307448$0BA7D9E9-3C59-4EA9-85F6-8E8FC6D31D29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307448$4FCC55C5-5051-4627-B561-B73A4A5FA872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd5fe418ce0a2d6da5e54c8707dea6df216e12e0","datavalue":{"value":{"time":"+1999-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307448$5B045773-6840-4A74-B814-F8A2FB46E9A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd2275fc75ebdb9702dd31524077d7a2739889df","datavalue":{"value":"The authors study two completeness properties in quasi-uniform spaces whose behaviour is similar to Smyth completeness.    A filter \\(\\mathcal F\\) on a quasi-uniform space \\((X,{\\mathcal U})\\) is called weakly Cauchy (or a Corson filter) if for each \\(U\\in {\\mathcal U}\\), \\(\\bigcap_{F\\in {\\mathcal F}} U^{-1}(F)\\not=\\emptyset.\\) A filter which is stable on the conjugate space \\((X,{\\mathcal U}^{-1})\\) is called a Cs\u00e1sz\u00e1r filter. Note that each left \\(K\\)-Cauchy filter on \\((X,{\\mathcal U})\\) is a Cs\u00e1sz\u00e1r filter and that every Cs\u00e1sz\u00e1r filter is a Corson filter.    A quasi-uniform space \\((X,{\\mathcal U})\\) is called Corson (Cs\u00e1sz\u00e1r) complete if each Corson (Cs\u00e1sz\u00e1r) filter has a \\(\\tau({\\mathcal U}^s)\\)-cluster point.    A quasi-uniform space \\((X,{\\mathcal U})\\) is called Corson (Cs\u00e1sz\u00e1r) completable if there exists a Corson (Cs\u00e1sz\u00e1r) complete quasi-uniform space \\((Y,{\\mathcal V})\\) in which \\((X,{\\mathcal U})\\) is quasi-uniformly embedded as a \\(\\tau({\\mathcal V}^s)\\)-dense subspace.    The authors observe that a quasi-uniform space \\((X,{\\mathcal U})\\) is Corson (Cs\u00e1sz\u00e1r) completable if and only if every Corson (Cs\u00e1sz\u00e1r) filter on \\((X,{\\mathcal U})\\) is contained in a Cauchy filter on the uniform space \\((X,{\\mathcal U}^s).\\) It follows that if \\((X,{\\mathcal U})\\) is a \\(T_0\\)-Corson (Cs\u00e1sz\u00e1r) completable quasi-uniform space, then its bicompletion is the unique Corson (Cs\u00e1sz\u00e1r) completion of \\((X,{\\mathcal U}).\\)    The authors also characterize the studied properties in terms of nets and illustrate the theory by some interesting spaces investigated in theoretical computer science. Among the various other results that they obtain, let us just mention the following two: A quasi-uniform space \\((X,{\\mathcal U})\\) is Corson complete and \\((X,\\tau({\\mathcal U}^s))\\) is locally compact if and only if there is a \\(U\\in {\\mathcal U}\\) such that for each \\(x\\in X,\\) \\(\\text{cl}_{\\tau({\\mathcal U}^s)}U(x)\\) is a \\(\\tau{({\\mathcal U}^s)}\\)-compact subset of \\(X.\\)    On an arbitrary topological space each Cs\u00e1sz\u00e1r filter with respect to its well-monotone quasi-uniformity has a cluster point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307448$6C4D5032-9DD7-47DB-B6DA-11A4CCFFDBA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$363BC27E-5090-4C8D-BB5F-C661B3D28841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$66710BE1-4F2A-4462-A4B6-94E8486F9D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$A77A951D-4EE2-4EBF-8F1E-728B49E5B0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$D7397686-7491-4544-9C4F-764572B9ADF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42fdfaf427974afdaa2882dc0987f1d44afd51a9","datavalue":{"value":"1355195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$20C03614-3864-4CAA-96C7-1BC7E270FED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808f105ee4a6d8c542446e832dc5b800a8d15e51","datavalue":{"value":"Smyth complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307448$3234EF31-ABD5-45FB-AFF1-E6BA1CBEB201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78946bf00f8079e37c461891a7f3179874a46b16","datavalue":{"value":"Corson complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307448$C1F96242-308C-4628-80F5-1FD6675BEFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc94a1eb6029791e9d105d796eb50b2e214d4997","datavalue":{"value":"Cs\u00e1sz\u00e1r complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307448$FE04CBBE-2FAE-4372-ACCB-65C8F5B8797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b3a51124784eeb5f13c15ddd5507600f4cab52","datavalue":{"value":"bicomplete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307448$CE6AA92C-61CA-4AC0-807C-E15941FBC3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fb63a27518d8b0ca27017969484bf3d8fdfc1d","datavalue":{"value":"weakly Cauchy filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307448$BBBBA17E-A0A4-4363-BACC-9844B54766CA","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":"Q1307448$BD9F8A7E-69C0-468E-8FC6-5A983DA10E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f2f4aa03355222312eba2367d5c9bd22b198f16","datavalue":{"value":"https://doi.org/10.1023/a:1026408831548","type":"string"},"datatype":"url"},"type":"statement","id":"Q1307448$B608E5BB-6FEF-4A8C-8B6D-18510F3FA826","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bd3f2edf82d4a35b4c76122a3102b67b4c9a618","datavalue":{"value":"W182728907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307448$C0989243-D424-4E78-8CBE-D13368E8DC0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f8f8de6ceb665b1f04b58bbde89be7da3afdae","datavalue":{"value":{"entity-type":"item","numeric-id":2706892,"id":"Q2706892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9155bca5f0ed0c2008ed1ffb201963671892c6","datavalue":{"value":{"amount":"+0.95942605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$2C0D9845-A305-4632-8C62-DBB4F73F338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361a73ffbb8d4080d44d71277fbce01365723fae","datavalue":{"value":{"entity-type":"item","numeric-id":2756148,"id":"Q2756148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce74ef6da781f7e4283acf35bfa318f1a3c25de0","datavalue":{"value":{"amount":"+0.90326524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$2B7A3CF6-E1B2-48A7-BD01-1D9C2768AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0237bb276dde1848db3731673a7769390eaabe3","datavalue":{"value":{"entity-type":"item","numeric-id":4892299,"id":"Q4892299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0b4af2992b4a1da90174a7da868f1a29ca5575","datavalue":{"value":{"amount":"+0.8990117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$A6014061-08ED-4F84-A2CC-0F4806C6FCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47479eadd937d95979b58726d449fb0953147cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3144071,"id":"Q3144071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2e200c2aaedb78de3a661d667af9cb2cf180d1","datavalue":{"value":{"amount":"+0.88554454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$6CE6C7C0-FC70-4868-B84F-BAC8BC6A98E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d734c928ee01fd1f7498e1665a89fc3f1233fa","datavalue":{"value":{"entity-type":"item","numeric-id":2725614,"id":"Q2725614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b66725b6ef5aa2a1457a3761ca9cfd6cd9d87c","datavalue":{"value":{"amount":"+0.88529515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$733ADB1C-CA1E-4C21-BC3D-2746B68EF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f056e0d9524eebad55791a630a643f2c828a6ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1912648,"id":"Q1912648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05337bb4fc3a3c0728ebe653c1baef670b0736b6","datavalue":{"value":{"amount":"+0.8839872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$07E0BF54-F5E8-4D7A-B6AC-284AC1BD8814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d011a065f4804d2f0cca072e985bddedeee145","datavalue":{"value":{"entity-type":"item","numeric-id":4039450,"id":"Q4039450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ad1d301d8a94e7dc89419c82ffe70360ee6675","datavalue":{"value":{"amount":"+0.8839145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$AA5E34DB-29A6-4204-A0CA-683BF06C9906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a2bf87e381026d6176e3a6acf6d3d436998d29","datavalue":{"value":{"entity-type":"item","numeric-id":2460685,"id":"Q2460685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16cea439cf1040f3f44d15cc646949f3dce5718","datavalue":{"value":{"amount":"+0.881588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$5AC88B8D-D207-4E35-8488-2B331FBC306A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca19c2871d16fdaec5bd9870d48e1a66935c08fa","datavalue":{"value":{"entity-type":"item","numeric-id":5479909,"id":"Q5479909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934b87c5ddab4a72ed3a1ec5deff1488fd241f6d","datavalue":{"value":{"amount":"+0.87966883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$627A1EFC-901E-4E08-9A0F-A68A2DEFA2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d81398739f98b30f68d06cffe4442db4149d56","datavalue":{"value":{"entity-type":"item","numeric-id":3467072,"id":"Q3467072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8d025ca9907980570f937f0b6479be9ad24d20","datavalue":{"value":{"amount":"+0.8791731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307448$A57EDEA4-23F8-4A8B-B598-C7473B39394F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly Cauchy filters and quasi-uniform completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly_Cauchy_filters_and_quasi-uniform_completeness"}}}}}