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

coloringmonotone functional interpretationproof miningtopological dynamics

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

(16)

• A constructive topological proof of van der Waerden's theorem
• An application of proof mining to nonlinear iterations
• Topological perspective on the hybrid proof rules
• Minimal invariant spaces in formal topology
• Quantitative results on Fejér monotone sequences
• Nets and reverse mathematics
• A variant of the proof of van der Waerden's theorem by Furstenberg
• PROOF MINING IN L^p SPACES
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• Bounds for a nonlinear ergodic theorem for Banach spaces
• On Korpelevich's extragradient algorithm
• Quantitative results for a Tseng-type primal-dual method for composite monotone inclusions
• Effective rates for nonlinear ergodic averages
• Generalized Fejér monotone sequences and their finitary content
• On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis
• A functional interpretation for nonstandard arithmetic

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)