Generalized effective completeness for continuous logic

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},
}