Denis I. Saveliev

According to our database, Denis I. Saveliev authored at least 10 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2022

Medvedev's logic and products of converse well orders.

Denis I. Saveliev, Ilya Shapirovsky

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

On ultrafilter extensions of first-order models and ultrafilter interpretations.

Nikolai L. Poliakov, Denis I. Saveliev

Arch. Math. Log., 2021

2020

On Modal Logics of Model-Theoretic Relations.

Denis I. Saveliev, Ilya Shapirovsky

Stud Logica, 2020

2019

Ultrafilter extensions do not preserve elementary equivalence.

Denis I. Saveliev, Saharon Shelah

Math. Log. Q., 2019

On First-Order Expressibility of Satisfiability in Submodels.

Denis I. Saveliev

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations.

Nikolai L. Poliakov, Denis I. Saveliev

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.

Paul E. Howard, Denis I. Saveliev, Eleftherios Tachtsis

Math. Log. Q., 2016

2015

Ultrafilter Extensions of Linearly Ordered Sets.

Denis I. Saveliev

Order, 2015

2013

On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces.

Denis I. Saveliev

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2011

Ultrafilter Extensions of Models.

Denis I. Saveliev

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011