Abstract:We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if one begins with a discrete logic structure, it reduces arbitrary formulas of probability logic to correlations between quantifier-free formulas. We completely classify binary correlations in terms of the Kim-Pillay space, leading to strong results on the interpretative power of pure probability logic over a binary language. Assuming higher amalgamation of independent types, we prove a higher stationarity statement for such correlations. We also give a short model-theoretic proof of a categoricity theorem for continuous logic structures with a measure of full support, generalizing theorems of Gromov-Vershik and Keisler, and often providing a canonical model for a complete pure probability logic theory. These results also apply to local probability logic, providing in particular a canonical model for a local pure probability logic theory with a unique 1-type and geodesic metric. For sequences of approximate equivalence relations with an 'approximately unique' probability logic 1-type, we obtain a structure theorem generalizing the `Lie model' theorem for approximate subgroups. The models here are Riemannian homogeneous spaces, fibered over a locally finite graph. Specializing to definable graphs over finite fields, we show that after a finite partition, a definable binary relation converges in finitely many self-compositions to an equivalence relation of geometric origin. For NIP theories, pursuing a question of Pillay's, we prove an archimedean finite-dimensionality statement for the automorphism groups of definable measures, acting on a given type of definable sets.

Equivalence relations for two variable real analytic function germs

Blow-Analytic Equivalence versus contact-bi-Lipschitz Equivalence

Lipschitz contact equivalence of function germs in $\mathbb{R}^2$

Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

Multi-$\mathcal{K}$-Lipschitz equivalence in dimension two

On the algebraicity of germs of meromorphic functions

Rigidity of bi-Lipschitz equivalence of weighted homogeneous function-germs in the plane

Lipschitz Equivalence of Cantor Sets and Algebraic Properties of Contraction Ratios

Local topological algebraicity of analytic function germs

Geometric equivalence among smooth map germs

Milnor Algebras and Equivalence-Relations among Holomorphic-Functions

Topological equivalence of finitely determined real analytic plane-to-plane map-germs

On real analogues of the Poincaré series

Bruce–Roberts numbers and quasihomogeneous functions on analytic varieties

K-equivalence in Birational Geometry and Characterizations of Complex Elliptic Genera

Approximate equivalence relations

REAL ANALYTIC GERMS $f \bar{g}$ AND OPEN-BOOK DECOMPOSITIONS OF THE 3-SPHERE

On the Blow-analytic Equivalence of Tribranched Plane Curves

On the non-analyticity locus of an arc-analytic function

Bi-Hölder equivalence of real analytic functions

On real analytic functions on closed subanalytic domains