## Definability and decidability problems in number theory

### Edited by org.aimpl.user:cks5320@psu.edu

### Sections

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.
*