The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb
Publication date
2021
Authors
Visser, Albert
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
cc_by
Abstract
In this paper, we show how to construct for a given consistent theory U a Σ01-predicate that both satisfies the Löb Conditions and the Kreisel Condition—even if U is unsound. We do this in such a way that U itself can verify satisfaction of an internal version of the Kreisel Condition.
Keywords
Provability, Arithmetization, incompleteness, General Arts and Humanities, General Mathematics
Citation
Visser, A 2021, 'The absorption law : Or: how to Kreisel a Hilbert–Bernays–Löb', Archive for Mathematical Logic, vol. 60, pp. 441–468. https://doi.org/10.1007/s00153-020-00752-5