TY  - RPRT
TI  - Expansions, omitting types, and standard systems
AU  - Fredrik Engström
PY  - 2004
UR  - https://arxiv.org/abs/math/0410523
ID  - math/0410523
ER  -