TY  - RPRT
TI  - On ground model definability
AU  - Victoria Gitman
AU  - Thomas A. Johnstone
PY  - 2013
UR  - https://arxiv.org/abs/1311.6789
ID  - 1311.6789
ER  -