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.