Caleb Camrud. Generalized effective completeness for continuous logic. J. Logic & Analysis, 15, 2023. [doi]
@article{Camrud23, title = {Generalized effective completeness for continuous logic}, author = {Caleb Camrud}, year = {2023}, url = {http://logicandanalysis.org/index.php/jla/article/view/457}, researchr = {https://researchr.org/publication/Camrud23}, cites = {0}, citedby = {0}, journal = {J. Logic & Analysis}, volume = {15}, }