for uncountable first order theories, for AECs, and for formula_9-saturated models of a countable theory.
Вопрос о непротиворечивости этой теории (а тем более — о существовании модели для неё) остаётся нерешённым.