# Continuous first order logic for unbounded metric structures

@article{Yaacov2008ContinuousFO, title={Continuous first order logic for unbounded metric structures}, author={Itai Ben Yaacov}, journal={Journal of Mathematical Logic}, year={2008}, volume={08}, pages={197-223} }

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the common approach so far to Banach space structures in continuous logic), as well as of applying in situations where the unit ball approach does not apply (i.e. when the unit ball is not a definable set). We also introduce the process of single point…

## 19 Citations

### Strong conceptual completeness and various stability theoretic results in continuous model theory

- Mathematics
- 2010

In this thesis we prove a strong conceptual completeness result for first-order continuous logic. Strong conceptual completeness was proved in 1987 by Michael l\Iakkai' for classical first-order…

### Approximate Isomorphism of Metric Structures

- Mathematics
- 2020

We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Berenstein, Henson, and Usvyatsov, which are…

### Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator

- MathematicsMath. Log. Q.
- 2014

A suitable MAEC is built for a closed unbounded self-adjoint operator Q acting on a Hilbert space H, and an explicit continuous axiomatization is given for the class, demonstrating equality, orthogonality and domination of (Galois) types in that MAEC.

### MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS

- MathematicsThe Journal of Symbolic Logic
- 2014

We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we…

### Generic orbits and type isolation in the Gurarij space

- Mathematics
- 2012

We study the question of when the space of embeddings of a separable Banach space $E$ into the separable Gurarij space $\mathbf G$ admits a generic orbit under the action of the linear isometry group…

### Model Theory for Real-valued Structures

- Computer Science, Mathematics
- 2020

We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with…

### Countable Saturation of Corona Algebras

- Mathematics
- 2011

We present unied proofs of several properties of the corona of -unital C*-algebras such as AA-CRISP, SAW*, being sub- - Stonean in the sense of Kirchberg, and the conclusion of Kasparov's Tech- nical…

### Metric spaces are universal for bi-interpretation with metric structures

- Mathematics, Computer ScienceAnn. Pure Appl. Log.
- 2023

### ON PERTURBATIONS OF CONTINUOUS STRUCTURES

- Mathematics
- 2008

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,…

## References

SHOWING 1-10 OF 11 REFERENCES

### CONTINUOUS FIRST ORDER LOGIC AND LOCAL STABILITY

- Philosophy
- 2010

We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff…

### Definability of groups in ℵ0-stable metric structures

- MathematicsThe Journal of Symbolic Logic
- 2010

Abstract We prove that in a continuous ℵ0-stable theory every type-definable group is definable. The two main ingredients in the proof are: (i) Results concerning Morley ranks (i.e., Cantor-Bendixson…

### ON PERTURBATIONS OF CONTINUOUS STRUCTURES

- Mathematics
- 2008

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,…

### Model Theory with Applications to Algebra and Analysis: Model theory for metric structures

- Mathematics
- 2008

A metric structure is a many-sorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally there are functions (of several variables) between…

### Definability of groups in $\aleph_0$-stable metric structures

- Mathematics
- 2008

We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks…

### Model theory with applications to algebra and analysis

- Mathematics
- 2008

Preface List of contributors 1. Conjugacy in groups of finite Morley rank Olivier Frecon and Eric Jaligot 2. Permutation groups of finite Morley rank Alexandre Borovik and Gregory Cherlin 3. A survey…

### Ultraproducts in analysis, Analysis and Logic (Catherine Finet and Christian Michaux, eds.), London Mathematical Society

- Lecture Notes Series,
- 2002

### Measure Theory Volume 3: Measure Algebras

- Measure Theory Volume 3: Measure Algebras
- 2004

### Fremlin, Measure theory volume 3: Measure algebras, Torres Fremlin, 25 Ireton Road, Colchester CO3 3AT

- 2004

### Model theory of normed fields, in preparation

- Model theory of normed fields, in preparation