{"entities":{"Q909288":{"pageid":911136,"ns":120,"title":"Item:Q909288","lastrevid":65274564,"modified":"2026-04-12T01:28:07Z","type":"item","id":"Q909288","labels":{"en":{"language":"en","value":"On Vervaat's sup vague topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4136967"}},"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":"Q909288$D31A9300-A2CF-4B82-BC61-DBD7E3E0CC94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"459ce5de647f6a84ae5d48a215b75415e5493c6b","datavalue":{"value":{"text":"On Vervaat's sup vague topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909288$B7AA3C07-81D9-45E7-8C60-F10E0593C8F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53318655712378bd8a7570b75c652c4030e918f3","datavalue":{"value":"0694.54013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909288$08A66C48-D28A-44BC-B7F4-789C33113FA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdd9cca63dcb3e02d61b276e503457d60b15e456","datavalue":{"value":"10.1007/BF02387371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909288$29C37D6F-A1A0-4886-9ECC-88C36A486BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e196f637dcb865c82936dfb050d41061fdaf2b","datavalue":{"value":{"entity-type":"item","numeric-id":797203,"id":"Q797203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$55E1A6B8-E3C2-4E90-9DF3-5A64FB8B379B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"13570f52327b6d519b5e78582bddbe55f7464260","datavalue":{"value":{"entity-type":"item","numeric-id":283965,"id":"Q283965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$F3CA14EB-2248-487D-8359-804D3C0CEE09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q909288$5EBC4B1D-6350-4E6D-9AFB-BD4E3B08ACB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3861a946b04737cc8a7914d7878c0b269d10709","datavalue":{"value":"Let \\({\\mathcal F}(S,I)\\) be the collection of upper semicontinuous functions from S into I, where S is a locally quasicompact topological space and I is a compact interval on the extended real line. It is known that Vervaat's sup vague topology on \\({\\mathcal F}(S,I)\\) is both compact and Hausdorff. We give a nonstandard proof based on Robinson's characterization of compactness. Its main step is a characterization of the standard part map.","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$00C155AF-FAED-4C89-B750-6E4360EC7766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909288$7D41D970-398A-44C8-B131-EAF268BA0515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8eb35d382f5b6d9dcc826b019084f76dc0bdc31","datavalue":{"value":"54J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909288$DD176126-D812-42B6-904C-09EF02BA1BB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e751d4f4af4826d79116602d435d6e5f8b5188a","datavalue":{"value":"4136967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909288$3EE90F52-FED0-4B5E-815D-86E9E9A4C81A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24b7715d5d4ac4a478fe1d1b86747b58213fae6","datavalue":{"value":"upper semicontinuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$7135108C-3425-4AD4-827A-A70F576FD76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70dc7619a80a6bcafb454bc8b2d1b1573714c9f4","datavalue":{"value":"locally quasicompact topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$02CAC418-D1CA-405E-BC6C-98F0D831043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49c9183e1e4f28a2888ee4be850f7ac6d96f4a2","datavalue":{"value":"compact interval","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$13957A96-7DBE-41C1-AC9F-44C77FB155B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3766acb5b957ac0233bfd93b2ff73e3b3d06c4","datavalue":{"value":"Vervaat's sup vague topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$238F61A8-A24A-4EF9-A54D-3F2DE351CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8b1ef7e54cca857507506bfedddac7749092a1","datavalue":{"value":"Robinson's characterization of compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$97565ADD-9A35-4CC3-8EC3-FABF3F9C8646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e463d0d248f45fd5f31f5edee30b523ee50c1385","datavalue":{"value":"standard part map","type":"string"},"datatype":"string"},"type":"statement","id":"Q909288$15A501EC-4BAD-4A2E-B4BC-65858011217F","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":"Q909288$59B47821-7E8A-4AA5-880E-4E1979CAB870","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b4fbe640f1fc51de145997524e5919d3602be","datavalue":{"value":{"entity-type":"item","numeric-id":3742397,"id":"Q3742397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$2D53F029-D8F0-493A-B963-1F424F6EF57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434be518be43f2ae78fd5125ec08d524e946cd1f","datavalue":{"value":{"entity-type":"item","numeric-id":4040436,"id":"Q4040436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$45D7F6D4-7783-4256-953E-0E7B0872B21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5074833a3f2c3fd600f59a71cfaf54be204447c6","datavalue":{"value":{"entity-type":"item","numeric-id":3292106,"id":"Q3292106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$AB577A78-00CE-4986-9291-0B65C463D8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21dcf4adedcae912a0c3560b4adb2c848595042","datavalue":{"value":{"entity-type":"item","numeric-id":4347856,"id":"Q4347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$30B6CB31-F43E-4A53-A19B-DEC01EE389B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$F49AFA0B-B827-4A1C-B4F7-0BC05AB8DBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74dd500fa62885810758f476926cfd487111645f","datavalue":{"value":{"entity-type":"item","numeric-id":3311427,"id":"Q3311427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$44F862B2-449C-4BDE-95CB-6C19930C54D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2de71a6cf954b4ed2e9359877620e20e72b35e","datavalue":{"value":{"entity-type":"item","numeric-id":1067688,"id":"Q1067688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$D86BE85D-2F32-46F2-8E2D-A5D7E3F01E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471655b02437d1c0c71c7d7b9f56813d36c4cc36","datavalue":{"value":{"entity-type":"item","numeric-id":578734,"id":"Q578734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$E3F6BFCD-1ADD-40A6-BC1A-59FCBD790D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4162737af498f3707c80d9202e6bb5ab80fc8336","datavalue":{"value":{"entity-type":"item","numeric-id":3921875,"id":"Q3921875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909288$4585B28E-D071-4C4B-9813-73A0441FB32B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c824a149facf99b77ca00df528aab92e0e185d2d","datavalue":{"value":{"entity-type":"item","numeric-id":737166,"id":"Q737166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8387062632952f539fa56e08976bccd5f3b6fbef","datavalue":{"value":{"amount":"+0.85747576","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":"Q909288$869CC6C5-9EE7-40EA-B4F7-4EC83A524826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac93cc46a0bbbd79c0d73e0c6c9a16e9e53fa20b","datavalue":{"value":{"entity-type":"item","numeric-id":5163480,"id":"Q5163480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ecc238d4b56fd075f15a396861789cc175df6f","datavalue":{"value":{"amount":"+0.8553905","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":"Q909288$62E1A2C8-39F9-4C99-8DD8-3909CFFFE2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd1321c9cfb2b380f8aefdc5cb7b18989831df","datavalue":{"value":{"entity-type":"item","numeric-id":2956793,"id":"Q2956793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aeb5e04488863f40c176cd1592e803bc752486","datavalue":{"value":{"amount":"+0.8544932","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":"Q909288$60304E29-0898-473F-AA16-C201CFFD191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c0188ff0e994373ea248952ca37ff17ef34d3","datavalue":{"value":{"entity-type":"item","numeric-id":4987749,"id":"Q4987749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71736989d72c7c7ee6667d161c66ae57c75b155d","datavalue":{"value":{"amount":"+0.85406995","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":"Q909288$354D51DB-9D5A-43BE-A309-4A5F328B7249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6be39b844e276fb56caf04c697acaea92459bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5208424,"id":"Q5208424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0b4db6993fae3275360ccee8dbd4e6da8e3834","datavalue":{"value":{"amount":"+0.8528887","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":"Q909288$8E0B08A7-B402-44D3-83DA-FF533002E58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200074f04dd9c25903db59ecbb385680154e64c9","datavalue":{"value":{"entity-type":"item","numeric-id":2299485,"id":"Q2299485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c142d1e0508a1870f69859f77dac82d06b3bd9","datavalue":{"value":{"amount":"+0.85060024","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":"Q909288$FA820F2E-50F3-4E17-8E1E-BADC9A7C55EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1feb776a3d9a7a63003753c4696b088a2079560","datavalue":{"value":{"entity-type":"item","numeric-id":4201638,"id":"Q4201638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc66e1d7716c0aa0c827d8dab5ed37bd6a00083e","datavalue":{"value":{"amount":"+0.84950906","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":"Q909288$B2655B9E-4F35-402E-836C-4FE16C8E254C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a63c5aec683485fd79c80d8326c86f26e15e60","datavalue":{"value":{"entity-type":"item","numeric-id":3696026,"id":"Q3696026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ce902239c8eb21e2e29eeb06ad1b47a638fc60","datavalue":{"value":{"amount":"+0.8494994","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":"Q909288$F13EB104-A131-43D6-BF72-6387441FA03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9456559be966e437964ee39052b5d7e7b6c25ee","datavalue":{"value":{"entity-type":"item","numeric-id":1413097,"id":"Q1413097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c690264aa6d6be2f64fcabcba55c35f63c4c3fc","datavalue":{"value":{"amount":"+0.84926486","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":"Q909288$975E8D7B-D894-441E-9E5A-DA88B38946EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789adecd4ca7d7e4558a80f963338ddb52c3d4f8","datavalue":{"value":{"entity-type":"item","numeric-id":3379172,"id":"Q3379172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a33ae0462b41a1b88bd74f792b1f0ee5e709b17","datavalue":{"value":{"amount":"+0.848661","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":"Q909288$2CE51366-6F3F-46ED-A481-ECCEA689E149","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Vervaat's sup vague topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Vervaat%27s_sup_vague_topology"}}}}}