Publications
Article · Sibirskie Elektronnye Matematicheskie Izvestiya · December 31, 2024
On the number of countable models of constant and unary predicates expansions of the dense meet-tree theory
A. B. Dauletiyarova, Viktor Verbovskiy
Abstract
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.
Advanced Topology and Set TheoryAdvanced Algebra and LogicRings, Modules, and Algebrascountable models
More by Viktor Verbovskiy
- ON A LOCAL ANALOGUE OF THE STRICT ORDER PROPERTY INSIDE A CUT FOR LINEARLY ORDERED STRUCTURESHerald of Kazakh-British technical university · 2026
- On interior of definable subsets of ordered o- ω -stable fields2025
- EXAMPLES OF O-MINIMAL EXPANSIONS OF THE DENSE MEET TREEHerald of Kazakh-British technical university · 2025
- PURE LINEAR ORDERINGS OF MORLEY O-RANK 1International Journal of Mathematics and Physics · 2025