### ?

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

There exist two known concepts of ultrafilter extensions of first-order models, both in a certain sense canonical. One of them comes from modal logic and universal algebra. Another one comes from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as its main precursor. By a classical fact, the space of ultrafilters over a discrete space is its largest compactification. Here we offer a uniform approach to both types of extensions. It is based on the idea to extend the extension procedure itself. We propose a generalization of the standard concept of first-order models in which functional and relational symbols are interpreted rather by ultrafilters over sets of functions and relations than by functions and relations themselves. We provide two specific operations which turn generalized models into ordinary ones, and establish necessary and sufficient conditions under which the latter are the two canonical ultrafilter extensions of some models.