TY  - RPRT
TI  - Non-elementary proper forcing notions
AU  - Saharon Shelah
PY  - 1997
UR  - https://arxiv.org/abs/math/9712283
ID  - math/9712283
ER  -