A Step Towards Absolute Versions of Metamathematical Results

Balthasar Grabmayr. A Step Towards Absolute Versions of Metamathematical Results. J. Philosophical Logic, 53(1):247-291, February 2024. [doi]

Abstract

Abstract is missing.