Мы изучаем всевозможные константные обогащения структуры плотного дерева встреч ⟨М; <, П⟩ [3]. Здесь под плотным деревом встреч мы понимаем нижнюю полурешетку без наибольшего и наименьшего элемента. В качестве примера этой структуры с константным обогащением можно взять теорию, которая имеет в точности три попарно неизоморфные счетные модели [6], который является хорошим примером в контексте эренфойхтовых теорий. Мы изучаем всевозможные константные обогащения структуры плотного дерева встреч, используя общую теорию классификации счетных моделей полных теорий [7], а также описание специфики теории плотного дерева, а именно некоторые распределения счетных моделей этих теорий в терминах предпорядков Рудина–Кейслера и функций распределения чисел предельных моделей. В этой статье мы даем новое доказательство теоремы, что эта теория плотного дерева встреч является счетно-категоричной и полной, которое было изначально доказано Перетятькиным. Также эта теория допускает элиминацию кванторов, поскольку множество типов навязывается бескванторными формулами, и это приводит к тому, что она еще и является разрешимой.
We study all possible constant expansions of the structure of the dense meet-tree ⟨М; <, П⟩ [3]. Here, a dense meet-tree is a lower semilattice without the least and greatest elements. An example of this structure with the constant expansion is a theory that has exactly three pairwise non-isomorphic countable models [6], which is a good example in the context of Ehrenfeucht theories. We study all possible constant expansions of the structure of the dense meet-tree by using a general theory of classification of countable models of complete theories [7], as well as the description of the specificity for the theory of a dense-meet tree, namely, some distributions of countable models of these theories in terms of Rudin– Keisler preorders and distribution functions of numbers of limit models. In this paper, we give a new proof of the theorem that the dense meet-tree theory is countable categorical and complete, which was originally proved by Peretyat’kin. Also, this theory admits quantifier elimination since complete types are forced by a set of quantifier-free formulas, and this leads to the fact that it is decidable