Model theory for real-valued structures

DOI10.1201/9780429263637-2MaRDI QIDQ6189088zbMATH OpenFDO

Authors H. Jerome Keisler

Publication date 12 January 2024

Published in Beyond First Order Model Theory, Volume II (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.11851

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Other model constructions (03C30) Abstract elementary classes and related topics (03C48) Models with special properties (saturated, rigid, etc.) (03C50) Second- and higher-order model theory (03C85)

Abstract: 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 metric structures to general structures, and show that many model-theoretic results from the literature about metric structures have natural analogues for general structures.

Cited in

(2)

• General real-valued theories with the Schröder-Bernstein property are stable
• Continuous logic in a classical setting

This page was built for publication: Model theory for real-valued structures

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