Zalán Molnár
Published 2024-05-27Version 1
The main motivation of this paper is the study of first-order model theoretic properties of structures having their roots in modal logic. We will focus on the connections between ultrafilter extensions and ultrapowers. We show that certain structures (called bounded graphs) are elementary substructures of their ultrafilter extensions, moreover their modal logics coincide.
Notes on ultrafilter extensions of almost bounded structures
Ultrafilter extensions of linear orders
Ultrafilter extensions do not preserve elementary equivalence
![QR code for arXiv:2405.17101 [math.LO]](http://oss.arxitics.com/images/favicon.svg)