Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Saveliev, Denis"'
Autor:
Saveliev, Denis, Kuchakov, Ruslan
We present the comprehensive Russian primary and secondary legislation corpus covering 1991 to 2023. The corpus collects all 281,413 texts (176,523,268 tokens) of non-secret federal regulations and acts, along with their metadata. The corpus has two
Externí odkaz:
http://arxiv.org/abs/2406.04855
Autor:
Saveliev, Denis I.
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 instance of such rules was the $\omega$-rule introduced by Hilbert, and gener
Externí odkaz:
http://arxiv.org/abs/2312.06626
Autor:
Saveliev, Denis I.
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 ultrafilters. We show that the extension of the latter type is properly inc
Externí odkaz:
http://arxiv.org/abs/2001.02456
Autor:
Saveliev, Denis I.
We show that for every Tychonoff space $X$ and Hausdorff operation $\mathbf\Phi$, the class $\mathbf\Phi(\mathscr Z,X)$ generated from zero sets in $X$ by $\mathbf\Phi$ has the reduction or separation property if the corresponding class $\mathbf\Phi(
Externí odkaz:
http://arxiv.org/abs/2001.02033
Autor:
Saveliev, Denis I.
Publikováno v:
WoLLIC 2019. Lecture Notes in Computer Science, vol. 11541, pp. 584-593. Springer, Berlin, Heidelberg
Let $\kappa,\lambda$ be regular cardinals, $\lambda\le\kappa$, let $\varphi$ be a sentence of the language $\mathcal L_{\kappa,\lambda}$ in a given signature, and let $\vartheta(\varphi)$ express the fact that $\varphi$ holds in a submodel, i.e., any
Externí odkaz:
http://arxiv.org/abs/1903.04993
There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as its main
Externí odkaz:
http://arxiv.org/abs/1812.06248
Autor:
Saveliev, Denis I.
The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent ultrafilters in
Externí odkaz:
http://arxiv.org/abs/1810.01947
Given a class $\mathcal C$ of models, a binary relation ${\mathcal R}$ between models, and a model-theoretic language $L$, we consider the modal logic and the modal algebra of the theory of $\mathcal C$ in $L$ where the modal operator is interpreted
Externí odkaz:
http://arxiv.org/abs/1804.09810
Autor:
Saveliev, Denis I., Shelah, Saharon
We show that there exist models $\mathcal M_1$ and $\mathcal M_2$ such that $\mathcal M_1$ elementarily embeds into $\mathcal M_2$ but their ultrafilter extensions $\beta(\mathcal M_1)$ and $\beta(\mathcal M_2)$ are not elementarily equivalent.
Externí odkaz:
http://arxiv.org/abs/1712.06198
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2020 Oct 01. 108(5), 989-1017.
Externí odkaz:
https://www.jstor.org/stable/45379256
