Searching for "Modified bar recursion." – sorted by Relevance.
-
Modified Bar Recursion and Classical Dependent Choice
- MODIFIED BAR RECURSION AND CLASSICAL DEPENDENT CHOICE ULRICH BERGER AND PAULO OLIVA Abstract. We
- Cited by 13 (8 self) – Add To MetaCart
-
Proof Mining in Subsystems of Analysis
- bar recursion, that modified bar recursion is not S1-S9 computable over the type structure of total
- Add To MetaCart
-
Continuous semantics for strong normalization
- . The theorem applies to extensions of G"odel's system T , but also to various forms of bar recursion for which
- Cited by 4 (2 self) – Add To MetaCart

