{"entities":{"Q1207237":{"pageid":1217986,"ns":120,"title":"Item:Q1207237","lastrevid":66307896,"modified":"2026-04-12T09:05:50Z","type":"item","id":"Q1207237","labels":{"en":{"language":"en","value":"Certain \\(L\\)-spaces under CH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149392"}},"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":"Q1207237$9AA87283-6A48-4D66-AA5F-DF346F54D554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2a3319e945c88cf2c38f6e1c73ee75a41a3573b","datavalue":{"value":{"text":"Certain \\(L\\)-spaces under CH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207237$E16AFFE6-213A-4564-933E-EAFF82F4497D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00df273ac884ffeeecef18390c1cb8e4ac927277","datavalue":{"value":"0771.54021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207237$0013CC1C-1BF9-4C74-8F31-76F26F7F8C9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f99ec93a23d18a91dc26f63484aa134b0b6e055d","datavalue":{"value":"10.1016/0166-8641(92)90111-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207237$9AE6D41E-A2F8-4549-975C-C7C10851839A","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":"Q1207237$710E2020-B2B4-4F19-87F9-1D71B966A7EC","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":"Q1207237$999BC386-F06B-4837-B18F-B69CAD8C44A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207237$F631C634-2E28-4A07-BB14-3137031502AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b061c7dd0d52d0ffed36c77212e555916cc1e11","datavalue":{"value":"HFC's are subspaces of \\(2^{\\omega_ 1}\\) which capture much of the combinatorics involved in the study of \\(L\\)-spaces. With their duals, HFD's (which capture much of the combinatorics in the study of \\(S\\)- spaces) they have been studied both for the light they shed on \\(S\\) and \\(L\\) (e.g. Szenmikl\u00f3ssy's proof that ``\\(MA+\\neg CH+\\) there is an \\(S\\)- space'' used HFD's) and for their own sake. HFC's generalize to \\(\\text{HFC}_{\\text{w}}\\) (the ``w'' stands for ``weak'') and particularize to strong HFC's and strong \\(\\text{HFC}_{\\text{w}}\\)'s. This paper asks: if you start with an HFC (a) what kind of subspaces must it have? (b) must it be destroyed by some ccc forcing?   Here are the technical definitions. A family \\(M\\) of finite functions from \\(\\omega_ 1\\) to 2, \\(M=\\{\\sigma_{\\alpha,k}:\\) \\(\\alpha<\\kappa\\), \\(k<n<\\omega\\}\\), is a regular \\((\\kappa,n)\\)-matrix iff for \\(\\beta\\neq\\alpha\\) and \\(i,j < n\\), \\(\\text{dom }\\sigma_{\\alpha,i}\\cap\\text{dom }\\sigma_{\\beta,j}=\\emptyset\\). \\(M\\) is an almost-\\(n\\) cover for \\(Y\\subset 2^{\\omega_ 1}\\) iff there is \\(Y'\\) a countable subset of \\(Y\\) so that for all \\((x_ 0,\\dots,x_{n-1})\\in (Y\\setminus Y')^ n\\), there is some \\(\\alpha\\) so that \\(\\sigma_{\\alpha,k}\\subset x_ k\\) for all \\(k\\). A set \\(X\\subset 2^{\\omega_ 1}\\) is an HFC iff every regular \\((\\omega,1)\\)- matrix \\(M\\) is an almost \\(n\\)-cover for \\(X\\); an \\(\\text{HFC}_{\\text{w}}\\) iff for every regular \\((\\omega_ 1,1)\\)-matrix \\(M\\) there is a \\(\\alpha <\\omega_ 1\\) and an \\((\\alpha,1)\\)-submatrix \\(M'\\) which is an almost \\(n\\)- cover for \\(X\\); a strong HFC iff for all \\(n\\), every regular \\((\\omega,n)\\)- matrix \\(M\\) is an almost \\(n\\)-cover for \\(X\\); and a strong \\(\\text{HFC}_{\\text{w}}\\) iff for all \\(n\\) and every regular \\((\\omega_ 1,n)\\)-matrix \\(M\\) there is \\(\\alpha <\\omega_ 1\\) and an \\((\\alpha,n)\\)- submatrix \\(M'\\) which is an almost \\(n\\)-cover for \\(X\\).   Clearly (strong) HFC's are (strong) \\(\\text{HFC}_{\\text{w}}\\)'s, and \\(\\text{HFC}_{\\text{w}}\\)'s are hereditarily Lindel\u00f6f. The main theorems are   1. Under CH, every HFC contains a strong HFC subspace.   2. Under stick (a weakening of CH), every HFC contains a strong \\(\\text{HFC}_{\\text{w}}\\).   3. Under stick, if \\(X\\) is a strong \\(\\text{HFC}_{\\text{w}}\\), then there is a ccc partial order forcing \\(X\\) to no longer be hereditarily Lindel\u00f6f.   As a corollary to 3, under stick, if \\(X\\) is an HFC then there is a ccc partial order forcing \\(X\\) to no longer be hereditarily Lindel\u00f6f. On the other hand,   4. Under GCH, if \\(X\\) is an HFC, then there is a ccc partial order \\(P\\) forcing ``every ccc order forces \\(X\\) to be \\(\\text{HFC}_{\\text{w}}\\)''.   So, for example, you could start with a model of GCH, construct an HFC \\(L\\)-space, force with the \\(P\\) of theorem 4, and then force \\(MA + \\neg CH\\) in the usual way to get Abraham and Todorcevic's theorem: ``\\(MA + \\neg CH +\\) there is an \\(L\\)-space'' is consistent.   The proof of theorem 4 uses a generalization of the main notion (2- complicated) of the Abraham and Todorcevic proof. The proofs of theorems 1 and 2 use chains of elementary submodels.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$66226173-70EC-442E-80A1-3FE47CD07E49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207237$EAEAB3E0-570B-4697-AC6A-0DAE613B0FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"507a2632d23cf7f7b251ac3f142d021e17ebc41b","datavalue":{"value":"54A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207237$D8D94E48-46EB-4617-9A94-D8DA6D303A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d61347ca0a982dc00edfba3ef34ba9d33ea90c2","datavalue":{"value":"149392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207237$2DA67203-66AB-474C-A4D9-BB5931157823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77fdf89f654d5e6e988e785c102ab519ccc8cd5","datavalue":{"value":"ccc-indestructible property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$28B7362E-5628-4CF3-8184-E27DCF056928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$32770ED2-3B66-4F3B-A93B-F6952E3AA842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$142D8B83-B030-4402-833B-B71AF193D063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$428CDA1E-B678-4B34-AA45-FD30E47B282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f45b77cd925f6c026bf4a4ae8d5f08710def72","datavalue":{"value":"HFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$25D00F49-743A-4C19-938A-85AF75707A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f595a32ae6a678e708ce0072045531f5eea5b3","datavalue":{"value":"\\(L\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$9A018CBC-31A3-48C7-8DDD-C330420410EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c7e8c78f38d136d7f1b1a9e310623a7bb94fc37","datavalue":{"value":"elementary submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207237$88254520-63CD-4253-BF09-FBEC785A5A62","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":"Q1207237$1055E81F-5B51-4B78-8780-A9B7C198081D","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":"Q1207237$95A69115-81DF-4392-AE9F-7C0AB22C79A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f647afd2c47b81f74e7ae5d8429d76f4b367967","datavalue":{"value":{"entity-type":"item","numeric-id":3679872,"id":"Q3679872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207237$18D5C9A8-55BA-47E4-8EE5-FC90282AFB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207237$4D4B297A-C83E-4582-BA58-BD1CE5DAFFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2445ad14ffb62be132199f262acd924aa217ee0d","datavalue":{"value":{"entity-type":"item","numeric-id":3928647,"id":"Q3928647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207237$FB78916B-AF06-47BA-BD7A-E43830E0D43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295902d28280b98496f7e15a8a7c0f4452b011e4","datavalue":{"value":{"entity-type":"item","numeric-id":5935977,"id":"Q5935977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207237$B14AB7FF-BDEF-4FB5-B8E7-4D9A8854F58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875b610c6fc490688de64f524592b1dc8e598d02","datavalue":{"value":{"entity-type":"item","numeric-id":789762,"id":"Q789762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207237$E7999E9E-DB73-4663-898D-9713A472E8B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"19dad69ab9fe3c12e84b879e5bf4dbfa32ae07fe","datavalue":{"value":"Q126464993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207237$59D1D416-E6C5-43F2-9707-420166F64F4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660c719a65f3f5ea8251e9153465e91a6ce201cd","datavalue":{"value":{"entity-type":"item","numeric-id":1867183,"id":"Q1867183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e3c73a6cb6103877fe8d7549ef84f3cfcac5d7","datavalue":{"value":{"amount":"+0.7961695790290833","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":"Q1207237$5F867B56-35F6-4198-B9BB-988AC49A09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2c00ca92986791ff0147bd958bbeddd9968a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3653782,"id":"Q3653782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8231495f194fa24dda0ae25ae429318dc6390f2c","datavalue":{"value":{"amount":"+0.7929439544677734","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":"Q1207237$87DF93DF-B4AF-454E-939D-88FA885EC606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8608ca0c34f69edc569543432edfce9b77b3787","datavalue":{"value":{"entity-type":"item","numeric-id":2759156,"id":"Q2759156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f0828be3ce18cc8650bb8020a8e9edb4c785f9","datavalue":{"value":{"amount":"+0.7812250852584839","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":"Q1207237$11BE7590-4B12-4A33-BFAB-3D0FC01112C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b958804d0856df3593a10a249787dd47c59d71","datavalue":{"value":{"entity-type":"item","numeric-id":1089627,"id":"Q1089627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f0828be3ce18cc8650bb8020a8e9edb4c785f9","datavalue":{"value":{"amount":"+0.7812250852584839","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":"Q1207237$58F539B7-B5E9-4851-B036-A532937B249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8667ffc9c5395f57c9dd96602f3d03987014995c","datavalue":{"value":{"entity-type":"item","numeric-id":5935977,"id":"Q5935977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2af5ea58986fe7aa573dd2c383b99516dbbea7","datavalue":{"value":{"amount":"+0.7802572846412659","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":"Q1207237$AF0E9C5E-1B4C-4C3F-B525-57F91E3798C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certain \\(L\\)-spaces under CH","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certain_%5C(L%5C)-spaces_under_CH"}}}}}