@article{Yaacov_2010,
    doi = {10.2178/jsl/1264433914},
    url = {https://doi.org/10.2178%2Fjsl%2F1264433914},
    year = {2010},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {75},
    number = {1},
    pages = {168--190},
    author = {Itaï Ben Yaacov and Arthur Paul Pedersen},
    title = {A proof of completeness for continuous first-order logic},
    journal = {The Journal of Symbolic Logic}
}

@article{Yaacov_2010, doi = {10.2178/jsl/1264433914}, url = {https://doi.org/10.2178%2Fjsl%2F1264433914}, year = {2010}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {75}, number = {1}, pages = {168--190}, author = {Itaï Ben Yaacov and Arthur Paul Pedersen}, title = {A proof of completeness for continuous first-order logic}, journal = {The Journal of Symbolic Logic} }