An inductive definition of higher gap simplified morasses
István Szalkai · Publicationes Mathematicae Debrecen · 2001
In this paper we give an inductive definition of higher (finite) gap simplified morasses and prove their existence in L. Our construction continues Velleman's gap-2 definition [Ve8] towards higher (finite) gaps, after revealing the inner structure of and the hierarchical connection among these combinatorial set-theoretical structures of different gaps.Our presented variant is different from Ch. Morgan's [Mo] and Jensen's [Je1] ones and has application in [Sz1].The present paper contains Sections 1 and 5 of the author's Thesis [Sz2] dated 1991.