The absorption law-Reference-Cited by-同舟云学术

The absorption law

Published:2020-12-16 Issue:3-4 Volume:60 Page:441-468
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Visser Albert^ORCID

Abstract

AbstractIn this paper, we show how to construct for a given consistent theory U a

$$\varSigma ^0_1$$

Σ 1 0 -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.

Funder

Utrecht University

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s00153-020-00752-5.pdf

Reference38 articles.

1. Ardeshir, M., Mojtahedi, M.: The $${\Sigma }_1$$-provability logic of HA. Ann. Pure Appl. Log. 169(10), 997–1043 (2018)

2. Beklemishev, L.D.: On the classification of propositional provability logics. Math. USSR-Izv. 35(2), 247–275 (1990)

3. Feferman, S.: Arithmetization of metamathematics in a general setting. Fundam. Math. 49, 35–92 (1960)

4. Freund, A.: Slow reflection. Ann. Pure Appl. Log. 168(12), 2103–2128 (2017)

5. Freund, A., Pakhomov, F.: Short proofs for slow consistency. Notre Dame J. Formal Log. 61(1), 31–49 (2020)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Numeral completeness of weak theories of arithmetic;Journal of Logic and Computation;2023-12-12

2. The persistence principle over weak interpretability logic;Mathematical Logic Quarterly;2023-10-27

3. The provability logic of all provability predicates;Journal of Logic and Computation;2023-09-25

4. A new perspective on completeness and finitist consistency;Journal of Logic and Computation;2023-04-24