Continuous first order logic and local stability

DOI10.1090/S0002-9947-10-04837-3zbMath1200.03024arXiv0801.4303OpenAlexW3099595641MaRDI QIDQ3053471

Itaï Ben Yaacov, Alexander Usvyatsov

Publication date: 29 October 2010

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

stability local stability continuous logic metric structures

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Reduction of database independence to dividing in atomless Boolean algebras ⋮ FORKING AND STABILITY IN THE REPRESENTATIONS OF A C*-ALGEBRA ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic ⋮ Haar measure and integral logic ⋮ A note on infinitary continuous logic ⋮ On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space ⋮ The logic of integration ⋮ Lipschitz functions on topometric spaces ⋮ A topos for continuous logic ⋮ The model theory of modules of a \(C^*\)-algebra ⋮ MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS ⋮ Model-theoretic aspects of the Gurarij operator system ⋮ On pseudo-finite dimensions ⋮ Hilbert spaces with generic groups of automorphisms ⋮ Retracted article: ``A completeness theorem for continuous predicate modal logic ⋮ UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ On the theory of \(L_p (L_q)\)-Banach lattices ⋮ Separation for isometric group actions and hyperimaginary independence ⋮ Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability ⋮ Unbounded actions of metric groups and continuous logic ⋮ Using ultrapowers to compare continuous structures ⋮ Generalized effective completeness for continuous logic ⋮ ℵ₀‐categorical Banach spaces contain ℓp or c₀ ⋮ Continuous stable regularity ⋮ Remarks on the NIP in a model ⋮ AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES ⋮ Covering entropy for types in tracial W<sup>*</sup>-algebras ⋮ Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\) ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ Approximate isomorphism of randomization pairs ⋮ On the Descriptive Power of Probability Logic ⋮ Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces ⋮ On theories of random variables ⋮ A completeness theorem for continuous predicate modal logic ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists ⋮ Topological matchings and amenability ⋮ Model theory of operator algebras. II: Model theory ⋮ Mereological foundations of point-free geometry via multi-valued logic ⋮ Thorn-forking in continuous logic ⋮ Infinite-dimensional Polish groups and property (T) ⋮ Multi-valued Logic for a Point-Free Foundation of Geometry ⋮ Maximal equivariant compactification of the Urysohn spaces and other metric structures ⋮ Encoding complete metric structures by classical structures ⋮ Generic separable metric structures ⋮ Model theory of R-trees ⋮ Definable closure in randomizations ⋮ The dynamical hierarchy for Roelcke precompact Polish groups ⋮ Polish groups and Baire category methods ⋮ Polish \(G\)-spaces and continuous logic ⋮ Continuous propositional modal logic ⋮ Locally compact groups which are separably categorical structures ⋮ Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic ⋮ Internal sizes in \(\mu\)-abstract elementary classes ⋮ Model theoretic stability and categoricity for complete metric spaces ⋮ Model theory of operator algebras III: elementary equivalence and II₁factors ⋮ Metric structures and probabilistic computation ⋮ Reduced products and sheaves of metric structures ⋮ The eal truth ⋮ Minimal stable types in Banach spaces ⋮ MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK ⋮ SEPARABLE MODELS OF RANDOMIZATIONS ⋮ GREY SUBSETS OF POLISH SPACES ⋮ Unnamed Item ⋮ RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES ⋮ Model theoretic forcing in analysis ⋮ Categoricity in homogeneous complete metric spaces ⋮ Independence in randomizations ⋮ Amenability, connected components, and definable actions ⋮ Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ Topometric spaces and perturbations of metric structures ⋮ Model-theoretic properties of dynamics on the Cantor set ⋮ On stable quotients ⋮ Stable group theory and approximate subgroups ⋮ Polish topometric groups ⋮ Quantified universes and ultraproducts ⋮ Dividing lines in unstable theories and subclasses of Baire 1 functions ⋮ A note on Pontryagin duality and continuous logic ⋮ Hilbert spaces expanded with a unitary operator ⋮ FRAÏSSÉ LIMITS OF METRIC STRUCTURES ⋮ CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC ⋮ Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete ⋮ Metric spaces are universal for bi-interpretation with metric structures

Cites Work