TY - RPRT TI - Type space functors and interpretations in positive logic AU - Mark Kamsma PY - 2022 DO - 10.1007/s00153-022-00825-7 UR - https://arxiv.org/abs/2005.03376 ID - 2005.03376 ER -