Decision procedures for the conditions true in certain metric structures

DOI10.1016/j.topol.2019.02.039zbMath1439.03060OpenAlexW2920403442WikidataQ128382299 ScholiaQ128382299MaRDI QIDQ2415938

Philip Scowcroft

Publication date: 23 May 2019

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2019.02.039

zbMATH Keywords

decision procedurecontinuous logicmetric structure

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (1)

Preservation properties for products and sums of metric structures

Cites Work

• Unnamed Item
• Unnamed Item
• Model theory of operator algebras. II: Model theory
• Saturation and elementary equivalence of \(C^\ast\)-algebras
• Generic separable metric structures
• \(l\)-groups \(C(X)\) in continuous logic
• Quantifier Elimination for Distributive Lattices and Measure Algebras
• Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
• A proof of completeness for continuous first-order logic

This page was built for publication: Decision procedures for the conditions true in certain metric structures