On the number of countable models of constant and unary predicates expansions of the dense meet-tree theory

2024

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)
DOI 10.33048/semi.2024.21.051
Достоверность данных 70 средняя
Как считается эта оценка

Складывается из проверяемых признаков самой записи: есть ли у статьи DOI, сколько независимых источников подтвердили её данные, заполнены ли обязательные поля и насколько свежо последнее подтверждение. Снижают оценку расхождения между источниками и отсутствие идентификатора. Значение от 80 означает, что запись опубликована без дополнительной проверки; от 60 до 79 — что она опубликована с пониженной достоверностью и ручная проверка желательна. Запись, выверенную редактором вручную, пересчёт не опускает ниже 90. Это оценка наших данных о статье, а не оценка самой статьи.

Аннотация

In the paper, we investigate Ehrenfeucht theories, that is, theories which have nitely many countable models but which are not countably categorical.More precisely, we count all possible numbers of countable models of the theory DMT of dense meettrees expanded by several sequences of constants including decreasing ones and by unary predicates with nite realizations.Also, we study the realizations of models over a certain set of formulas based on the Rudin-Keisler preorders on models.