Ultravaluations and their Applications in $$\textsf{CPL}

Ultravaluations and their Applications in $$\textsf{CPL}

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logica universalis 2023-09, Vol.17 (3), p.259-267
Hauptverfasser: Krawczyk, Krzysztof A., Piȩta, Bożena
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1661-8297
1661-8300
DOI:10.1007/s11787-023-00329-9