Affiliation:
1. Department of Mathematics University of Notre Dame Notre Dame, Indiana USA
2. Department of Mathematics The Ohio State University Columbus Ohio USA
Abstract
AbstractWe prove an analytic version of the stable graph regularity lemma by Malliaris and Shelah (Trans. Amer. Math. Soc. 366 (2014), no. 3, 1551–1585), which applies to stable functions . Our methods involve continuous model theory and, in particular, results on the structure of local Keisler measures for stable continuous formulas. Along the way, we develop some basic tools around ultraproducts of metric structures and linear functionals on continuous formulas, and we also describe several concrete families of examples of stable functions.
Funder
National Science Foundation
Fields Institute for Research in Mathematical Sciences
Reference30 articles.
1. Topometric spaces and perturbations of metric structures
2. MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK
3. Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser;Ben Yaacov I.,2008
4. Continuous first order logic and local stability
5. A.ChernikovandH.Towsner Hypergraph regularity and higher arity VC‐dimension arXiv:2010.00726 2020.