Спектр теории
- Спектр теории — множество всех моделей теории.
- Спектр счетной полной теории является спектром некоторой счетной полной теории.
- Глубина теории определяет число d в списке возможностей спектра.
- Теория 2T определяется как теория с бесконечным числом классов эквивалентности, каждый из которых является моделью T.
- Теории
- ℶ
- n
- (
- T
- )
- около
- 0
- =
- ,
- +
- 1
- 2
Полный текст статьи: