{"entities":{"Q1283129":{"pageid":1293879,"ns":120,"title":"Item:Q1283129","lastrevid":67221528,"modified":"2026-04-12T16:09:52Z","type":"item","id":"Q1283129","labels":{"en":{"language":"en","value":"The length of some diagonalization games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275034"}},"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":"Q1283129$92F6E8AF-6174-41B1-B884-C66E871137E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a69c81dd9be1f7a736e7a149c020fd4dd40b3d6e","datavalue":{"value":{"text":"The length of some diagonalization games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283129$26086E5D-83AD-4243-ADF6-7872D923073E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2da1de1ff4371cfddf6b072f01b6f5a245690c69","datavalue":{"value":"0924.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$1C89ED31-37AC-4A69-99A0-77193DF2C831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e32568e9d3084d3db53b4864dd435df107f26d28","datavalue":{"value":{"entity-type":"item","numeric-id":251390,"id":"Q251390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283129$535E72B7-418A-4A58-A32B-09B09A3B97BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283129$0B561CF6-0411-4926-8B56-1E5494B89254","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3101a11bd8e29272e2d08448a17f7950c315162f","datavalue":{"value":{"time":"+1999-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283129$279A9C2A-948F-4061-B300-4E6FCB3E2A38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32aa16a3a07774bce9339c53a541015e183454f2","datavalue":{"value":"An \\(\\omega\\)-cover \\(\\mathcal U\\) of an infinite separable metric space \\(X\\) is an open cover of \\(X\\) (with \\(X\\notin \\mathcal U\\)) such that for every finite set \\(F\\subseteq X\\) there is \\(U\\in \\mathcal U\\) with \\(F\\subseteq U\\). For the infinite ordinal \\(\\alpha\\), we define the 2-player game \\(G^{\\alpha}(X)\\) on \\(X\\) as follows: players I and II play a move for each ordinal \\(\\gamma < \\alpha\\). At move \\(\\gamma\\), player I chooses an \\(\\omega\\)-cover \\({\\mathcal U}_{\\gamma}\\) of \\(X\\) and then player II chooses \\(U_{\\gamma}\\in{\\mathcal U}_{\\gamma}\\). Player II wins the game if \\(\\{U_{\\gamma}:\\gamma<\\alpha\\}\\) is an \\(\\omega\\)-cover of \\(X\\); otherwise player I wins. The \\(\\omega\\)-type of \\(X\\), written \\(\\text{ tp}_{\\omega}(X)\\), is defined to be the least ordinal \\(\\alpha\\) such that player II has a winning strategy in \\(G^{\\alpha}(X)\\). The author proves a number of results concerning \\(\\text{ tp}_{\\omega}(X)\\): for instance, that \\(\\text{ tp}_{\\omega}(X)\\) is an additively indecomposable ordinal. There are other results relating \\(\\text{ tp}_{\\omega}(X)\\) to ordinals defined from similar games on \\(X\\) and on the space of continuous real-valued functions on \\(X\\) (with the topology of pointwise convergence). A number of examples are given, including (assuming the Continuum Hypothesis) one of a space \\(X\\) with \\(\\text{ tp}_{\\omega}(X)={\\omega}^2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283129$7CD466E6-8B25-4114-A55A-D6E20EC3F558","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283129$7D634174-439C-43D9-BC60-801656BF6339","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$04C63AA9-1CE1-49A6-8009-578D91BA95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$C3D6CDF8-39A2-41C0-8A9F-76B9E80F2094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$07EB228B-D84F-4A6B-B65D-B28E94EF0415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e62b8a6edd0022c57547839c22e087d4c474b8","datavalue":{"value":"1275034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$ACC0EDD8-354D-423E-9765-7678D57F762F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94073d650f13fd13a104b29c215734850de7f86","datavalue":{"value":"infinite game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283129$9C63A6D3-E35F-4021-AD4E-263894536F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347c278c4a117068a6d19065517aaeb121f4e9c0","datavalue":{"value":"\\(\\omega\\)-type of a topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283129$BB525388-4E9C-49C1-B4A4-09D2E34D2AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3c5568a8b81b02094de5e25cc03fa27cfd0e26","datavalue":{"value":"\\(\\omega\\)-cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283129$35465973-B2F8-496E-9115-6648AA528EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51aad5c659b4f1c5dfd50c0868bfdfe7c297e22d","datavalue":{"value":"infinite separable metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283129$11262E6B-CF51-4E3B-B16E-3B95C60748B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283129$3B1EC02A-3716-440D-993B-16077A791B18","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":"Q1283129$0EC8AC4B-418F-46A1-B7C6-0553CF32BDDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e77c6861d97882b3759c50c59e18dc78f2d0eef","datavalue":{"value":"https://doi.org/10.1007/s001530050117","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283129$AC3EFCC9-E503-499E-9CBF-68EA912E05AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a2dc2a311b69f82ff8a3d6c9c0575fb785ade1c","datavalue":{"value":"W2051674928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$65A0A9CB-8B5A-483E-88DC-80BF8F8C3C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d43e43ade00019d5e1e73dcddb8b493ef0264b2f","datavalue":{"value":"10.1007/S001530050117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283129$D88CBFFC-8039-4B22-BC2D-70CEF69FF183","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f47301995edc2025532d4280ad7487c0b198c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3064148,"id":"Q3064148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576e429dc9ba43e1ff63890e12ac5284cb70a220","datavalue":{"value":{"amount":"+0.7933080196380615","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":"Q1283129$707FF6DD-5078-4666-8150-80873EACF157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5b252339dc58908d68187384c74f227cf59c8e","datavalue":{"value":{"entity-type":"item","numeric-id":1669676,"id":"Q1669676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1b7d9b7bcbacb600116fcfb302b90ee3330f8a","datavalue":{"value":{"amount":"+0.7647770047187805","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":"Q1283129$60F7435C-C914-4EE6-A5E5-6C3B1EE7F2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1049e97665f25ad09011794f5b707e515e9e680b","datavalue":{"value":{"entity-type":"item","numeric-id":2640176,"id":"Q2640176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23d6ee539bc06dc14e9a4bd77660907f4502528","datavalue":{"value":{"amount":"+0.7532340288162231","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":"Q1283129$81928C9B-D63C-42C9-8EAF-106FCA55C7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb8c7e590877c5599d0f24e97fa4b17796b51473","datavalue":{"value":{"entity-type":"item","numeric-id":2440575,"id":"Q2440575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9316e55df16b0bba67361b9e571a8398f9bb961","datavalue":{"value":{"amount":"+0.7516462206840515","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":"Q1283129$4C350BF4-E0EB-4C8A-925F-8D30BEA0A591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The length of some diagonalization games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_length_of_some_diagonalization_games"}}}}}