Bounded functional interpretation and feasible analysis (Q866559)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5126401
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bounded functional interpretation and feasible analysis |
scientific article; zbMATH DE number 5126401 |
Statements
Bounded functional interpretation and feasible analysis (English)
0 references
14 February 2007
0 references
Bounded functional interpretation developed earlier by the authors [Ann. Pure Appl. Logic 135, No. 1--3, 73--112 (2005; Zbl 1095.03060)] is proved here to apply to several theories of feasible first-order arithmetic that have weak induction and polynomially computable provably recursive functions. Combining it with the variants of functional interpretation due to Cook and Urquhart, the authors obtain effective version of a conservation result over weak König's lemma.
0 references
functional interpretation
0 references
König's lemma
0 references
majorizability
0 references
feasibility
0 references
0 references
0 references
0 references
0.8517525792121887
0 references
0.8502224087715149
0 references
0.8287906646728516
0 references
0.8118044137954712
0 references
0.8099374771118164
0 references
