arXiv:1902.00895 Abstract | arXiv Analytics

arXiv:1902.00895 [math.LO]Abstract References Reviews Resources

A note on derivability conditions

Published 2019-02-03Version 1

We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by derivability conditions. Among other things, we improve Buchholz's schematic proof of provable $\Sigma_1$-completeness.

Comments: 31 pages

Categories: math.LO

Keywords: derivability conditions, buchholzs schematic proof, provability predicates, consistency statements, non-implications

Related articles:

arXiv:1902.06863 [math.LO] (Published 2019-02-19)

Rosser provability and the second incompleteness theorem

Taishi Kurahashi

arXiv:1804.09451 [math.LO] (Published 2018-04-25)

Provability Logic and the Completeness Principle

Albert Visser, Jetze Zoethout