2 citations · 5 across the 11 of their papers we have counts for
15 papers
More on expressibility of satisfiability in submodels and extensions
Nikolai L. Poliakov, Denis I. Saveliev
We study expressibility in infinitary languages of the modal operators associated with satisfiability of sentences of these languages in submodels and extensions of models. We give…
On embedding of partially ordered sets in
Nikolai L. Poliakov, Denis I. Saveliev
A natural question, which appeared as Problem 61 in Hart and van Mill's list of open problems on (2024), asks whether every finite partial order is embeddable in the Rudin--Ke…
A note on restriction rules
Denis I. Saveliev
We consider a certain class of infinitary rules of inference, called here restriction rules, using of which allows us to deduce complete theories of given models. The first instanc…
On two types of ultrafilter extensions of binary relations
Denis I. Saveliev
There exist two distinct types of ultrafilter extensions of binary relations, one discovered in universal algebra and modal logic, and another, in model theory and algebra of ultra…
On reduction and separation of projective sets in Tychonoff spaces
Denis I. Saveliev
We show that for every Tychonoff space and Hausdorff operation , the class generated from zero sets in by has the reduction or…
On first-order expressibility of satisfiability in submodels
Denis I. Saveliev
Let be regular cardinals, , let be a sentence of the language in a given signature, and let express the fact that holds in a…