Continuous first order logic and local stability

DOI10.1090/S0002-9947-10-04837-3MaRDI QIDQ3053471zbMATH OpenOpenAlexFDO

Authors 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

continuous logiclocal stabilitymetric structuresstability

Mathematics Subject Classification ID

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

Abstract: We develop continuous first order logic, a variant of the logic described in cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.

Recommendations

• A proof of completeness for continuous first-order logic
• Stability and General Logics
• Continuous first order logic for unbounded metric structures
• Fixed-point extensions of first-order logic
• The continuum and first-order intuitionistic logic
• Continuous logic in problems of finite automata dynamics
• Finite variable logic stability and finite models
• First-order stable model semantics and first-order loop formulas
• Consistency and interpolation in linear continuous logic
• Locality of order-invariant first-order formulas

Cites work

• A characterization of convex subsets of normed spaces
• Continuous Model Theory. (AM-58)
• Definability of groups in ℵ₀-stable metric structures
• Espaces de Banach stables
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 1946951 (Why is no real title available?)
• Measure theory. Vol. 3. Measure algebras
• Model theoretic stability and categoricity for complete metric spaces
• Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
• Modular functionals and perturbations of Nakano spaces
• On d-finiteness in continuous structures
• On perturbations of continuous structures
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Topometric spaces and perturbations of metric structures
• Uncountable dense categoricity in cats

Cited in

(only showing first 100 items - show all)

• Model theoretic forcing in analysis
• Categoricity in homogeneous complete metric spaces
• Topometric spaces and perturbations of metric structures
• On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space
• Model-theoretic aspects of the Gurarij operator system
• A completeness theorem for continuous predicate modal logic
• On theories of random variables
• Internal sizes in \(\mu\)-abstract elementary classes
• Amenability, connected components, and definable actions
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• Model-theoretic properties of dynamics on the Cantor set
• On stable quotients
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• A note on Pontryagin duality and continuous logic
• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• Metric spaces are universal for bi-interpretation with metric structures
• Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
• Infinite-dimensional Polish groups and property (T)
• Maximal equivariant compactification of the Urysohn spaces and other metric structures
• Encoding complete metric structures by classical structures
• Minimal stable types in Banach spaces
• The logic of integration
• Retracted article: ``A completeness theorem for continuous predicate modal logic
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• The Keisler order in continuous logic
• Approximate isomorphism of randomization pairs
• Model theoretic stability and definability of types, after A. Grothendieck
• Separable models of randomizations
• Grey subsets of Polish spaces
• Reconstruction of separably categorical metric structures
• Reduction of database independence to dividing in atomless Boolean algebras
• Polish topometric groups
• Haar measure and integral logic
• Lipschitz functions on topometric spaces
• Model theoretic properties of metric valued fields
• Topological matchings and amenability
• Mereological foundations of point-free geometry via multi-valued logic
• A note on Hjorth's oscillation theorem
• Stable group theory and approximate subgroups
• Quantified universes and ultraproducts
• Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
• Multi-valued Logic for a Point-Free Foundation of Geometry
• Forking and stability in the representations of a \(C^*\)-algebra
• A note on infinitary continuous logic
• The model theory of modules of a \(C^*\)-algebra
• On pseudo-finite dimensions
• Omitting types for infinitary \([0,1]\)-valued logic
• Type spaces and Wasserstein spaces
• Uniform procedures in uncountable structures
• Continuous propositional modal logic
• Model theory of operator algebras. II: Model theory
• Definable closure in randomizations
• Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
• Reduced products and sheaves of metric structures
• Sheaf representations and locality of Riesz spaces with order unit
• The dynamical hierarchy for Roelcke precompact Polish groups
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Polish groups and Baire category methods
• Polish G-spaces and continuous logic
• Separation for isometric group actions and hyperimaginary independence
• Remarks on the NIP in a model
• On the descriptive power of probability logic
• Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces
• Locally compact groups which are separably categorical structures
• Model theory of \(\mathbb{R}\)-trees
• The \(\mathbb{R}\)eal truth
• A proof of completeness for continuous first-order logic
• Independence in randomizations
• FRAÏSSÉ LIMITS OF METRIC STRUCTURES
• Continuous first order logic for unbounded metric structures
• Model theoretic stability and categoricity for complete metric spaces
• Automorphism groups of randomized structures
• Thorn-forking in continuous logic
• Metric structures and probabilistic computation
• Preservation theorems in linear continuous logic
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Hilbert spaces expanded with a unitary operator
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
• A topos for continuous logic
• 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
• Covering entropy for types in tracial W^*-algebras
• Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
• Effectiveness in RPL, with applications to continuous logic
• Optimal transport for types and convex analysis for definable predicates in tracial \(\mathrm{W}^\ast \)-algebras
• Approximate equivalence relations
• General real-valued theories with the Schröder-Bernstein property are stable
• The amalgamation property and Urysohn structures in continuous logic
• Model theory of Hilbert spaces with a discrete group action
• Information geometry for types in the large-n limit of random matrices
• Lindström's characterizability of abstract logic systems for analytic structures based on measures
• Strongly minimal sets and categoricity in continuous logic
• The SB-property on metric structures
• Hyperarithmetic numerals
• On classification of continuous first order theories
• Hyperfinite measure-preserving actions of countable groups and their model theory

This page was built for publication: Continuous first order logic and local stability

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