TY  - RPRT
TI  - Omitting types for infinitary [0, 1]-valued logic
AU  - Christopher J. Eagle
PY  - 2019
DO  - 10.1016/j.apal.2013.11.006
UR  - https://arxiv.org/abs/1304.5208
ID  - 1304.5208
ER  -