2021/02/11 by Reyes, David, Zambrano, Pedro H.
#03B60 #03C20 #03C50 #03C65 #03C66 #06F07 #18B35 #3C90 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2102.06067
In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof of a version of the Tarski-Vaught test (Proposition 4.2) and Łoś Theorem (Theorem 5.27) in our setting. Iovino proved in [Iov01] that there is no any logic extending (equivalent logics to) Continuous Logic satisfying both Countable Tarski-Vaught chain Theorem and Compactness Theorem. Since [0, 1] satisfies all of the assumptions given above, we get new logics by dropping any of those assumptions.