TY  - RPRT
TI  - Omitting uncountable types, and the strength of $[0,1]$-valued logics
AU  - Xavier Caicedo
AU  - José Iovino
PY  - 2012
UR  - https://arxiv.org/abs/1202.5981
ID  - 1202.5981
ER  -