TY  - RPRT
TI  - Constructive reflectivity principles for regular theories
AU  - Henrik Forssell
AU  - Peter LeFanu Lumsdaine
PY  - 2026
DO  - 10.1017/jsl.2019.70
UR  - https://arxiv.org/abs/1604.03851
ID  - 1604.03851
ER  -