Metastability in the Furstenberg-Zimmer tower

DOI10.4064/FM210-3-2MaRDI QIDQ3066718zbMATH OpenOpenAlexFDO

Authors Jeremy Avigad, Henry Towsner

Publication date 11 January 2011

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0902.0356

zbMATH Keywords

ergodic theorymathematical logicmaximal distal factormeasure-preserving systemsmetastability

Mathematics Subject Classification ID

Descriptive set theory (03E15) Proof theory in general (including proof-theoretic semantics) (03F03) Dynamical aspects of measure-preserving transformations (37A05) Ergodicity, mixing, rates of mixing (37A25)

Abstract: According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving systems to provide a perspicuous proof of Szemer'edi's theorem. Beleznay and Foreman showed that, in general, the transfinite construction of the maximal distal factor of a separable measure-preserving system can extend arbitrarily far into the countable ordinals. Here we show that the Furstenberg-Katznelson proof does not require the full strength of the maximal distal factor, in the sense that the proof only depends on a combinatorial weakening of its properties. We show that this combinatorially weaker property obtains fairly low in the transfinite construction, namely, by the $omeg{a}^{omeg{a}^{o}mega}$th level.

Recommendations

• A Furstenberg-Zimmer structure theorem for -finite measure spaces
• The structure of strongly stationary systems
• A Gloss on a Theorem of Furstenberg
• Uniqueness of a Furstenberg system
• scientific article; zbMATH DE number 20451

Cited in

(6)

• Proof mining and effective bounds in differential polynomial rings
• A Furstenberg-Zimmer structure theorem for -finite measure spaces
• The structure of strongly stationary systems
• SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
• An uncountable Furstenberg–Zimmer structure theory
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic

This page was built for publication: Metastability in the Furstenberg-Zimmer tower

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