TY  - RPRT
TI  - Continuous first order logic for unbounded metric structures
AU  - Itaï Ben Yaacov
PY  - 2009
DO  - 10.1142/s0219061308000737
UR  - https://arxiv.org/abs/0903.4957
ID  - 0903.4957
ER  -