{"entities":{"Q649833":{"pageid":651682,"ns":120,"title":"Item:Q649833","lastrevid":63310278,"modified":"2026-04-11T12:00:30Z","type":"item","id":"Q649833","labels":{"en":{"language":"en","value":"The product of two ordinals is hereditarily dually discrete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5986567"}},"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":"Q649833$2130E4F8-7E97-479D-B705-77015F443128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f0b7ccade0dfd23edfdd9e239ef4774a5d801a3","datavalue":{"value":{"text":"The product of two ordinals is hereditarily dually discrete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q649833$51B9EE3F-0C1C-4CDA-AC37-AAA86AF7F5F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3567fdfcf673ee44398aa0a570c346c8873ed37e","datavalue":{"value":"1234.54034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$6EFE1DCD-069B-4AFF-8FCD-03A55468398E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32442d5501fb5f6b007861ec1ab629965c948abe","datavalue":{"value":{"entity-type":"item","numeric-id":386171,"id":"Q386171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$D9EE5197-C51A-4C23-A1A8-93CC83CEE3F5","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":"Q649833$4319BCA2-E693-4353-AC3A-039524C01E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46276ee8bf145df821d78581e11166b9c32a08ce","datavalue":{"value":{"time":"+2011-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q649833$7F84BEED-14C9-448E-92B6-0290CDAB77CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33529fb7452b861b7f30131eb6cdde4e6dc18038","datavalue":{"value":"A topological space \\((X,\\tau)\\) is called dually discrete (respectively, a \\(D\\)-space) if every mapping \\(U: X\\to\\tau\\) with \\(x\\in U(x)\\) for each \\(x\\in X\\) has a discrete (respectively, closed discrete) kernel, where a subset \\(A\\) of \\(X\\) is a kernel of \\(U\\) if \\(\\bigcup\\{U(x)\\mid x\\in A\\}= X\\). \\(D\\)-spaces were introduced by \\textit{E. K. van Douwen} in a joint paper with \\textit{W. F. Pfeffer} [Pac. J. Math. 81, 371--377 (1979; Zbl 0409.54011)]. A recent survey on \\(D\\)-spaces by \\textit{G. Gruenhage} can be found in [A survey of \\(D\\)-spaces. Babinkostova, L. (ed.) et al., Set theory and its applications. Annual Boise extravaganza in set theory, Boise, ID, USA, 1995--2010. Providence, RI: American Mathematical Society (AMS). Contemporary Mathematics 533, 13--28 (2011; Zbl 1217.54025)]. Dually discrete spaces were introduced by \\textit{J. van Mill}, \\textit{V. V. Tkachuk} and \\textit{R. G. Wilson} in [Topology Appl. 154, No. 10, 2127--2134 (2007; Zbl 1131.54022)] and subsequently studied by \\textit{O. T. Alas}, \\textit{R. Z. Buzyakova}, \\textit{L. R. Junqueira}, \\textit{V. V. Tkachuk}, \\textit{R. G. Wilson} and the present author. In [ibid. 155, No. 13, 1420--1425 (2008; Zbl 1169.54010)], \\textit{O. T. Alas}, \\textit{L. R. Junqueira} and \\textit{R. G. Wilson} have shown that every ordinal with its natural order topology is hereditarily dually discrete. As an answer to one of their questions it is shown here that, more generally, every product of two ordinals is hereditarily dually discrete. It follows that, if \\(\\mu\\), \\(\\nu\\) are ordinals and \\(X\\) is a subspace of \\(\\mu\\times\\nu\\), then the following are equivalent:   (i) \\(X\\) has countable spread; (ii) \\(X\\) is perfectly normal and has countable extent; and (iii) \\(X\\) is hereditarily a Lindel\u00f6f \\(D\\)-space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$61E2D20D-7DE0-4BA7-8B13-94ACEB0258C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$FD820C93-02EF-496C-AC2D-F469D92D110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7939c1ebf7e30729343ad023ea0ee1749a86036","datavalue":{"value":"54G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$5871CE34-2CE8-4445-B857-3FA6F05C76F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$B0E154A8-75A0-4BC7-94CB-A4586132A54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$BB51D07E-6CEE-4591-93E9-0E670ED52B41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"993fd8e1777f78de05edf5613576405eb8b55f09","datavalue":{"value":"5986567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$F2EDF793-7F06-4481-B62E-5B1D7A69303E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbac9911b99a8b253ade783883ffaa61390a3b1","datavalue":{"value":"dually discrete space","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$5B434A38-4AB4-477C-AB57-DB13ADB96518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3728f89bb4acf5cb69ac77117b5ccaa5e7ef57f7","datavalue":{"value":"\\(D\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$5AB7645D-355E-416F-B87E-9838B9B77575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7f09323a83dba84bc6308da844c491211b3aa4","datavalue":{"value":"spread","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$2F904C75-7A6C-4E24-8955-35F79641C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2fd4ec0406e2038b555fa3ea7e2631f32f4c08","datavalue":{"value":"extent","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$58D13E69-415B-4323-A015-36B1C5DCC398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a94d86e4e6bc96bf8865fd1efac06a27bd8cb7","datavalue":{"value":"perfectly normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$D657DC3A-4A54-4E48-A8F0-6C40B3922283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"737531c73687d94807451b7d05c159f99cbf61b5","datavalue":{"value":"Lindel\u00f6f space","type":"string"},"datatype":"string"},"type":"statement","id":"Q649833$9F4F9301-77E8-47E7-B60B-1E075F0D21DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b2911fdeea7f924850571195e6243062eb44a76b","datavalue":{"value":{"entity-type":"item","numeric-id":590219,"id":"Q590219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$3C189BC6-5E8C-4249-BF20-6D5FEC0D12CA","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":"Q649833$B30A0DE0-5604-411B-93FF-9DE66779096B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e5af6c83b5ba15ed7b4d8d4c77ecf7d337ef49f","datavalue":{"value":"https://doi.org/10.1016/j.topol.2011.09.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q649833$97A89A3F-1DA4-4021-8F8A-C60F649ACE5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97c80e036ab0061d3770ad391ba81cb23643c70c","datavalue":{"value":"W2032438987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$426053E9-A14B-4826-972A-28C03BC85D90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee2c3fdbba210d70b6a916c86c8054516158144","datavalue":{"value":{"entity-type":"item","numeric-id":930746,"id":"Q930746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$7EC38097-8647-4252-89CD-F8E648F21A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f71488ee0acd85da6685d3d55cf12f39ed1e65","datavalue":{"value":{"entity-type":"item","numeric-id":3392802,"id":"Q3392802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$8FE75A5C-2F60-481D-8FFA-E081C22B98A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f085313424f293e8f1bd552ef3ff2bbc7aec4a1","datavalue":{"value":{"entity-type":"item","numeric-id":3127311,"id":"Q3127311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$A78ABBDC-A3D9-4070-BEE8-82A26150D4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27431e7cb4aa3b4befa18562641402be66eee3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1259035,"id":"Q1259035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$E1C86AA5-9880-41DF-8E0B-54825FE79F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$695BB120-1DC6-4B70-A375-7864F536746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ecbdaf5978db9504c55238f48713516bc0e11d","datavalue":{"value":{"entity-type":"item","numeric-id":5939248,"id":"Q5939248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$CA920B21-124B-46EB-AA96-BDC2986F84D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$1FA8493A-23DC-4DA4-B7BD-28191747ABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde253c1dec58d46aafa431555c2c317cfdf678","datavalue":{"value":{"entity-type":"item","numeric-id":886307,"id":"Q886307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$77E6EBC0-83F4-4F84-83FE-B41AB005B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af98fb9e30f7b8f00a30f84ed8756f7e6f7fd7f","datavalue":{"value":{"entity-type":"item","numeric-id":946610,"id":"Q946610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$4E43E21C-D161-4E43-B405-5F893F736D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4215a1b8c87215b7632d57b88430553f949065e","datavalue":{"value":{"entity-type":"item","numeric-id":1019145,"id":"Q1019145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$46B20369-E86C-4A74-AA0A-4FA60766A181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027c4c83f0df42a86f74359bf12b600a2383555f","datavalue":{"value":{"entity-type":"item","numeric-id":1032924,"id":"Q1032924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$7F540B0A-E608-4C67-BDEB-25038913DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c40c508c04be3d9d2249170c5caff5fa5d66a33","datavalue":{"value":{"entity-type":"item","numeric-id":989112,"id":"Q989112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649833$0A7DEFEF-7964-4281-829B-01A71E71EBDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8621e058a81604160de954bcb7c275386572f1dc","datavalue":{"value":"10.1016/J.TOPOL.2011.09.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649833$BF1A6D0C-A004-4D8E-A802-50A22C0D4A8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b04f9d52af4c9161c051d290d27f92467f8883","datavalue":{"value":{"entity-type":"item","numeric-id":2230887,"id":"Q2230887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1c77847e93298f463435b1bbe43db850c46bc2","datavalue":{"value":{"amount":"+0.9187708497047424","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":"Q649833$A34E1A5D-9A7D-4284-A524-E91DA2BB92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f6c59e712f716b9d9d5b8bdaf915841faa320","datavalue":{"value":{"entity-type":"item","numeric-id":2979917,"id":"Q2979917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df653e616c9fcb6652dcc410466d5a082dd961b","datavalue":{"value":{"amount":"+0.9109221696853638","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":"Q649833$2F14C91E-9D49-47CE-8A05-395DEDB21641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d9f9f58d51df1d3085d6a5cdb86e1cf29630f4","datavalue":{"value":{"entity-type":"item","numeric-id":2898336,"id":"Q2898336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bb7c986d18eb288da0ad968aab4bbd4a3e408a","datavalue":{"value":{"amount":"+0.8996530175209045","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":"Q649833$EC267859-62FF-4F6E-9C73-CE476476A9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee8f3586ccfd82d033af12b9b385b16fab9b69d","datavalue":{"value":{"entity-type":"item","numeric-id":989112,"id":"Q989112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd132da42c51694770421be517645de30a8fd38","datavalue":{"value":{"amount":"+0.8697980046272278","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":"Q649833$3D18DABF-3AFE-4FC0-93E5-2ADEE6724092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7926e5e6b60a70acde4740563f27653d80579616","datavalue":{"value":{"entity-type":"item","numeric-id":675107,"id":"Q675107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77f4666fa501c3342a3dcfe9b223139d0b423fd","datavalue":{"value":{"amount":"+0.8117424249649048","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":"Q649833$3C5D2411-49D1-4C47-9FA1-67983C28BF88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The product of two ordinals is hereditarily dually discrete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_product_of_two_ordinals_is_hereditarily_dually_discrete"}}}}}