• Corpus ID: 201636613

Model Theory for Real-valued Structures

@article{Keisler2020ModelTF,
  title={Model Theory for Real-valued Structures},
  author={H. Jerome Keisler},
  journal={arXiv: Logic},
  year={2020}
}
  • H. Keisler
  • Published 24 May 2020
  • Computer Science, Mathematics
  • arXiv: Logic
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 respect to a distance predicate. Every general structure can be expanded to a pre-metric structure by adding a distance predicate that is a uniform limit of formulas. Moreover, that distance predicate is unique up to uniform equivalence. We use this to extend the central notions in the model theory of… 
Using Ultrapowers to Compare Continuous Structures
In 1967 the author introduced a pre-ordering of all first order complete theories where T is lower than U if it is easier for an ultrapower of a model of T than an ultrapower of a model of U to be
The Non-Definability of the Spaces of Tsirelson and Schlumprecht
We prove the impossibility of finding explicit finitary definitions of the spaces of Tsirelson and Schlumprecht in continuous first-order logic. INTRODUCTION For decades now, it has been an open
Unbounded actions of metric groups and continuous logic
We study expressive power of continuous logic in classes of metric groups defined by properties of their actions. We concentrate on unbounded continuous actions on metric spaces. For example, we
CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
Abstract Answering a question of Cifú Lopes, we give a syntactic characterization of those continuous sentences that are preserved under reduced products of metric structures. In fact, we settle this

References

SHOWING 1-10 OF 32 REFERENCES
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
Continuous Model Theory
Topological Aspects of Real-valued Logic
Topological aspects of real-valued logic Christopher James Eagle Doctor of Philosophy Graduate Department of Mathematics University of Toronto 2015 We study interactions between general topology and
Continuous first order logic for unbounded metric structures
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
Positive Model Theory and Compact Abstract Theories
TLDR
Positive model theory is developed, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation, and it is proved that Banach and Hilbert spaces are compact abstract theories, and in fact very well-behaved as such.
Metric logical categories and conceptual completeness for first order continuous logic
We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory
Model theory and metric convergence I: Metastability and dominated convergence
We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence,
A Geometric Introduction to Forking and Thorn-Forking
TLDR
The approach in this paper is to treat independence relations as mathematical objects worth studying, for a better understanding of thorn-forking, which turns out to be closely related to modular pairs in the lattice of algebraically closed sets.
Simplicity in Compact Abstract Theories
TLDR
This work introduces definitions which differ somewhat from the ones use in first order theories, and develops simplicity, stability, and hyperimaginary canonical bases in the framework of compact abstract theories.
...
...