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}
}
  • I. Yaacov
  • Published 1 December 2008
  • Mathematics
  • Journal of Mathematical Logic
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… 

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

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

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

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

  • I. Yaacov
  • Mathematics
    The 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

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

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

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

  • James Hanson
  • Mathematics, Computer Science
    Ann. Pure Appl. Log.
  • 2023

ON PERTURBATIONS OF CONTINUOUS STRUCTURES

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

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

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

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

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

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

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