arXiv Open Access 2018

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

Albert Visser

Lihat Sumber

Abstrak

In this paper, we show how to construct for a given consistent theory $U$ a $Σ^0_1$-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.

Topik & Kata Kunci

math.LO

Penulis (1)

Albert Visser

Format Sitasi

APA MLA BibTeX

Visser, A. (2018). The Absorption Law, or How to Kreisel a Hilbert-Bernays-Löb. https://arxiv.org/abs/1804.07465

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓