Pages that link to "Item:Q1049745"
From MaRDI portal
The following pages link to Proof mining in topological dynamics (Q1049745):
Displaying 6 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)
- Nets and reverse mathematics (Q4995602) (← 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)
