CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES

DOI10.1142/S0219061308000737zbMath1191.03026arXiv0903.4957OpenAlexW3098317119MaRDI QIDQ5305058

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

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

Related Items (11)

ON PERTURBATIONS OF CONTINUOUS STRUCTURES ⋮ MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS ⋮ Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator ⋮ Unbounded actions of metric groups and continuous logic ⋮ Approximate isomorphism of metric structures ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ On the Descriptive Power of Probability Logic ⋮ Model theory of R-trees ⋮ The eal truth ⋮ FRAÏSSÉ LIMITS OF METRIC STRUCTURES ⋮ Metric spaces are universal for bi-interpretation with metric structures

Cites Work

• ON PERTURBATIONS OF CONTINUOUS STRUCTURES

This page was built for publication: CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES