Preservation theorems in linear continuous logic

DOI10.1002/MALQ.201200065MaRDI QIDQ5419208zbMATH OpenOpenAlexFDO

Authors Seyed Mohammad Bagheri, Roghieh Safari

Publication date 6 June 2014

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

Full work available at URL https://doi.org/10.1002/malq.201200065

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Maximality of linear continuous logic
• Completeness for linear continuous logic
• The isomorphism theorem for linear fragments of continuous logic
• Preservation theorems in Łukasiewicz model theory
• Continuous first order logic and local stability

Cites work

• A Łoś type theorem for linear metric formulas
• Continuous Model Theory. (AM-58)
• scientific article; zbMATH DE number 3816010 (Why is no real title available?)

Cited in

(15)

• Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\)
• A note on Hjorth's oscillation theorem
• Completeness for linear continuous logic
• On Preservation Theorems for Two-Variable Logic
• scientific article; zbMATH DE number 530057 (Why is no real title available?)
• Linear model theory for Lipschitz structures
• scientific article; zbMATH DE number 866048 (Why is no real title available?)
• scientific article; zbMATH DE number 866057 (Why is no real title available?)
• Linear Formulas in Continuous Logic
• Maximality of linear continuous logic
• Preservation theorems in Łukasiewicz model theory
• The isomorphism theorem for linear fragments of continuous logic
• Consistency and interpolation in linear continuous logic
• Extreme types and extremal models
• Stability in affine logic

This page was built for publication: Preservation theorems in linear continuous logic

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