Ultravaluations and their Applications in CPL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf{CPL}$$\end{document}

被引：0

作者：

Krzysztof A. Krawczyk

Bożena Piȩta

机构：

[1] Jagiellonian University,Doctoral School in Humanities, Department of Logic, Faculty of Philosophy, Institute of Philosophy

来源：

Logica Universalis | 2023年 / 17卷 / 3期

关键词：

Ultravaluations; Classical propositional logic; Ultraproduct; Compactness; Definability; Primary 03C20; Secondary 03B05;

D O I：

10.1007/s11787-023-00329-9

中图分类号：

学科分类号：

摘要：

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.

引用

页码：259 / 267

页数：8