Omitting uncountable types, and the strength of $[0,1]$-valued logics

Xavier Caicedo, José Iovino

We study $[0,1]$-valued logics that are closed under the Łukasiewicz-Pavelka connectives; our primary examples are the the continuous logic framework of Ben Yaacov and Usvyatsov \c…