Pages that link to "Item:Q2560813"
From MaRDI portal
The following pages link to Extensional Gödel functional interpretation. A consistency proof of classical analysis (Q2560813):
Displaying 28 items.
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Pointwise hereditary majorization and some applications (Q805612) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Equivalence of bar recursors in the theory of functionals of finite type (Q1115867) (← links)
- A very strong intuitionistic theory (Q1234293) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Spielquantorinterpretation unstetiger Funktionale der höheren Analysis (Q3333026) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- Strong normalization of barrecursive terms without using infinite terms (Q3739119) (← links)
- Ein starker Normalisationssatz für die bar-rekursiven Funktionale (Q4121888) (← links)
- Über das Markov-Prinzip (Q4128796) (← links)
- Über das Markov-Prinzip II (Q4159056) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- (Q5028422) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
