Follow
Generalized effective completeness for continuous logic. (arXiv:2202.11151v1 [math.LO]) http://arxiv.org/abs/2202.11151
Generalized effective completeness for continuous logic. (arXiv:2202.11151v1 [math.LO]) http://arxiv.org/abs/2202.11151