Spherical orders, properties and countable spectra of their theories Научная публикация
Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||||||
---|---|---|---|---|---|---|---|---|---|
Вых. Данные | Год: 2023, Том: 20, Номер: 2, Страницы: 588-599 Страниц : 12 DOI: 10.33048/semi.2023.20.034 | ||||||||
Ключевые слова | spherical order, elementary theory, dense spherical order, countably categorical theory, spectrum of countable models, Vaught conjecture | ||||||||
Авторы |
|
||||||||
Организации |
|
Информация о финансировании (1)
1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
Реферат:
We study semantic and syntactic properties of spherical orders and their elementary theories, including nite and dense orders and their theories. It is shown that theories of dense n-spherical orders are countably categorical and decidable. The values for spectra of countable models of unary expansions of n-spherical theories are described. The Vaught conjecture is con rmed for countable constant expansions of dense n-spherical theories
Библиографическая ссылка:
Kulpeshov, B.S.
, Sudoplatov S.V.
Spherical orders, properties and countable spectra of their theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. V.20. N2. P.588-599. DOI: 10.33048/semi.2023.20.034 WOS Scopus РИНЦ
Spherical orders, properties and countable spectra of their theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. V.20. N2. P.588-599. DOI: 10.33048/semi.2023.20.034 WOS Scopus РИНЦ
Даты:
Поступила в редакцию: | 11 окт. 2022 г. |
Принята к публикации: | 15 февр. 2023 г. |
Опубликована в печати: | 21 июл. 2023 г. |
Опубликована online: | 21 июл. 2023 г. |
Идентификаторы БД:
Web of science: | WOS:001044387500002 |
Scopus: | 2-s2.0-85166317960 |
РИНЦ: | 75133063 |