2 citations · 5 across the 11 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
On ultrafilter extensions of first-order models and ultrafilter interpretations
Nikolai L. Poliakov, Denis I. Saveliev
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 o…
math.LO2018
On modal logics of model-theoretic relations
Denis I. Saveliev, Ilya B. Shapirovsky
Given a class of models, a binary relation between models, and a model-theoretic language , we consider the modal logic and the modal algebra of the…