Continuous first order logic and local stability

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.

Cited by in corpus (22)

• Model theory of operator algebras III: Elementary equivalence and II_1 factors
• On theories of random variables
• Model theoretic forcing in analysis
• Continuous and Random Vapnik-Chervonenkis Classes
• Model-theoretic independence in the Banach lattices $L_p(\mu )$
• Omitting types for infinitary [0, 1]-valued logic
• Remarks on NIP in a model
• Internal sizes in $\mu$-abstract elementary classes
• The Real truth
• Infinitary logic and basically disconnected compact Hausdorff spaces
• ${\aleph }_0$-categorical Banach spaces contain ${\ell }_p$ or $c_0$
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces
• Locally compact groups which are separably categorical structures
• Pseudofinite and pseudocompact metric structures
• Minimal types in stable Banach spaces
• From rational Godel logic to continuous ultrametric logic
• Categorical semantics of metric spaces and continuous logic
• Continuous stable regularity
• Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras
• The amalgamation property and Urysohn structures in continuous logic
• Twenty years of Nešetřil's classification programme of Ramsey classes