Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence

zbMATH Open1433.03096arXiv1611.09971MaRDI QIDQ5221582FDOQ5221582

Authors: Eduardo Dueñez, José Iovino 

Publication date: 2 April 2020

Abstract: We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence, metastable convergence with a given rate is the only formulation of metric convergence that can be captured by a theory in continuous first-order logic, a result we call the Uniform Metastability Principle. Philosophically, this principle amounts to the following meta-theorem: "If a classical statement about convergence in metric structures is refined to a statement about metastable convergence with some rate, then the validity of the original statement implies the validity of its metastable version." As an instance of this phenomenon, we formulate an abstract version of Tao's Metastable Dominated Convergence Theorem as a statement about axiomatizable classes of metric structures, and show that it is a direct consequence of the Uniform Metastability Principle.

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

Recommendations

• Ultraproducts and metastability
• A metastable dominated convergence theorem
• Metastability and higher-order computability
• Model theory for metric structures
• Model theoretic stability and categoricity for complete metric spaces

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Convergence and divergence of series and sequences (40A05) Metric spaces, metrizability (54E35) Abstract model theory (03C95) Other connections with logic and set theory (28E15) Continuous model theory, model theory of metric structures (03C66)

Cited In (6)

• Model theory of \(\mathbb{R}\)-trees
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• Metastability and higher-order computability
• Model theory and metric convergence. II: Averages of unitary polynomial actions
• Ultraproducts and metastability
• A metastable dominated convergence theorem

This page was built for publication: Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence

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