TY  - RPRT
TI  - Positive model theory and infinitary logic
AU  - Jean Berthet
PY  - 2015
UR  - https://arxiv.org/abs/1403.2540
ID  - 1403.2540
ER  -