Pages that link to "Item:Q4948521"
From MaRDI portal
The following pages link to On the No-Counterexample Interpretation (Q4948521):
Displayed 6 items.
- 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)
- 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)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)