{"entities":{"Q1807591":{"pageid":1818333,"ns":120,"title":"Item:Q1807591","lastrevid":46819128,"modified":"2025-12-25T16:02:40Z","type":"item","id":"Q1807591","labels":{"en":{"language":"en","value":"Quasi-metric properties of complexity spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1367570"}},"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":"Q1807591$72ECEB95-215D-4079-A9C8-1B38288C9797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ef7c88039b22e681c7b3e222c82e82da0cdc13","datavalue":{"value":{"text":"Quasi-metric properties of complexity spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1807591$D3AFFC97-F52A-4263-9A26-CB399CC680F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774a4843a21eccdeea2ce03b51b053a6d8b1aab5","datavalue":{"value":"0941.54028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$42CE6AA4-9A33-4800-9781-4AFE35D19A72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"389ebebbe41c91e007026d73749652df83269866","datavalue":{"value":"10.1016/S0166-8641(98)00102-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$645BDDAE-A944-4015-BEA6-BF848608C648","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807591$B8A1ECF1-8D4F-4B5D-B4C5-DF1D1371C5B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2c9151fa0f749bd3123f145d0659353c941f93c","datavalue":{"value":{"time":"+2000-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1807591$74636B84-BE90-4C4E-A4AF-1A2BFBED9FEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c184b17e65658af45b6b4f857a6513355ae0788","datavalue":{"value":"Recall that a quasi-uniform space \\((X,{\\mathcal U})\\) is bicomplete iff the uniform space \\((X,{\\mathcal U}^s)\\) is complete, where \\({\\mathcal U}^s:={\\mathcal U}\\vee{\\mathcal U}^{-1}\\); it is Smyth-completeable iff every left K-Cauchy filter on \\((X,{\\mathcal U})\\) is a Cauchy filter on \\((X,{\\mathcal U}^s)\\). The complexity space \\(C:= \\{f: \\omega\\to (0,+\\infty]\\); \\(\\sum (2^{-n} f(n)^{-1}< \\infty\\}\\) with the quasi metric \\(\\rho(f,g):= \\sum 2^{-n} \\max\\{ g(n)^{-1}- f(n)^{-1},0\\}\\) and its dual space \\(C^*:= \\{f:\\to \\mathbb{R}\\); \\(\\sum 2^{-n} f(n)<+\\infty\\}\\) with the quasi-metric \\(\\rho^*(f,g):= \\sum 2^{-n} \\max\\{g(n)- f(n),0\\}\\) are discussed in this paper. It is shown that the quasi-uniform space associated with \\((C^*, \\rho^*)\\) is Smyth-complete and consequently is a Baire space. For a closed \\({\\mathcal F}\\subseteq C^*\\) and for \\(m\\in C^*\\) the space \\({\\mathcal F}_m:= \\{f\\in{\\mathcal F}\\); \\(m\\) is an upper bound for \\(f\\}\\) with metric \\(\\rho^s(f,g):= \\rho^*(f,g)+ \\rho^*(g,f)\\) turns out to be a compact metric space. The paper is nicely written, but the reader (like the reviewer) would have appreciated a little more self-containedness. The computational significance of the results are far from being clear and might have been pointed out in greater detail by the authors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807591$DABA55A9-395D-49D0-8968-DBF71AF9B9DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$D73F025A-A619-4DF4-AD36-8D72681AA171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$2480DA59-226E-4FF1-868C-349CFBF96B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$79F2E063-9AC4-42B6-A0D2-3D5C59113C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$1D9E4E24-1F87-4AE1-9B58-75356B42F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$2FD0372D-1250-4888-BE5B-97E0F6A36953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"513acfc7fc15051dc17b9e1871e5a85ca15091f1","datavalue":{"value":"1367570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807591$18BA0FBA-C6E3-4DDA-8BA4-971D60496D9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cad05f2dac568895174110cbb3ea67e899f8c10","datavalue":{"value":"Smyth-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807591$1B67F7D4-D1B3-46B5-95DE-B1E8D735B12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5015b6969258e443890842989b87ca739cfce76","datavalue":{"value":"quasi-uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807591$989D3B42-952D-45EC-8933-C2494A25B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75eb9ee118f310214bc5b6d41f778512e5acd047","datavalue":{"value":"complexity space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807591$B0EA4837-E8F4-4B62-B7A8-14BFEFB4DB92","rank":"normal"}],"P16":[{"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":"Q1807591$D8716451-2874-45D7-B4AA-7D558A3D38E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7988397429f17d4ee6b9a963dc315fd2a40b7896","datavalue":{"value":{"entity-type":"item","numeric-id":818424,"id":"Q818424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807591$CDD58030-0AE7-4C19-B611-6C816E1D7803","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b55806ac3006ec2d3bb3cf03b6c3b09dbfabbcd2","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807591$5F5E0DBB-B3CA-4DE3-A64A-12127C2974FE","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":"Q1807591$92B7447D-B2CC-4FAD-AF6B-FD1D49C14ED6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4019ae7c4d47ce7fa9d455dc9371b8543f787f72","datavalue":{"value":{"entity-type":"item","numeric-id":2710078,"id":"Q2710078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b5e9a72a7c72fe07c741a7d19bdad853d8f334","datavalue":{"value":{"amount":"+0.8861225247383118","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":"Q1807591$70B5C011-0F3F-457F-B924-0BB26310A961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e243ec6df32116155621be19a1c0e9dbe8a6dfcb","datavalue":{"value":{"entity-type":"item","numeric-id":4229136,"id":"Q4229136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f770a0fce3be37f653770b84ad9548f16fc7546d","datavalue":{"value":{"amount":"+0.8492072820663452","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":"Q1807591$26D90CA7-34D6-4D98-A550-85506D1131C2","rank":"normal"},{"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":"931edcb11f073568b9b0995c7dfd1444dd78d98f","datavalue":{"value":{"amount":"+0.84297114610672","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":"Q1807591$9BC483C1-2133-4B39-BCF9-99C688262645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ccc6806f7fed61599ce6f6a6fbf76428664b7e","datavalue":{"value":{"entity-type":"item","numeric-id":4806538,"id":"Q4806538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ad71b9b0c65b6d7b4e394c44319ac816e93047","datavalue":{"value":{"amount":"+0.8206385374069214","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":"Q1807591$D9449C24-27D7-44A0-96F5-207814DFE5BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1807591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1807591"}}}}}