Continuous logic and the strict order property

2019/02/14 by Karim Khanaki, Khanaki, Karim
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Functional Analysis (math.FA) #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1902.05229

openalex publication_date 2019/02/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We generalize a theory of Shelah for continuous logic, namely a continuous theory has OP if and only if it has IP or SOP.

Related

• On classification of continuous first order theories
• A characterization of Continuous Logic by using quantale-valued logics
• Generalized effective completeness for continuous logic
• On the expressive power of quantifiers in continuous logic
• A simple continuous theory