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…