«Математика» 2013 2

Операторы порождения предпорядков Рудин – Кейслера в классе теорий с континуальным числом типов

Авторы: Р. А. Попков, С. В. Судоплатов
Аннотация:

Строятся операторы на классе сч¨eтных полных теорий с континуаль- ным числом типов, порождающие предпорядки Рудин – Кейслера со всевозможными сч¨eтными ограничениями.

Ключевые слова: теория с континуальным числом типов; предпорядок Рудин – Кейслера; оператор порождения
УДК: 510.67
Литература: 1. Судоплатов С. В. Проблема Лахлана / С. В. Судоплатов. – Новосибирск : Изд-во НГТУ, 2009. – 336 с.
2. Popkov R. A. Distributions of countable models of complete theories with continuum many types / R. A. Popkov, S. V. Sudoplatov // arXiv:1210.4043v1 [math.LO]. – 2012. – 30 p.
3. Sudoplatov S. V. On Rudin – Keisler preorders in small theories / S. V. Sudoplatov // Algebra and Model Theory 8. Collection of papers / eds.: A. G. Pinus, K. N. Ponomaryov, S. V. Sudoplatov, and E. I. Timoshenko. – Novosibirsk : NSTU, 2011. – P. 94–102.
4. Tanovi´c P. Theories with constants and three countable models / P. Tanovi´c // Archive for Math. Logic. – 2007. – Vol. 46, N 5–6. – P. 517–527.