Xuanzhi Ren, “Fullness and Decidability in Continuous Propositional Logic.” Mathematics 10, no. 23 (November 25, 2022): 4455.

Su Gao, and Xuanzhi Ren. “The Amalgamation Property and Urysohn Structures in Continuous Logic.” The Journal of Symbolic Logic. (April 12, 2024), 1–55.