省略不可数型与$[0,1]$-值逻辑的强度
逻辑
2012-02-28 v1
摘要
我们研究在{\L}ukasiewicz-Pavelka 联结词下封闭的-值逻辑；主要实例包括 Ben Yaacov 和 Usvyatsov 的连续逻辑框架\cite{Ben-Yaacov-Usvyatsov:2010}以及{\L}ukasiewicz-Pavelka 逻辑本身。本文的主要结果是通过模型论性质对这些逻辑进行刻画，即把省略型定理推广到不可数语言的情形。
引用
@article{arxiv.1202.5981,
title = {Omitting uncountable types, and the strength of $[0,1]$-valued logics},
author = {Xavier Caicedo and José Iovino},
journal= {arXiv preprint arXiv:1202.5981},
year = {2012}
}