Albert Visser. Another Look at the second Incompleteness Theorem. Rew. Symb. Logic, 13(2):269-295, 2020. [doi]
@article{Visser20, title = {Another Look at the second Incompleteness Theorem}, author = {Albert Visser}, year = {2020}, doi = {10.1017/S1755020319000248}, url = {https://doi.org/10.1017/S1755020319000248}, researchr = {https://researchr.org/publication/Visser20}, cites = {0}, citedby = {0}, journal = {Rew. Symb. Logic}, volume = {13}, number = {2}, pages = {269-295}, }