On the number of countable models of constant and unary predicates expansions of the dense meet-tree theory
On the number of countable models of constant and unary predicates expansions of the dense meet-tree theory
Сибирские электронные математические известия, 21, 2, 755-770 (2024)
Аннотация:
In the paper, we investigate Ehrenfeucht theories, that is, theories which have finitely 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 finite realizations. Also, we study the realizations of models over a certain set of formulas based on the Rudin-Keisler preorders on models.
Ключевые слова: Constant expansion, Ehrenfeucht theory, the number of countable models, the number of limit models, the number of prime models, small theory, Rudin-Keisler preorder