On perturbations of continuous structures

DOI10.1142/S0219061308000762MaRDI QIDQ5305059zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov

Publication date 19 March 2010

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

categoricitycontinuous logicmetric structuresperturbation

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95)

Abstract: 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 $alep{h}_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 characterisation of complete theories all of whose separable models are isomorphic up to arbitrarily small perturbations.

Recommendations

• Continuous first order logic for unbounded metric structures
• Metric abstract elementary classes with perturbations
• Topometric spaces and perturbations of metric structures
• The isomorphism theorem for linear fragments of continuous logic
• scientific article; zbMATH DE number 7184880

Cites work

• Continuous first order logic for unbounded metric structures
• Generic structures and simple theories
• On supersimplicity and lovely pairs of cats
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Topometric spaces and perturbations of metric structures
• Turbulence, amalgamation, and generic automorphisms of homogeneous structures

Cited in

(21)

• Model theoretic forcing in analysis
• Categoricity in homogeneous complete metric spaces
• Topometric spaces and perturbations of metric structures
• On the structure of the set of admissible perturbations
• Metric spaces are universal for bi-interpretation with metric structures
• Encoding complete metric structures by classical structures
• Approximate isomorphism of randomization pairs
• Lipschitz functions on topometric spaces
• Model theoretic properties of metric valued fields
• Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator
• Continuous first order logic and local stability
• scientific article; zbMATH DE number 3881061 (Why is no real title available?)
• Measuring dependence in metric abstract elementary classes with perturbations
• Continuous first order logic for unbounded metric structures
• Hilbert spaces expanded with a unitary operator
• ℵ₀‐categorical Banach spaces contain ℓp or c₀
• Approximate isomorphism of metric structures
• Model theory of Hilbert spaces with a discrete group action
• The SB-property on metric structures
• Approximate categoricity in continuous logic
• Topometric characterization of type spaces in continuous logic

This page was built for publication: On perturbations of continuous structures

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