Pages that link to "Item:Q1049745"
From MaRDI portal
The following pages link to Proof mining in topological dynamics (Q1049745):
Displaying 10 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- A constructive topological proof of van der Waerden's theorem (Q1910731) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- Bounds for a nonlinear ergodic theorem for Banach spaces (Q5889844) (← links)
- On Korpelevich's extragradient algorithm (Q6060926) (← links)