@article{Purdy_1996,
    doi = {10.2307/2275678},
    url = {https://doi.org/10.2307%2F2275678},
    year = {1996},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {61},
    number = {2},
    pages = {608--620},
    author = {William C. Purdy},
    title = {Fluted formulas and the limits of decidability},
    journal = {Journal of Symbolic Logic}
}

@article{Purdy_1996, doi = {10.2307/2275678}, url = {https://doi.org/10.2307%2F2275678}, year = {1996}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {61}, number = {2}, pages = {608--620}, author = {William C. Purdy}, title = {Fluted formulas and the limits of decidability}, journal = {Journal of Symbolic Logic} }