Proof mining in topological dynamics

DOI10.1215/00294527-2008-022MaRDI QIDQ1049745zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A constructive topological proof of van der Waerden's theorem
• Primitive Recursive Bounds for Van Der Waerden Numbers
• New Computational Paradigms
• scientific article; zbMATH DE number 4131252
• An algebraic proof of van der Waerden's theorem

Cited in

(10)

• Nets and reverse mathematics
• An application of proof mining to nonlinear iterations
• Bounds for a nonlinear ergodic theorem for Banach spaces
• A functional interpretation for nonstandard arithmetic
• On Korpelevich's extragradient algorithm
• Topological perspective on the hybrid proof rules
• PROOF MINING IN L^p SPACES
• Quantitative results on Fejér monotone sequences
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• A variant of the proof of van der Waerden's theorem by Furstenberg

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1049745)