I0 and combinatorics at λ+

We investigate the compatibility of with various combinatorial principles at lambda(+), which include the existence of lambda(+)-Aronszajn trees, square principles at lambda, the existence of good scales at lambda, stationary reflections for subsets of lambda(+), diamond principles at lambda and the singular cardinal hypothesis at lambda. We also discuss whether these principles can hold in L(V lambda+1).