Generalized effective completeness for continuous logic

Caleb Camrud. Generalized effective completeness for continuous logic. J. Logic & Analysis, 15, 2023. [doi]

Abstract

Abstract is missing.