@misc{indiciae78a98fb9a9a2, title = {Omitting uncountable types, and the strength of \$[0,1]\$-valued logics}, author = {Xavier Caicedo and José Iovino}, year = {2012}, url = {https://arxiv.org/abs/1202.5981}, note = {Source identifier: 1202.5981} }