The proof-theoretic analysis of transfinitely iterated quasi least fixed points
Work
Year: 2006
Type: article
Abstract: The starting point of this article is an old question asked by Feferman in his paper on Hancock's conjecture [6] about the strength of . This theory is obtained from the well-known theory ID 1 by res... more
Source: Journal of Symbolic Logic
Author Dieter Probst
Institution University of Bern
Cites: 16
Cited by: 9
Related to: 10
FWCI: 0.606
Citation percentile (by year/subfield): 71.23
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green