Global square sequences in extender models

We present a construction of a global square sequence in extender models with λ-indexing.