## Bibliography

Cite this as: *AimPL: Definability and decidability problems in number theory, available at http://aimpl.org/definedecide.
*

Cite this as: *AimPL: Definability and decidability problems in number theory, available at http://aimpl.org/definedecide.
*