Proof mining in topological dynamics

DOI10.1215/00294527-2008-022zbMath1188.03043OpenAlexW2040673954MaRDI QIDQ1049745

Philipp Gerhardy

Publication date: 13 January 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-022

zbMATH Keywords

topological dynamicscoloringproof miningmonotone functional interpretation

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Related Items (6)

Bounds for a nonlinear ergodic theorem for Banach spaces ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ On Korpelevich's extragradient algorithm ⋮ Quantitative results on Fejér monotone sequences ⋮ A functional interpretation for nonstandard arithmetic ⋮ Nets and reverse mathematics

This page was built for publication: Proof mining in topological dynamics