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

Аннотация

Мы подсчитываем все возможные числа счетных моделей теории DMT плотных деревьев встреч, обогащенных несколькими последовательностями констант, включая убывающие, и унарными предикатами с конечными реализациями. Кроме того, мы изучаем реализации моделей по определенному набору формул, основанных на предпорядках Рудина-Кейслера.