TY  - RPRT
TI  - Positive model theory of interpretations
AU  - Kristóf Kanalas
PY  - 2022
UR  - https://arxiv.org/abs/2211.14600
ID  - 2211.14600
ER  -