{"entities":{"Q2563785":{"pageid":2574528,"ns":120,"title":"Item:Q2563785","lastrevid":72790269,"modified":"2026-04-14T07:51:29Z","type":"item","id":"Q2563785","labels":{"en":{"language":"en","value":"A characterization of realcompactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958618"}},"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":"Q2563785$75204C57-6C49-4158-A32C-A2523A6EB38F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ec5be0e440cc81bcf23158fb3cdac6bac0a24d7","datavalue":{"value":{"text":"A characterization of realcompactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563785$FE917FE7-B3DA-4FD9-A9D2-AA25C8C140BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2787a78cfba6c0a019989f9eab3308af30365c48","datavalue":{"value":"0860.54025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563785$22A251D7-3656-48EF-85EF-E3EEB9B0CFE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139112efe55e2f37fcf1416a373b2ffaf352300d","datavalue":{"value":"10.1007/BF00114544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563785$CB875A58-7A1D-441E-B0C8-C28822081891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061f3d1bf53c4fc4ff94efd065843381feb25a30","datavalue":{"value":{"entity-type":"item","numeric-id":2502990,"id":"Q2502990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563785$98A86025-1C4A-4898-A5C7-0DF9C6484190","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":"Q2563785$32A31424-A9F9-4CF5-ACD7-8091F3C8A401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb061f84ffb57c2406b1921a4f259dec17e2583","datavalue":{"value":{"time":"+1996-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563785$823371F4-863B-4043-8A6A-4501E5E32C68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab37dd4a144355b9f158b915cf64f2dc188d3817","datavalue":{"value":"For a Tikhonov space \\(X\\), let \\(Z(X)\\) be the collection of all zero-sets in \\(X\\). The author defines a space \\(X\\) to be \\(z\\)-realcompact if whenever \\({\\mathcal F}\\) is an ultrafilter of cozero-sets of \\(X\\) such that \\(\\{Z\\in Z(X): (\\exists F\\in {\\mathcal F}) (F\\subseteq Z)\\}\\) has the countable intersection property, then \\(\\bigcap \\{\\overline F: F\\in {\\mathcal F}\\} \\neq\\emptyset\\). Main results are: (1) A Tikhonov space \\(X\\) is realcompact if and only if \\(X\\) is \\(z\\)-realcompact. (2) Let \\(\\gamma\\) be the collection of all countable cozero covers of \\(X\\). Then \\(X\\) is realcompact if and only if \\(\\gamma\\) is complete.   \\{Reviewer's remark: Essentially the same result as (2) is known. \\textit{T. Shirota} [Osaka Math. J. 4, 23-40 (1952; Zbl 0047.41704)] proved that a space \\(X\\) is realcompact if and only if the collection of all countable normal covers of \\(X\\) is complete. It is known that a countable cozero cover is normal and, conversely, a countable normal cover has a countable cozero refinement\\}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563785$20F33095-D69C-4E17-84F9-02BBE2F26B7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e8f7e2bad3471f72f7d28fefd1432bb3b5592c3f","datavalue":{"value":{"entity-type":"item","numeric-id":591986,"id":"Q591986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563785$EBF8EF43-50C3-4AC1-A81E-DCEC2B68C19E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d96b93cd49457b779ea668da6b1190ba16972e5","datavalue":{"value":"54D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563785$9D86613C-16D6-44E3-928A-73CFEEFE9C20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46af3c56699fb1ab32c59335fce7e3d59ffc7ad8","datavalue":{"value":"958618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563785$54DD2878-3A7A-4A35-90E6-F7CED168BDEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d045bf630bc2eaa0973175d0abd94a5ab9d35e0","datavalue":{"value":"\\(z\\)-realcompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563785$5BA2E751-8DC1-477E-AB03-B72DD7678390","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":"Q2563785$233CA19D-62FE-40E6-8FAB-8ADF3EA4AF5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1bae72d250b1ec208782db8388be0355b5f296b","datavalue":{"value":{"entity-type":"item","numeric-id":5719731,"id":"Q5719731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563785$BA421BAA-C17C-462D-903D-F4D2A690EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563785$1814594F-4657-430F-98A2-190FA0E9E143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4de3bd9f9bb1c96ee1484c0ca4a50ce20a5d50","datavalue":{"value":{"entity-type":"item","numeric-id":4074053,"id":"Q4074053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563785$3F504DFC-58FD-4BF0-9CF3-22A882F5C1CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40ec54ee1de3de265986a751d4f1d0f623b665bc","datavalue":{"value":{"entity-type":"item","numeric-id":4846604,"id":"Q4846604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da103c488229d2532baec9a8f41267aae843cbb","datavalue":{"value":{"amount":"+0.7881119847297668","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":"Q2563785$26E34937-D060-46FB-A3F4-885BD2C3DE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07c9ae23bee4984139fc4a9918859ed0c921a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4646619,"id":"Q4646619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c3471c23b73efed40bc3d741cf41d27d514850","datavalue":{"value":{"amount":"+0.7801762819290161","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":"Q2563785$A5D88245-9162-4312-B955-0F557406BCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbb094abb4f6bfc3d2f9a2de1b00c6cc98f800e","datavalue":{"value":{"entity-type":"item","numeric-id":1206530,"id":"Q1206530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396dfb2c04306336a7bfe2ded4cfa57bf7575c6f","datavalue":{"value":{"amount":"+0.7679796814918518","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":"Q2563785$472898BF-A881-4A07-8738-CB6D13F2F7FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of realcompactness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_realcompactness"}}}}}