Статья содержит наблюдения о полных теориях счетных сигнатур и их счетных моделях. Мы приводим построение счетной линейно упорядоченной теории, имеющей то же число счетных неизоморфных моделей, что и данная счетная, не обязательно линейно упорядоченная теория.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации