Аннотация:
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 meet-trees 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.
Полный текст:
PDF файл (534 kB)