Article ID Journal Published Year Pages File Type
4661837 Annals of Pure and Applied Logic 2014 32 Pages PDF
Abstract

We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Omitting uncountable types and the strength of [0,1][0,1]-valued logics
Authors
, ,