Пространства типов

[mkot]

Ищутся книги и другие источники в которых подробно рассказано про пространства типов, желательно с примерами.

На всякий случай, чтобы было понятно, что спрашивается, приведу определение из книги Бруно Пуаза:

Два элемента $a$ и $b$ в $L$-структурах имеют одинаковый тип, если удовлетворяют одинаковым формулам $f(x)$ из $L$.
Для данного языка $L$ назовём пространством $S_0$ всех $0$-типов пространство $T$ полных теорий в языке $L$. Пространство $S_1$ всех $1$-типов совпадает с пространством полных теорий в языке $L \cup \{x\}$.

[Профессор Снэйп]

Ну, есть такая тема --- типы. Бывают главные, бывают неглавные. Главные всегда реализуются , неглавные можно опускать (соответствующая терема имеет шедевральное название --- "теорема об опускании типов"). Алгебра Линденбаума для них строится. Если для каждого $n$ алгебра $S_n$ конечна, то теория $\omega$-категорична, если атомная, то имеет простую модель, если суператомная --- то насыщенную модель. И т. д. Богатая, короче, теория.

По-моему, тут годится любая мало-мальски продвинутая книга по теории моделей. На ум сразу приходит книга Чена и Кейслера, хотя, наверняка, есть куча другой литературы, возможно, даже лучшей, чем этот хрестоматийный учебник.