Year: 2016
Type: preprint
Abstract: This paper deals with three tools to compare proof-theoretic strength of formal arithmetical theories: interpretability, $Π^0_1$-conservativity and proving restricted consistency. It is well known that under certain conditions these three notions are equivalent and this equivalence is often referred to as the Orey-Hájek characterization of interpretability. In this paper we look with detail at the Orey-Hájek characterization and study what conditions are needed and in what meta-theory the characterizations can be formalized.
Source: arXiv (Cornell University)
Author: Joosten, Joost J.
Institution: Universitat de Barcelona
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2272897148