On the structure of the degrees of relative provability (Q2351755): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q976540 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: David E. Diamondstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11856-015-1182-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1989622830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degrees of relative provability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudo Jump Operators. I: The R. E. Case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Accessible Independence Results for Peano Arithmetic / rank | |||
Normal rank |
Latest revision as of 10:25, 10 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the structure of the degrees of relative provability |
scientific article |
Statements
On the structure of the degrees of relative provability (English)
0 references
26 June 2015
0 references
The paper is devoted to the study of the structure of the degrees of provability. They measure the proof-theoretic strength of statements asserting the totality of given computable functions. Three jump operators are introduced and compared. The jump properties of \(\Pi_{1}^{0}\)-degrees are studied and linked to the property of escaping every provably total function. The density of the p-degrees is shown. Further the high/low hierarchy for both the hop and the jump as well as the cappable p-degrees are studied. Jump inversion for both the hop and the jump are shown and the connection between lowness and highness on the one hand and domination and escape properties of functions on the other are studied. The paper continues and expands results of the second author [Notre Dame J. Formal Logic 53, No. 4, 479--489 (2012; Zbl 1269.03043)] -- in fact a number of open questions from his earlier paper are answered.
0 references
degree
0 references
provability
0 references