TY  - RPRT
TI  - Omitting types in logic of metric structures
AU  - Ilijas Farah
AU  - Menachem Magidor
PY  - 2017
UR  - https://arxiv.org/abs/1411.2987
ID  - 1411.2987
ER  -