{"entities":{"Q1344162":{"pageid":1354901,"ns":120,"title":"Item:Q1344162","lastrevid":67441674,"modified":"2026-04-12T17:50:23Z","type":"item","id":"Q1344162","labels":{"en":{"language":"en","value":"Remarks on spherical completeness of non-archimedean valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720656"}},"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":"Q1344162$D6D036F5-1F97-4FEB-A7F0-23DB6ACCF31B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7fed66ea9e9c7fab11cbc1798e2ba22b56d2c24","datavalue":{"value":{"text":"Remarks on spherical completeness of non-archimedean valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344162$7F5BF010-2463-4391-BC7D-F6ACAD1EADF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d976537864982c107ccd10eeedc0dc0fdc184318","datavalue":{"value":"0826.46072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$D618D1F0-D5AD-4EB6-ABA5-4805D96F9D96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"602e3371133ebf1563ce5e75a00b37865ebba38d","datavalue":{"value":"10.1016/0019-3577(94)90007-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$F9D01C63-3011-44F8-BC44-D96A2CA73FA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$74FB7D54-64BD-44A4-8549-C5520A1A221C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffdfd092aaaefda36e7d9dc3f524d1cb261d796","datavalue":{"value":{"time":"+1995-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344162$C8FCC9EC-49DC-446B-96E7-B958E5D23CF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b7dbc1426571381de31ca9be87d2f8e322441d1","datavalue":{"value":"Let \\(K\\) be a non-Archimedean valued field. \\textit{J. von Tiel} proved in [Indag. Math. 27, 249-289 (1965; Zbl 0133.065)]\\ that if \\(K\\) is spherically complete then every locally convex space \\((E, \\tau)\\) over \\(K\\) admits the Mackey topology (i.e. the finest locally convex topology \\(\\mu\\) for which \\((E, \\tau)'= (E, \\mu)'\\)). In this note the following converse is proved. If for every local convex space over \\(K\\) the Mackey topology exists then \\(K\\) is spherically complete. The proof is elegant and ingenious. Furthermore, it is shown that each one of the related statements `the completion of a dual-separating \\(K\\)-normed space is separating' and `every closed subspace of a dual-separating \\(K\\)-normed space is weakly closed' is equivalent to spherical completeness of \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344162$AC5E1F77-900F-45C9-8FD6-421BFC886BDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8a9eccceff2edeeed2ef9d16996833ee1df720f","datavalue":{"value":"46S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$41BBAE4E-D0BE-44E0-8C7E-3AE9ABCAB3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f254ae445c00ab3f058898278c9331ea6c3ea7","datavalue":{"value":"46A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$9F4EBD66-B016-427D-95C8-62DD1CEA7851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef7088d18cb0efe3e64fd98fc55a5e569cb736e6","datavalue":{"value":"46A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$BDF7E092-7B4F-4027-9EC1-81F50F1AE8F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"296817096eddcdc8f10e109d197a8c79d0548292","datavalue":{"value":"720656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$8DF15450-D9D8-4095-969B-A2A725986078","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feb29ddd4ea0bddd143542c160e0e1b8668ba774","datavalue":{"value":"spherical completeness of non-Archimedean valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344162$EF19E970-28EB-420C-9DEC-FFEC16A0245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3ae181f44661566cb2c452c706b5cf8f95c618","datavalue":{"value":"spherically complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344162$500A59B0-29E6-48F9-9FA0-0966A768F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3593e6c31760f31571333fe8cf7caa77ba4b92e","datavalue":{"value":"Mackey topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344162$365AE6AE-28B1-437E-9763-39FEF383B232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca84f0dd78ff26215129c17458f0334fde4559aa","datavalue":{"value":{"entity-type":"item","numeric-id":178625,"id":"Q178625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$80846BE6-71DC-4DBC-8AAA-E1FE17E23C3A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2754645012ab9c924ce8ba5b2423646e9179d0f3","datavalue":{"value":{"entity-type":"item","numeric-id":1105817,"id":"Q1105817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$577E3B0B-48F5-495A-A907-ACFD589DA759","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":"Q1344162$4721CBBD-F575-40FF-9DE8-F9D89DE18828","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d84ab191c5625814a2a93e30a880143f58b655c","datavalue":{"value":"https://doi.org/10.1016/0019-3577(94)90007-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344162$EB7766A8-D5E7-4816-AE5E-A5C2AF872169","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4960ab4b92f1ef3fca81f99a9108d11a8ea2f3b3","datavalue":{"value":"W2020810938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344162$443B97F5-FF6F-4C10-8FF4-0520C3B9A80E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91b77b4840ae26448e20268122f49e42e6a2bae","datavalue":{"value":{"entity-type":"item","numeric-id":1149089,"id":"Q1149089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$8E161ABB-1DA7-447A-A917-EEB51744C7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa66e98cb6c2c4bb28a3e80ee11d74cee2c7575","datavalue":{"value":{"entity-type":"item","numeric-id":5809473,"id":"Q5809473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$D61FF5BE-F349-48C7-9B36-E72DABA263CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef27e2778a475f96989ffe2c354131367294c21c","datavalue":{"value":{"entity-type":"item","numeric-id":1182446,"id":"Q1182446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$247E1B01-1671-40FC-81B0-1A1E86B4A411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10ca887a6e421c8d66bf81147bb055569319d3f","datavalue":{"value":{"entity-type":"item","numeric-id":5669782,"id":"Q5669782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$E8681246-FA8C-43BB-BD46-7940C595C56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e5421039b33340cb3bbbcb8c45b3f45cac8823","datavalue":{"value":{"entity-type":"item","numeric-id":4179411,"id":"Q4179411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$7EAA5C7D-3CCA-450F-958B-57AC27BF8CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfde58a1b19143ebed345ed424c202395996b94","datavalue":{"value":{"entity-type":"item","numeric-id":4722678,"id":"Q4722678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$1D8BD023-545D-4782-84FF-5479F84384C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faea46e652f7cb358e643a34e25d9650879c06a","datavalue":{"value":{"entity-type":"item","numeric-id":5342665,"id":"Q5342665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344162$50D1A958-79DC-45BC-AB6E-A740C28AABE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47dd00c74623c63caa3fdf01ba12044074effefe","datavalue":{"value":{"entity-type":"item","numeric-id":4322111,"id":"Q4322111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d7f7bf07388d611bd87a93ef26b7a5a9e8bd5f","datavalue":{"value":{"amount":"+0.8457126617431641","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":"Q1344162$57E9C045-3421-4155-968F-C95D74A95812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1062b2b15c14db1160989a092f9b6cff0de922","datavalue":{"value":{"entity-type":"item","numeric-id":3322202,"id":"Q3322202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13977dee8d650289cd23e03f38889a71270b9f51","datavalue":{"value":{"amount":"+0.8437626361846924","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":"Q1344162$A4C160A0-9612-4FCB-AFA4-9794BF24B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c7e50952039fea37625cae505181b76a828a11","datavalue":{"value":{"entity-type":"item","numeric-id":3712980,"id":"Q3712980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e628e30221f7757e472836eab3582cdc7b1676","datavalue":{"value":{"amount":"+0.8138366341590881","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":"Q1344162$832262AE-B1E0-4F1B-8381-BBC9227C8AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3809caf2a1add723c4f1bb7519961161a10daf","datavalue":{"value":{"entity-type":"item","numeric-id":4949900,"id":"Q4949900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a0b01b0e3c14ad74ea1426e361ba74771b8cf8","datavalue":{"value":{"amount":"+0.8134841322898865","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":"Q1344162$88B8B004-E927-43C5-BC01-FBE637C44012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f864827d57a8602ace2b15902cb2b0828744dddc","datavalue":{"value":{"entity-type":"item","numeric-id":3764731,"id":"Q3764731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a0b01b0e3c14ad74ea1426e361ba74771b8cf8","datavalue":{"value":{"amount":"+0.8134841322898865","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":"Q1344162$D058E33A-96C9-4540-A3EE-988B85CF6048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on spherical completeness of non-archimedean valued fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_spherical_completeness_of_non-archimedean_valued_fields"}}}}}