Linear model theory for Lipschitz structures

DOI10.1007/s00153-014-0395-6zbMath1338.03054OpenAlexW1974505977MaRDI QIDQ481878

Seyed-Mohammad Bagheri

Publication date: 15 December 2014

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-014-0395-6

zbMATH Keywords

quantifier eliminationtypedefinabilityAL-spacelinear compactnessprobability algebra

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Ultraproducts and related constructions (03C20) Models of other mathematical theories (03C65)

Related Items (4)

Linear Formulas in Continuous Logic ⋮ The isomorphism theorem for linear fragments of continuous logic ⋮ Consistency and interpolation in linear continuous logic ⋮ Maximality of linear continuous logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Łoś type theorem for linear metric formulas
• Numerical Geometry-Numbers for Shapes
• Model Theory
• Preservation theorems in linear continuous logic
• Definable subgroups of measure algebras
• Continuous Model Theory. (AM-58)
• PROJECTIVE COMPACT CONVEX SETS

This page was built for publication: Linear model theory for Lipschitz structures