ON PERTURBATIONS OF CONTINUOUS STRUCTURES

We give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable, elementarily equivalent structures which are approximately ℵ0-saturated up to arbitrarily small perturbations are isomorphic up to arbitrarily small perturbations (where the notion of perturbation is part of the data). As a corollary, we obtain a Ryll–Nardzewski style characterization of complete theories all of whose separable models are isomorphic up to arbitrarily small perturbations.

[1]  A. Kechris,et al.  Turbulence, amalgamation, and generic automorphisms of homogeneous structures , 2004, math/0409567.

[2]  C. Ward Henson,et al.  Model Theory with Applications to Algebra and Analysis: Model theory for metric structures , 2008 .

[3]  Alexander Berenstein,et al.  Model theory of probability spaces with an automorphism , 2004 .

[4]  Itay Ben-Yaacov,et al.  On perturbations of Hilbert spaces and probability algebras with a generic automorphism , 2008, J. Log. Anal..

[5]  K. Davidson.  C*-algebras by example , 1996 .

[6]  Itai Ben Yaacov.  Topometric spaces and perturbations of metric structures , 2008 .

[7]  Itay Ben-Yaacov,et al.  Positive Model Theory and Compact Abstract Theories , 2003, J. Math. Log..

[8]  Saharon Shelah,et al.  The Small Index Property for ω‐Stable (ω‐Categorical Structures and for the Random Graph , 1993 .

[9]  Anand Pillay,et al.  Generic Structures and Simple Theories , 1998, Ann. Pure Appl. Log..

[10]  Itay Ben-Yaacov.  On supersimplicity and lovely pairs of cats , 2006, J. Symb. Log..

[11]  J. Cremona,et al.  Proceedings of the London Mathematical Society , 1893 .

[12]  Anand Pillay,et al.  Model theory with applications to algebra and analysis , 2008 .

[13]  Itay Ben-Yaacov,et al.  Continuous First order Logic for Unbounded Metric Structures , 2008, J. Math. Log..

[14]  S. Wassermann,et al.  C*‐ALGEBRAS BY EXAMPLE (Fields Institute Monographs 6) , 1998 .

[15]  Alexander Usvyatsov,et al.  CONTINUOUS FIRST ORDER LOGIC AND LOCAL STABILITY , 2008, 0801.4303.