Continuous first order logic for unbounded metric structures

DOI10.1142/S0219061308000737MaRDI QIDQ5305058zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov

Publication date 19 March 2010

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

continuous logicemboundmentunbounded metric structures

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95)

Abstract: 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 emph{emboundment} (closely related to the topological single point compactification), allowing to bring unbounded structures back into the setting of bounded continuous first order logic. Together with results from cite{BenYaacov:Perturbations} regarding perturbations of bounded metric structures, we prove a Ryll-Nardzewski style characterisation of theories of Banach spaces which are separably categorical up to small perturbation of the norm. This last result is motivated by an unpublished result of Henson.

Recommendations

• Model theory for metric structures
• Continuous first order logic and local stability
• On the maximality of logics with approximations
• A presentation theorem for continuous logic and metric abstract elementary classes
• A proof of completeness for continuous first-order logic

Cites work

• On perturbations of continuous structures

Cited in

(16)

• Metric spaces are universal for bi-interpretation with metric structures
• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• Model theoretic properties of metric valued fields
• Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator
• Continuous first order logic and local stability
• Model theory for metric structures
• On the descriptive power of probability logic
• Model theory of \(\mathbb{R}\)-trees
• The \(\mathbb{R}\)eal truth
• FRAÏSSÉ LIMITS OF METRIC STRUCTURES
• On perturbations of continuous structures
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
• Unbounded actions of metric groups and continuous logic
• Approximate isomorphism of metric structures
• Approximate equivalence relations
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic

This page was built for publication: Continuous first order logic for unbounded metric structures

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