Global Chang's Conjecture

Yair Hayut - (joint with Monroe Eskew)

For $\kappa < \lambda$ infinite cardinals let us consider the following generalization of the Lowenheim-Skolem theorem:
"For every algebra with countably many operations over $\lambda^+$ there is a sub-algebra with order type exactly $\kappa^+$".

We will discuss the consistency and inconsistency of some global versions of this statement and present some open questions.