JLA Generalized effective completeness for continuous logic May 30, 2024 admin Leave a comment Generalized effective completeness for continuous logic Caleb Camrud Link to PDF