@article{Scanlon_2000,
    doi = {10.2307/2695074},
    url = {https://doi.org/10.2307%2F2695074},
    year = {2000},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {65},
    number = {4},
    pages = {1758--1784},
    author = {Thomas Scanlon},
    title = {A model complete theory of valued {$D$}-fields},
    journal = {Journal of Symbolic Logic}
}

@article{Scanlon_2000, doi = {10.2307/2695074}, url = {https://doi.org/10.2307%2F2695074}, year = {2000}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {65}, number = {4}, pages = {1758--1784}, author = {Thomas Scanlon}, title = {A model complete theory of valued {$D$}-fields}, journal = {Journal of Symbolic Logic} }