The Absorption Law, or How to Kreisel a Hilbert-Bernays-Löb

Albert Visser

In this paper, we show how to construct for a given consistent theory $U$ a ${\Sigma }_1^0$-predicate that both satisfies the Löb Conditions and the Kreisel Condition ---even if $U$ is uns…