Work

Ultrafilter Extensions of Bounded Graphs are Elementary

Year: 2024

Type: article

Abstract: 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.

Source: Studia Logica

DOI: 10.1007/s11225-024-10148-8

Author: Zalán Molnár

Institution: Eötvös Loránd University

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,990

Funders: Eötvös Loránd Tudományegyetem, Innovációs és Technológiai Minisztérium, Nemzeti Kutatási, Fejlesztési és Innovaciós Alap