Pages that link to "Item:Q3912574"
From MaRDI portal
The following pages link to Ordinal analysis of simple cases of bar recursion (Q3912574):
Displaying 8 items.
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- (Q3887456) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)