The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb

A. Visser

doi:10.1007/s00153-020-00752-5

The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb

A. Visser

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	441–468
Journal	Archive for Mathematical Logic
Volume	60
Early online date	16 Dec 2020
DOIs	https://doi.org/10.1007/s00153-020-00752-5
Publication status	Published - 2021

Keywords

Provability
Arithmetization
incompleteness

Access to Document

10.1007/s00153-020-00752-5Licence: CC BY

s00153-020-00752-5Final published version, 438 KBLicence: CC BY

Cite this

@article{027595e7a3354466944163661478b374,

title = "The absorption law: Or: how to Kreisel a Hilbert–Bernays–L{\"o}b",

abstract = "In this paper, we show how to construct for a given consistent theory U a Σ01-predicate that both satisfies the L{\"o}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",

author = "A. Visser",

year = "2021",

doi = "10.1007/s00153-020-00752-5",

language = "English",

volume = "60",

pages = "441–468",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

}

TY - JOUR

T1 - The absorption law

T2 - Or: how to Kreisel a Hilbert–Bernays–Löb

AU - Visser, A.

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Provability

KW - Arithmetization

KW - incompleteness

U2 - 10.1007/s00153-020-00752-5

DO - 10.1007/s00153-020-00752-5

M3 - Article

SN - 0933-5846

VL - 60

SP - 441

EP - 468

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

ER -

The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb

Abstract

Keywords

Access to Document

Fingerprint

Cite this