The following pages link to Philipp Gerhardy (Q819710):
Displaying 11 items.
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions (Q819711) (← links)
- Proof mining in topological dynamics (Q1049745) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- The role of quantifier alternations in cut elimination (Q2565988) (← links)
- (Q3079693) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- Skolem + Tetration Is Well-Ordered (Q3576033) (← links)
- The Ordinal of Skolem + Tetration Is τ 0 (Q3576188) (← links)
- Computer Science Logic (Q5292638) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
