Assuming the existence of ! compact cardinals in a model on GCH, we prove the consistency of some new canonization properties on ℵ!. Our aim is to get as dense patterns in the distribution of indiscernibles as possible. We prove Theorem 2.1.
['Heike Mildenberger']
More canonical forms and dense free subsets