TY  - RPRT
TI  - The Absorption Law, or How to Kreisel a Hilbert-Bernays-Löb
AU  - Albert Visser
PY  - 2020
UR  - https://arxiv.org/abs/1804.07465
ID  - 1804.07465
ER  -