{"entities":{"Q636355":{"pageid":638203,"ns":120,"title":"Item:Q636355","lastrevid":63168213,"modified":"2026-04-11T11:03:50Z","type":"item","id":"Q636355","labels":{"en":{"language":"en","value":"Cardinal sequences of LCS spaces under GCH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943644"}},"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":"Q636355$4C06D408-596A-4C9F-9565-BF0801B2D022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ab4bba9c1d5b621679a135d6fa1be907e28e6f4","datavalue":{"value":{"text":"Cardinal sequences of LCS spaces under GCH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636355$79BB63AE-D5F0-4ECB-83B1-DB6BCBE7FE22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d08ba45e0e634963f997a53001de4913ec12c2e","datavalue":{"value":"1226.54006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$C759AC32-E37A-499E-9B3B-8D584990F6D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5376f28ddcd55ae3755767e9e930fdfe1e69989","datavalue":{"value":{"entity-type":"item","numeric-id":218970,"id":"Q218970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$B0FE1CEB-F886-40F1-A79B-0BFE44C64E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"167e0ebe687a82165444d16167d1209830a2aaf0","datavalue":{"value":{"entity-type":"item","numeric-id":193718,"id":"Q193718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$95FEB1F4-B011-4BD9-A982-F843F970A869","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$B4DF5E26-B173-4362-BFC1-536F572EA58D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636355$F65D5CE7-C9DD-4688-BE65-6DF2E92FDE1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10a73dcc4b9e6608350e3819e3aa0ddaa929fdb0","datavalue":{"value":"https://arxiv.org/abs/0712.0584","type":"string"},"datatype":"url"},"type":"statement","id":"Q636355$EED42816-E33A-49A5-8E1F-B5BF22129E64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79191aa077d3904d12112d59d7adc0df184896cc","datavalue":{"value":"Given a locally compact scattered (a.k.a. LCS) space \\(X\\), the Cantor-Bendixson hierarchy is defined as follows: \\(X(0) = \\{\\)isolated points of \\(X\\}\\); for \\(\\alpha > 0\\), \\(X(\\alpha) = \\{\\)isolated points of \\(X \\setminus \\bigcup_{\\beta < \\alpha}X_{\\beta}\\}\\). The least \\(\\alpha\\) for which \\(X(\\alpha) = 0\\) is the height of \\(X\\) and is denoted \\(\\mathrm{ht} X\\). A cardinal sequence \\(f\\) for a locally compact scattered space \\(X\\) is a function \\(f: \\mathrm{ht} X \\rightarrow CARDS\\) so that each \\(f(\\beta) = |X(\\beta)|\\).  By a result of Juhasz and Weiss, cardinal sequences of length \\(\\leq \\omega_1\\) are completely characterized (basically: anything that ought to happen does happen). By results of Just and Baumgartner, there is no ZFC characterization above \\(\\omega_1\\). But an earlier result of the authors shows that under GCH you can characterize the cardinal sequences of spaces of height \\(< \\omega_2\\).  The purpose of this paper is to explore what can happen for height \\(\\omega_2\\) and above.   Let \\(\\mathcal C(\\alpha)\\) be the collection of cardinal sequences for LCS  spaces of height \\(\\alpha\\), and let \\(\\mathcal C_{\\lambda}(\\alpha) = \\{f \\in \\mathcal C(\\alpha): f(0) = \\lambda = \\inf_{\\beta < \\alpha}|f(\\beta)|\\}\\).   The authors observe that if \\(\\lambda \\geq \\omega_2\\) then \\(f \\in \\mathcal C(\\omega_2)\\) iff \\(f|_{\\alpha} \\in \\mathcal C_{\\lambda}(\\alpha)\\) for each \\(\\alpha < \\omega_2\\).   What about \\(\\mathcal C_{\\omega_1}(\\omega_2)\\)?   This requires another definition: \\(\\mathcal D_{\\omega}(\\alpha) =\\{f \\in \\{\\omega, \\omega_1\\}^{\\alpha}: (0) = \\omega\\}\\). If \\(\\lambda > \\omega\\), then \\(\\mathcal D_{\\lambda}(\\alpha)= \\{f \\in \\{\\lambda, \\lambda^+\\}^{\\alpha}: f(0) = \\lambda\\), and \\(L = f^{-1}(\\lambda)\\) satisfies the following: if \\(\\beta \\in L\\) then \\(\\beta + 1 \\in L \\cup \\{\\alpha\\}\\); and if \\(A \\subset L\\) where \\(|A| = \\kappa < \\lambda\\) then \\(\\sup A \\in L \\cup \\{\\alpha\\}\\).   In a previous paper, the authors proved that, under GCH, \\(\\mathcal C_{\\omega_1}(\\delta) \\subseteq \\mathcal D_{\\omega_1}(\\delta)\\) for \\(\\delta < \\omega_2\\).   \\textbf{Theorem.} Assume GCH. Let \\(\\omega_2 \\leq \\alpha < \\omega_3\\). There is a forcing \\(\\mathbb P\\) which preserves GCH so that \\(V^{\\mathbb P} \\Vdash \\mathcal C_{\\omega_1}(\\delta) = \\mathcal D_{\\omega_1}(\\delta)\\) for \\(\\delta < \\omega_3\\).  This is a special case of a more general theorem in the paper:   \\textbf{Theorem 2.} Given an uncountable regular cardinal \\(\\kappa\\) , \\(\\kappa^{< \\kappa} = \\kappa\\) and \\(2^{\\kappa} = \\kappa^+\\), then if \\(\\delta < \\kappa^{++}\\) there is a \\(\\kappa\\)-complete \\(\\kappa^+\\)-cc partial order \\(\\mathbb P\\) with \\(|\\mathbb P| = \\kappa^+\\) so that \\(V^{\\mathbb P} \\Vdash \\mathcal C_{\\kappa}(\\delta) = \\mathcal D_{\\kappa}(\\delta)\\).   The proof proceeds by using \\(\\mathbb P\\) to force the existence of a \\(\\mathcal C_{\\kappa}(\\delta)\\) universal LCS space, i.e. a space \\(X\\) whose cardinal sequence lies in \\(\\mathcal C_{\\kappa}(\\delta)\\) and satisfying: \\(\\mathcal C_{\\kappa}(\\delta) \\subset \\{\\)cardinal sequences of open subspaces of \\(X\\}\\).   Finally, the authors show that a consistent (with GCH) characterization of \\(\\mathcal C(\\alpha)\\) is possible for each \\(\\alpha\\):   \\textbf{Theorem 3.} Suppose \\(f \\in V \\Vdash GCH, \\mathrm{dom} f = \\alpha\\). Then there is a cardinal-preserving GCH-preserving forcing \\(\\mathbb P\\) in which \\(V^{\\mathbb P} \\Vdash (f \\in \\mathcal C_{\\alpha}\\) iff there is \\(n < \\omega\\), a decreasing sequence \\(\\lambda_0 >\\cdots > \\lambda_{n-1}\\), and \\(\\alpha_0, \\cdots \\alpha_{n-1}\\) with \\(\\alpha = \\alpha_0 + \\cdots \\alpha_{n-1}\\) so that \\(f = f_0 \\frown f_1\\cdots \\frown f_{n-1}\\) where each \\(f_i \\in \\mathcal D_{\\lambda_i}(\\alpha_i))\\).   The proof basically proceeds by finite iteration of the forcings provided by Theorem 2.   A number of questions remain, in particular whether the characterization of Theorem 3 can be uniform, i.e., under GCH can you prove: \\(\\forall \\alpha \\;f \\in \\mathcal C_{\\alpha}\\) iff there is \\(n < \\omega\\), a decreasing sequence \\(\\lambda_0 >D\\cdots > \\lambda_{n-1}\\) and \\(\\alpha_0,\\cdots \\alpha_{n-1}\\) with \\(\\alpha = \\alpha_0 + \\cdots \\alpha_{n-1}\\) so that \\(f = f_0 \\frown f_1\\cdots \\frown f_{n-1}\\) where each \\(f_i \\in \\mathcal D_{\\lambda_i}(\\alpha_i)\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q636355$61250580-2C2C-4C7C-AA55-54339033A64B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b883d357593be4500a752315c01f382d8c2baf4","datavalue":{"value":{"entity-type":"item","numeric-id":587961,"id":"Q587961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$353A2A75-9A77-4738-BD4D-B23F0BE52749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"507a2632d23cf7f7b251ac3f142d021e17ebc41b","datavalue":{"value":"54A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$915CA3E9-9415-4D18-8C98-51CD4804CCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$D59AD676-C3BD-47A2-9F1B-B0DB56180980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$2805DC27-5753-427E-A8BC-D9B5333633A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"601e38db0975d749e2be6dfce744b0f7179ec96e","datavalue":{"value":"54G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$39353F79-CF41-40B4-B466-971D76498447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f36694b6a90f5ed58f65582d12e39635157bc14","datavalue":{"value":"5943644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$A171A151-B02C-4CD3-9668-0C4A134EA4CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"160552a26750385b59e5cdfbcd19f5cfaf9a43a6","datavalue":{"value":"locally compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q636355$9818B15A-BA4D-4E46-BCDF-1D5FAAABF674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d886b57ec77de8062c8b83e3098bcf7e8b13368","datavalue":{"value":"scattered","type":"string"},"datatype":"string"},"type":"statement","id":"Q636355$DF989E21-2D51-4D69-B0C7-16BC25387451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74aad338ad6e367910b952dec4aa3f9944364290","datavalue":{"value":"GCH","type":"string"},"datatype":"string"},"type":"statement","id":"Q636355$32943160-CDDE-4FB1-AC9D-37E41896FD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71352d6162817435189a62aacec894cd3794832","datavalue":{"value":"cardinal sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q636355$82C89AF2-4E3C-42B2-BC3A-C4DEEEB7576B","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":"Q636355$485FF825-074F-4D87-B588-991E48918CAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc59b43b44be7d42dad6936483b3124cc9958113","datavalue":{"value":"W2097355897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$4B646322-65F2-4FC6-BD28-68EF43F4C178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a340b430bd25dc3449e9ec2b2a7733baae9f91d5","datavalue":{"value":{"entity-type":"item","numeric-id":4794592,"id":"Q4794592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$2B58E0D8-AC52-4214-BDA9-05793BC739D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368dc22743acf19be39a788d012f572724e40bac","datavalue":{"value":{"entity-type":"item","numeric-id":3375508,"id":"Q3375508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$888267C2-EB63-43C9-A141-F920A40F9299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6ad3a2ee9dd4b026085bcd66eb485fd0a2c9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3205954,"id":"Q3205954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$2C33CA8B-A9E6-4C1A-887A-E364A39991E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1964626c92164b8042d6e97b9c47e8eaa8a47f54","datavalue":{"value":{"entity-type":"item","numeric-id":861820,"id":"Q861820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$282574A4-C002-4B00-AFD5-5275C51ADBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fc56ff355b1f55f2891607e0eb1a4a4206bc3d","datavalue":{"value":{"entity-type":"item","numeric-id":4248075,"id":"Q4248075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$25924C43-4AC7-4950-9BAE-5302CF142965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd82d0183f311a91c46f8ae738d0198c5dadb890","datavalue":{"value":{"entity-type":"item","numeric-id":3393130,"id":"Q3393130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636355$D46516DC-717C-434B-B597-2484064E9F3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90f498f58f1c4dc5750f5d3976766fe44ef91bcb","datavalue":{"value":"10.1016/J.APAL.2010.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636355$1D29D6D2-7A43-4243-B1C0-A22D2D12D6FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4376253bb7ce8f0c6dc742bdbc5c754e588243","datavalue":{"value":{"entity-type":"item","numeric-id":3375508,"id":"Q3375508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1f820d1a5832bf1b5f85b4ff0d41da0699fe27","datavalue":{"value":{"amount":"+0.8682023882865906","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":"Q636355$ACE7EEB0-4827-473A-8EC1-6C4ECAD9FE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a29f58c923866258e214d46d428e6891977b36","datavalue":{"value":{"entity-type":"item","numeric-id":266316,"id":"Q266316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87da60850dabd153ff5a0b0ee083eae4fdaba1b6","datavalue":{"value":{"amount":"+0.8654488921165466","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":"Q636355$E063B123-C0E7-42E4-A1AC-8B431408F95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15b8d8889b46537421e974ae23703797c33a4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2415950,"id":"Q2415950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49cce45ddc24e463918bd2712573a44b8d0a26bc","datavalue":{"value":{"amount":"+0.8574098944664001","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":"Q636355$0D45BF3E-8EF1-4D55-8ABF-FB9906683B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9245ecf0c3bb8e2a3e4ad1891e0036e55d5c7296","datavalue":{"value":{"entity-type":"item","numeric-id":861820,"id":"Q861820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4951dda08d70e9420145a0ffc894be7f231360","datavalue":{"value":{"amount":"+0.8549886345863342","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":"Q636355$EA951FAF-476E-4A5A-91DF-0874A90942DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fd445b210c0c50ae92cdc3dfdb371678534ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5704808,"id":"Q5704808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e73bd3f49b3fa835335cdf33cfd500373216a90","datavalue":{"value":{"amount":"+0.8408393859863281","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":"Q636355$D36755D6-D5B6-4431-9CED-DEAA5796BB70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinal sequences of LCS spaces under GCH","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cardinal_sequences_of_LCS_spaces_under_GCH"}}}}}