@article{Macintyre_2016,
    doi = {10.1016/j.apal.2015.10.003},
    url = {https://doi.org/10.1016%2Fj.apal.2015.10.003},
    year = {2016},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {167},
    number = {10},
    pages = {901--938},
    author = {Angus Macintyre},
    title = {Turing meets Schanuel},
    journal = {Annals of Pure and Applied Logic}
}

@article{Macintyre_2016, doi = {10.1016/j.apal.2015.10.003}, url = {https://doi.org/10.1016%2Fj.apal.2015.10.003}, year = {2016}, month = {oct}, publisher = {Elsevier {BV}}, volume = {167}, number = {10}, pages = {901--938}, author = {Angus Macintyre}, title = {Turing meets Schanuel}, journal = {Annals of Pure and Applied Logic} }