1. На главную
  2. Электронные версии
  3. Доклады Российской академии наук. Математика, информатика, процессы управления
  4. T. 513, № 1, 2023

Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, T. 513, № 1, стр. 5-8

СЧЕТНЫЕ МОДЕЛИ ПОЛНЫХ УПОРЯДОЧЕННЫХ ТЕОРИЙ

Т. С. Замбарная 1, *, Б. С. Байжанов 1, 2

1 Институт математики и математического моделирования
Алматы, Казахстан

2 Университет имени Сулеймана Демиреля
Каскелен, Казахстан

* E-mail: zambarnaya@math.kz

Поступила в редакцию 13.09.2023
После доработки 04.10.2023
Принята к публикации 19.10.2023

Аннотация

Статья содержит наблюдения о полных теориях счетных сигнатур и их счетных моделях. Мы приводим построение счетной линейно упорядоченной теории, имеющей то же число счетных неизоморфных моделей, что и данная счетная, не обязательно линейно упорядоченная теория.

Ключевые слова: линейный порядок, число счетных моделей, гипотеза Воота

Список литературы

  1. Morley M. The number of countable models // The Journal of Symbolic Logic. 1970. V. 35. №1. P. 14–18.

  2. Rubin M. Theories of linear order // Israel Journal of Mathematics. 1974. V. 17. P. 392–443.

  3. Mayer L. Vaught’s conjecture for o-minimal theories // Journal of Symbolic Logic. 1988. V. 53. № 1. P. 146–159.

  4. Alibek A., Baizhanov B.S. Examples of countable models of a weakly o-minimal theory // Int. J. Math. Phys. 2012. V. 3. № 2. P. 1–8.

  5. Kulpeshov B.Sh., Sudoplatov S.V. Vaught’s conjecture for quite o-minimal theories // Annals of Pure and Applied Logic. 2017. V. 168. № 1. P. 129–149.

  6. Alibek A., Baizhanov B.S., Kulpeshov B.Sh., Zambarnaya T.S. Vaught’s conjecture for weakly o-minimal theories of convexity rank 1 // Annals of Pure and Applied Logic. 2018. V. 169. № 11. P. 1190–1209.

  7. Moconja S., Tanovic P. Stationarily ordered types and the number of countable models // Annals of Pure and Applied Logic. 2019. V. 171. № 3. P. 102765.

  8. Kulpeshov B.Sh. Vaught’s conjecture for weakly o-minimal theories of finite convexity rank // Izvestiya: Mathematics. 2020. V. 84. № 2. P. 324–347.

  9. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М.: МЦНМО, 2002.

Дополнительные материалы отсутствуют.

Инструменты

следующая статья выпуска содержание выпуска

Доклады Российской академии наук. Математика, информатика, процессы управления

Архивы выпусков Информация о журнале Отправить рукопись в журнал