О мощности определимых множеств в надстройке над моделью

Вводится понятие надстройки над моделью. Примером надстройки является $\mathbb{HF}(\mathfrak M)$ – наследственно конечная надстройка над моделью $\mathfrak M$. Изучается вопрос о мощности определимых (интерпретируемых) множеств в надстройке над $\lambda$-однородной или $\lambda$-насыщенной моделью.