{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1428037","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1428037","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1428037","kernelVersion":"v1","immutable":true,"modified":"2026-01-04T03:09:17Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1428037","name":"More canonical forms and dense free subsets.","headline":"More canonical forms and dense free subsets.","description":"scientific article; zbMATH DE number 2056206","url":"https://portal.mardi4nfdi.de/entity/Q1428037","datePublished":"2004-03-14","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q175051"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q122505"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.APAL.2003.10.001","url":"https://doi.org/10.1016/J.APAL.2003.10.001"},"sameAs":["https://doi.org/10.1016/J.APAL.2003.10.001"],"comment":"Answering an old question of Komjáth, and extending some deep results of Devlin, Shelah, and Koepke, the author shows that the consistency of ``ZFC+GCH+there are infinitely many compact cardinals'' implies the consistency of: ZFC+GCH+every structure on \\(\\aleph_\\omega\\) with countable signature has a free subset that contains one point in \\([\\aleph_n,\\aleph_{n+1})\\) for each \\(n\\geq 0\\).  The core of the proof is (an extension of) a theorem asserting, under the same consistency assumption, the consistency of: ZFC+GCH+for each sequence \\(\\langle f_n : n\\in\\omega\\rangle\\) with each \\(f_n\\) being \\(n\\)-ary and regressive on \\(\\aleph_\\omega\\), there exist sets \\(S_n\\subseteq[\\aleph_n,\\aleph_{n+1})\\), \\(n>0\\), such that for each \\(n>0\\), \\(| S_n| \\geq\\aleph_{n-1}\\) and \\(f_n\\) is constant on \\(\\prod_{i=1}^nS_i\\).  The methods include working with indiscernibles and carefully forcing with Levy collapses.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4404892"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1062673"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4379928"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3852172"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3720592"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1099171"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1377636"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3900051"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1155611"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3926574"}]},"provenance":{"prov:generatedAtTime":"2026-01-04T03:09:17Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}