TY  - RPRT
TI  - Local reflection, definable elements and 1-provability
AU  - Evgeny Kolmakov
PY  - 2019
DO  - 10.1007/s00153-020-00732-9
UR  - https://arxiv.org/abs/1907.06464
ID  - 1907.06464
ER  -