Denis I. Saveliev

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 8

Top Topics

Satisfiability Testing

Universally Quantified

Top Venues

Arch. Math. Log.

Publications

Denis I. Saveliev, Ilya Shapirovsky
Medvedev's logic and products of converse well orders. AiML (2022)
Nikolai L. Poliakov, Denis I. Saveliev
On ultrafilter extensions of first-order models and ultrafilter interpretations. Arch. Math. Log. 60 (5) (2021)
Denis I. Saveliev, Ilya Shapirovsky
On Modal Logics of Model-Theoretic Relations. Stud Logica 108 (5) (2020)
Denis I. Saveliev, Saharon Shelah
Ultrafilter extensions do not preserve elementary equivalence. Math. Log. Q. 65 (4) (2019)
Denis I. Saveliev
On First-Order Expressibility of Satisfiability in Submodels. WoLLIC (2019)
Nikolai L. Poliakov, Denis I. Saveliev
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. WoLLIC (2017)
Paul E. Howard, Denis I. Saveliev, Eleftherios Tachtsis
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. Math. Log. Q. 62 (3) (2016)
Denis I. Saveliev
Ultrafilter Extensions of Linearly Ordered Sets. Order 32 (1) (2015)
Denis I. Saveliev
On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces. TACL (2013)
Denis I. Saveliev
Ultrafilter Extensions of Models. ICLA (2011)