Pages that link to "Item:Q4948521"
From MaRDI portal
The following pages link to On the No-Counterexample Interpretation (Q4948521):
Displaying 14 items.
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← 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 UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- (Q5079725) (← links)
