Ultravaluations and their Applications in $$\textsf{CPL}$$
Krzysztof Aleksander Krawczyk, Bożena Pięta · Logica Universalis · 2023
Abstract This paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability.